|
Sapozhnik posted:Formal validation is also a red herring. i think the attraction to it comes from the fact that computer software is applied math and math offers the temptation of absolute proof that a thing is true, or false however, anyone hoping for formal validation to solve all software engineering problems has to contend with how intractable formally analyzing anything but a simple system becomes. many of the software systems which people want to build are far too complex to validate as a whole also pretend i wrote an insightful mini essay about kurt gödel and his works here
|
#
?
Feb 8, 2022 23:16
|
|
|
|
| # ? Apr 18, 2024 15:38 |
|
|
Sapozhnik posted:We know how to build … software. 
|
|
#
?
Feb 8, 2022 23:25
|
|
|
Ask HN: Is it ok to reject a job because I don’t like their software? 40 points by dijit 3 hours ago | flag | hide | past | favorite | 73 comments Short of it: I’m not talking about the software I would write or produce, I’m talking about communication software. I recently did some phone screens with another company in my industry, my industry is dominated by Microsoft products (mostly windows based software) but I have always had a seriously hard time digesting Teams. It makes me bitterly angry when I work with it, the way pop ups work, the way things are (dis)organised, even the way copy/paste doesn’t seem to work the majority of the time. I said on hacker news recently that I don’t think I can work with that software again, but a potential job offer that appears otherwise interesting had an interview conducted by teams. Is it ok to send feedback that I don’t really want to work with that software? Is that extremely petty and spoiled?
|
|
#
?
Feb 9, 2022 01:32
|
|
|
it is but so what
|
|
#
?
Feb 9, 2022 04:42
|
|
|
raminasi posted:did you come up with this metaphor or is it from somewhere else because i really love it thanks! idk if I saw it somewhere else first but I’ve used it in some talks and blogs. I’ve never really expanded it into its own thing, maybe I should.
|
|
#
?
Feb 9, 2022 05:48
|
|
|
fritz posted:Ask HN: Is it ok to reject a job because I don’t like their software? I’ve told my current job that I’m going to resign once they force us off gsuite and into teams/o365 and I’m not kidding. it’s absolute garbage.
|
|
#
?
Feb 9, 2022 05:50
|
|
|
fdgsdfogijq 7 minutes ago | prev [–] I think the root cause is that society no longer needs "beta" males. Or rather, men in the middle of the distribution. This here is a symptom of that broad effect in society. Technical leverage, automation, premium on intelligence in the workplace, and technology more broadly are pushing out average men. reply
|
|
#
?
Feb 9, 2022 19:26
|
|
|
wh....at
|
|
#
?
Feb 9, 2022 19:34
|
|
|
Truman Peyote posted:i've been wondering that. i've been getting spammed with recruiter requests for a startup in which the pitch describes the CEO as a "serial entrepreneur." is that supposed to be a selling point? I wouldn't choose em for sex either, think of all the starts they make and never end up finishing!
|
|
#
?
Feb 9, 2022 20:37
|
|
|
ssijak 34 minutes ago | prev [–] So I can take follow someone in public, take picture of them in public places from some distance, follow them into stores, see what they are spending and what they are using, etc. Store owners can have cameras, track the behaviour of customers, etc But if I use a service which anonymously tracks which pages they opened on a website they voluntarily visited and are exploring, then I'm in trouble?
|
|
#
?
Feb 10, 2022 16:30
|
|
|
i dont think its actually legal to stalk people
|
|
#
?
Feb 10, 2022 19:57
|
|
|
JUST LEMME GET THIS BULLSHIT STRAIGHT. I can buy a gun, get a shovel, go to a guy’s house, cap him in the dome, and bury him in a shallow grave, but the second I sell journalists’ info to china it’s suddenly illegal?
|
|
#
?
Feb 10, 2022 20:04
|
|
|
In regards to the old wordle site redirecting to new NYT site jdorsey1 2 hours ago | root | parent | prev | next [–] This is clearly a violation of privacy because the url is unencrypted. NYT may face a billionaire lawsuit and his future is compromised. reply
|
|
#
?
Feb 11, 2022 04:52
|
|
|
the obvious solution is to rewrite wordle in rust oh wait, they already did: https://crates.io/crates/cl-wordle (it's actually p cool, although i have no idea what the 'scramble keyboard' option is for)
|
|
#
?
Feb 11, 2022 10:46
|
|
|
MononcQc posted:Most software would simply not be economically viable under that model, both because of the effort and the loss of flexibility required. We frequently develop the wrong thing, or rather do not even know the use case we develop for, so doing it formally just means doing the wrong thing more expensively. Don't get me wrong, I think most software is loving awful and needs to drastically improve, but I also think it's not gonna happen. i agree with and would build on these arguments with the following anecdata: 99% of web developers will move to a different position once they fully realise the consequences and implications of what they are doing professionally. back end, management, devops, you name it. part of this is because webdev - especially frontend design - has forever (in my personal experience) been shunted to junior devs. the moment you graduate from that, you get to work on back end, which is in many ways simpler because you do not have to deal with the ever changing vortex of new libraries and tools and browser features that is frontend html-css-js so we have a situation where this work is really not valued enough to do it well, which leads to mostly desperate fools working in the specialty, which leads to ever-changing lovely tooling that repeats the mistakes of the past, which leads to people calling webdev a hot mess another anecdata is that it is always the visual parts of any system that are the first target of any c level or manager, and they WILL change poo poo around according to their willy nilly gut feeling. this is why we have immensely complicated ui frameworks that allow for rapid prototyping but clock in at 800mb for what is a text based chat app where you have typing lag in tyool 2022. things look really cool and snappy on top of the line latest macsbook, not so much on older hardware. what would you call a construction worker who installs doors that don't open after 6 years?
|
|
#
?
Feb 11, 2022 18:17
|
|
|
Penisface posted:what would you call a construction worker who installs doors that don't open after 6 years? a contractor
|
|
#
?
Feb 11, 2022 18:23
|
|
|
Zamujasa posted:a contractor in the software analogy this person probably calls itself an engineer
|
|
#
?
Feb 11, 2022 18:25
|
|
|
Zamujasa posted:a contractor heyooooo
|
|
#
?
Feb 11, 2022 19:00
|
|
|
Penisface posted:i agree with and would build on these arguments with the following anecdata: 99% of web developers will move to a different position once they fully realise the consequences and implications of what they are doing professionally. back end, management, devops, you name it. part of this is because webdev - especially frontend design - has forever (in my personal experience) been shunted to junior devs. the moment you graduate from that, you get to work on back end, which is in many ways simpler because you do not have to deal with the ever changing vortex of new libraries and tools and browser features that is frontend html-css-js yeah this is real true and it loving sucks
|
|
#
?
Feb 11, 2022 19:25
|
|
|
I've worked with some senior web developers and they're a huge add to any product team, so hire them if you can.
|
|
#
?
Feb 11, 2022 20:45
|
|
|
ultrafilter posted:I've worked with some senior web developers and they're a huge add to any product team, so hire them if you can.
|
|
#
?
Feb 11, 2022 20:49
|
|
|
Smart guy
|
|
#
?
Feb 12, 2022 11:46
|
|
|
ol musky is killing monkeys in his brain implant experiments. hn is on the case radu_floricica 53 minutes ago | prev | next [–] Even assuming what they're reporting is true (which having read IIAOPSW's comment above now seems rather unlikely) I don't see the situation as terrible. "15 of 23 monkeys died" is in itself meaningless. We don't know how long they intended to keep them alive anyways - a reasonable protocol in this kind of studies is "have procedure, observe for X weeks, then have an autopsy to take a closer look at what actually happened". TBH, that's pretty much what I expect they do - I wouldn't want that in my head without them actually looking at brains under a microscope to check for unexpected side effects. They're also using monkeys - which yes, look cute, but are not primates. If I'd hear chimps, for example, I'd expect them to be implanted long term, and be much more careful and sparing with autopsies. Also most of the issues in the article don't directly touch neuralink technology but generic brain surgery stuff like infection. So worst case scenario they should improve their procedures, but there it doesn't say anything there's inherently bad about the tech. And on a second reading of the article I realize I can't really get much cold info out of it. It reads a lot like somebody got gossip over a few beers and posted on social media and a reporter took it from there. throwaway_4ever 1 hour ago | prev | next [–] Trolley problem. I wish most Neuralink detractors would even attempt to understand the problem scope, trade-off, and everything that's at stake here in our lifetimes. "Elon Musk wants more $" is such a brain-dead take. The reasoning behind Neuralink is explained here: https://waitbutwhy.com/2017/04/neuralink.html#part4 TL;DR Some of the smartest people in the world consider AGI an existential threat and Neuralink is the leading hedge that instead of competing against AGI in futility, we augment ourselves to become the AGI instead. Qwertycoatl fucked around with this message at 12:37 on Feb 12, 2022 |
|
#
?
Feb 12, 2022 12:20
|
|
|
"Monkeys are not primates" is a particularly good phrase coming from a Smart HN Science Explainer Guy
|
|
#
?
Feb 12, 2022 13:47
|
|
|
Antivehicular posted:"Monkeys are not primates" is a particularly good phrase coming from a Smart HN Science Explainer Guy
|
|
#
?
Feb 12, 2022 15:00
|
|
|
Antivehicular posted:"Monkeys are not primates" is a particularly good phrase coming from a Smart HN Science Explainer Guy i assume he thinks that because monkeys have tails, but ofc he's wrong regardless
|
|
#
?
Feb 12, 2022 15:11
|
|
|
vmception 8 hours ago | parent | context | flag | favorite | on: David Rosenthal on cryptocurrencies > even if it were true that cryptocurrencies ran on renewable power, the idea that it is OK for speculation to waste vast amounts of renewable power assumes that doing so doesn't compete with more socially valuable uses for renewables, or indeed for power in general Yes, this is exactly what is going on. If you think you have a solution to this decades old reality, then thank cryptocurrency for forcing you to notice. Energy was being wasted, renewable energy was also being wasted, in perpetuity, forever, until cryptocurrency producers put their applications at the site and started using it. There is still a lot more energy of this kind that will be tapped into by miners. Again, if you really think you have another economically viable alternative, emphasis on economically viable, then dont forget to thank bitcoin, and also do the thing. You’ll single handled help many people and gain leverage in public policy to enforce your dream world that excludes proof of work.
|
|
#
?
Feb 12, 2022 16:01
|
|
|
Antivehicular posted:"Monkeys are not primates" is a particularly good phrase coming from a Smart HN Science Explainer Guy perhaps he believes the experiments are being performed on sea-monkeys
|
|
#
?
Feb 12, 2022 16:29
|
|
|
Qwertycoatl posted:ol musky is killing monkeys in his brain implant experiments. hn is on the case that individual is consistent, at least: radu_floricica 17 days ago | parent | context | prev | next [–] | on: Two weeks later David Bennett is alive, his pig’s ... I've said this before here and got downvoted for it, but bioethicists as a profession are responsible for more death than pretty much anything else I can quickly think of. People are dying from heart disease all the time, very often in predictable conditions. Literally millions every year. Statistically this means we should hear about such failed procedures many many more times than we do now - there is literally no downside from doing this much more often, and a strict upside: a chance to live longer and a definite advance in medicine leading to other lives saved. Sure, it may mean more stress for a dying patient, but quite a few would prefer their death have some meaning. But they can't chose this because it's not "ethical". Moderna had the mRNA vaccine for Covid ready in about 3 weeks. This means the tech was already there - I'd really like to see an argument where we had three major companies create mRNA vaccines, only one failed (harmlessly!) but we shouldn't have used this technology a few years early. mRNA tech is incredibly versatile - it should have applications from curing cold to curing cancer. But no, we needed a pandemic and 10 months of testing to start using it, because it wasn't "ethical". We knew from month 1 that the young and healthy are not hit hard by Covid. Mortality in those groups was always comparable to flu, more or less. But we didn't do challenge trials. We wasted ... I have to take a break from typing, tbh, I'm overwhelmed. We wasted almost a year while literal millions died while wondering if Covid is transmitted by touch, aerosols or airborne when we could have fixed this in two weeks with a bunch of 25 year olds. We spent half a year before even realizing masks help, and we still don't know for sure how much and what's the difference between each kind. We had Omicron - we knew it was different, we had good reason to think it's not significantly worse from the start, but we still had a _lot_ of questions. But two years from the start of the pandemic we STILL didn't put a bunch of healthy volunteers through a completely harmless study to find out things early. Because it wouldn't have been "ethical". This isn't ethics we're talking about. It's pure and unadulterated cowardice. We as a society shy away from doing things which we _know_ would save more lives in the aggregate because we'd have to risk causing much less harm, but harm which we'd be directly responsible for. Joe from the street would be excused from making these decisions, but when you deal with the people directly charged by the society from making these decision, it's just failure to do their job. And in a supermajority of case we're dealing with volunteers anyways. If you feel like reading more about how stupid the whole system is: https://slatestarcodex.com/2017/08/29/my-irb-nightmare/
|
|
#
?
Feb 12, 2022 16:34
|
|
|
the sec link at the end there is such a perfect coda
|
|
#
?
Feb 12, 2022 17:03
|
|
|
i hope someone replied to that guy asking him to google Tuskegee
|
|
#
?
Feb 12, 2022 17:03
|
|
|
Antivehicular posted:hn thread: "Monkeys are not primates"
|
|
#
?
Feb 13, 2022 04:40
|
|
|
czbond 1 hour ago | root | parent | prev | next [–] Why disregard someone simply because they own a piece of a company that also supports the goal? I think any rational person would do the same - you believe in something so you start, invest in, or advise a company. reply
|
|
#
?
Feb 13, 2022 23:15
|
|
|
Qwertycoatl posted:TL;DR Some of the smartest people in the world consider AGI an existential threat and Neuralink is the leading hedge that instead of competing against AGI in futility, we augment ourselves to become the AGI instead. if this was their motivation surely the humane and foolproof way would be to announce large bounties on the heads of anyone who researches or funds research into AI from now on edit: just realised that what this reveals is Elon is actually just jealous that a hypothetical future computer or any actual six year old child might be more smart than him chaosbreather fucked around with this message at 01:42 on Feb 14, 2022 |
|
#
?
Feb 14, 2022 00:49
|
|
|
collegeburner 2 hours ago | root | parent | next [–] 1930s machine guns, short barrel rifles and shotguns, destructive devices and AOWs got a $200 tax, cost prohibative at the time for most people. 1960s more restrictions on FFLs and on types of guns especially imports, both raise prices and reduce availability more. 1980s new transferrable machineguns banned so now existing ones cost more than a car. 1990s handgun age raised to 21. And you steppers keep saying "it's not enough". If the cost of freedom is school shootings then so be it. We could cut down lots of other crime with a police state but don't because it's wrong. You may as well support banning E2EE because nobody needs it. reply
|
|
#
?
Feb 14, 2022 16:55
|
|
|
fritz posted:hn thread: If the cost of freedom is school shootings then so be it.
|
|
#
?
Feb 14, 2022 21:06
|
|
|
please dont make that the thread title, it's too hellworld to be funny imo
|
|
#
?
Feb 14, 2022 21:19
|
|
|
Achmed Jones posted:please dont make that the thread title, it's too hellworld to be funny imo
|
|
#
?
Feb 15, 2022 00:33
|
|
|
The Something Awful Forums > Discussion > Serious Hardware/Software Crap > YOSPOS > hn thread: too hellworld to be funny
|
|
#
?
Feb 15, 2022 01:50
|
|
|
|
| # ? Apr 18, 2024 15:38 |
|
|
guns is just machines for converting children into freedoms
|
|
#
?
Feb 15, 2022 03:08
|
|