skysight-inc/HackerNews huggingface dataset:
Some patterns arise from language design

* You can't express `T` where `null` is forbidden in the type system so you get NullPointerException everywhere and defensive null checks.

* You express a sum type as a product type because your language does not have sum types .

* Your language doesn't have first class multiple return values (or tuples) so you return extra parameters via out parameters or thread local variables such as `errno`.

* Your language doesn't have exceptions (or algebraic effects) and can't do IO so you have monad transformers.

* Your language doesn't have set-theoretic types so you need hacks like `thiserror` .

* Your language doesn't have stackful coroutines or can't infer async IO for you so you have `async/await` spam or callback hell or "mono's".

* Your language doesn't have exhaustive checks (or pattern matching) so you need a fallthrough case check on switch statements .

* Your language doesn't have algebraic effects, so you need to pass context everywhere.

I know someone will reply about Java's null annotation checking options, so here is one of them: https://github.com/uber/NullAway .
Semantic Kernel - Integrate cutting-edge LLM technology into your apps
In prisoner's dilemma cooperating gives both parties the most benefit in aggregate, while defecting gives on party additional benefit at the expense of a steep disadvantage for the other party. Also note that if all parties defect they all end up in a rather undesirable state.

For the SVB bank run, the main loser is the bank, who isn't party to this game (of whether to keep deposits or not). Even if everyone defected, the early defectors don't lose anything. And arguably, it can be foreseen that even late defectors don't lose anything either due to SVB marginally in the "too big to fail" category, or at least, the startup ecosystem being "too important to fail".
> From https://xkcd.com/radiation/ that is 90 bananas, 2 dental x-ray or 1/4 of a flight from NY to LA.

The "banana equivalent dose" is an error that refuses to die. Based on tables that estimate the effect of various radioactive isotopes acting for 50 years, people ignoring physiology decided that the average K40 in a banana will produce 0.078 microsievert of damage (rounded to 0.1 because it's close enough for jazz and comics).

The reality is that, due to homoeostasis, the excess potassium you ingest is eliminated the next time you piss, so there's no accumulation inside the organism. Those 50 years become something like 12 hours and the radiation exposure is more in the ballpark of 0.00000213 microsievert.

But that value is now too small to use it in science fanboyism, isn't it?

https://www.epa.gov/sites/default/files/2015-05/documents/52... - page 156. That's where these people took the effective dose equivalent for K^40 from, but those values are for 50 years of exposure.

"For radioisotopes of elements that are under tight homeostatic control by the human body, the inhalation or ingestion risk coefficients given in this document may not be appropriate for application to some exposure scenarios. For example, the ingestion risk coefficient for ^(40)K would not be appropriate for application to ingestion of ^(40)K in conjunction with an elevated intake of natural potassium. This is because the biokinetic model for potassium used in this document represents the relatively slow removal of potassium (biological half-time of 30 d) that is estimated to occur for typical intakes of potassium, whereas an elevated intake of potassium would result in excretion of a nearly equal mass of natural potassium, and hence of ^(40)K, over a short period." - ["Federal Guidance Report No. 13: Cancer Risk Coefficients for Environmental Exposure to Radionuclides"](https://www.epa.gov/sites/default/files/2015-05/documents/40...) - page 16

So, if you accept that the duration of exposure from eating a banana is 12 hours instead of 50 years, a dental x-ray is the equivalent of eating 2,347,417 bananas.
They can and often do. IMO small businesses often have much better support.
You forgot the biggest distributed computing project: finding SHA256 hashes with lots of zeroes at the beginning.
Update, actually tried to use it today probably for the first time in a year and it's broken, won't take up paper and simple attempts at repair failed. RIP.
It was pretty freaking magical, god I hate capitalism sometimes.
Integrating React into an MPA is quite awkward, surprised this is the target audience for it.

I love the potential of web development but of recent, it's been infected by hype-marketing and blog-engineering.

I get that it's become very accessible to write web applications and that's good for the growth of the platform - but it almost feels like this accessibility has led it to squander its potential in pursuit of unsophisticated and unambitious objectives.

Web developers today are distracted by premature over-optimisations (ignoring effective low effort optimisations) and language+platform features that are a great, but kinda useless from a project development standpoint (time/money/complexity/collaborative capacity cost).

As a result, platform developers are distracted implementing features that don't innovate the platform - so we sit and wait for the truly groundbreaking things that never come because we gotta discuss the pipe operator, or adding types to the JavaScript language specification.

Meanwhile projects that can't wait for the platform to evolve flood us with Electron apps that everyone hate.

I have hope, kinda...
There's a definition right there, on Wikipedia, and it happens to go along with GP's argument.

Does that definition feel completely fuzzy, and seem to be no definition at all? I think so to. It hints at certain idea, but otherwise... every political ideology with a name is like it.
Coincidentally I just started reading Carl Sagan's "Contact" the other day. Just getting to the part where they are actually building The Machine.

What do people here think of that book?
Look up the definition for Markov chain.
Guess what? During the last few years, more and more parts of Steam's UI got rewritten to work in a very similar way to how Electron does (using CEF). Back when these views were still in the minority it was easy to identify them by how sluggish they felt compared to the rest :)
I love it when disliked utilities let me send in my complaints/changes/payments by snail mail. I know it costs them so much more to process, and that alone gives me comfort.

(Of course, I'd hate it if this was by force)
Yep, we’re migrating away from it at work too, too many problems, too slow to work with, and too much breaking.
If they used tasty healthy lard the product wouldn't sell very well in Israel or anywhere else in the Near East...
The recent line of credit is not a bail out?
> two hydrogen bombs dropped over North Carolina, one comes close to detonation

I think this part is BS. Nuclear weapons don’t detonate on accident, it requires delicate synchronized process, guarded by authorization codes which aren’t normally present on the launch platform itself.
Without authorization codes a nuclear weapon is just a big slightly radioactive pile of metal.
Not just private industry. Seattle PD literally doesn't pick their phones up. Do a Google search for "seattle pd non emergency" and you'll see that everyone in the city is having this problem. Sometimes they just turn off the phone tree entirely. And no, don't talk about "defunding" - Seattle PD is lavishly funded. They just like to throw temper tantrums when they're held accountable.
What happens to a caterpillar's brain and nervous system during its transformation to a butterfly? Does it remain? Is it completely replaced? What is the likelihood that a butterfly remembers its life as a caterpillar?
It is perfect for Audio Description [1]. Certain broadcast TV programs have had this here in Australia to allow those with poor vision to be able to follow along - it allows them to appreciate content that has originally be produced as audio-visual. https://en.wikipedia.org/wiki/Audio_description?wprov=sfla1
It has no syncookies or syncache, as I alluded to. It is super trivial to synflood a mac that listens on tcp port.

The port of pf has a synfilter, but that doesn't work for traffic to the host, it might work for forwarded traffic, but not for the host itself.
Mixed compilation is absolutely terrible (slow) with Gradle, is it faster with SBT?
This type of personalized learning where we can change the ‘voice’ of the instructor would really have helped me on some of my schooling as a kid.
Uh oh, here's a bad idea. "AI" (heh) flash generated games could become feasible.

If you think online gambling is a problem now... well, wait until they see what could be done with that. (!)
Show HN: i2forge – A Platform for Verified Reasoning
Hi! We're Amisi and Claude, builders of the i2 language and the i2forge platform. i2 is an (early draft of a) language designed to make formal verification easy for mathematicians.

We are launching the language as an open source project today (https://i2lang.org) together with a closed alpha for i2forge.

However, we have a publicly accessible demo page which anyone can use, and we would love your feedback.

Thanks.
Lamdera – platform for full-stack web apps in Elm
Sometimes I play the game of being on hold with two vendors at the same time and hope they don't simultaneously pick up at the same time. It usually works out.
Someone "reduced" customer complaints by 95% by implementing the new process and got promoted.
Codes were probably just 0000 anyway
I'm not affiliated with Statcounter but I think I can answer both of those since I play with these charts a lot.

Regarding OS X calling it macOS wouldn't be any better since it includes counts of users from both. It'd probably make more sense to just call the group "Mac" or "macOS/OS X" but it's too late to change the name of the category since paid users had been exporting the data into tools expecting "OS X" and it's a silly thing to break that for. Similarly splitting the two into separate categories or changing the display name vs data name is more problematic than using the old name. The OS version breakdown for macs started in 2017, after the name change, and uses the macOS name for the overall category as well as for the newer operating systems in that category so they are definitely aware and keeping up with the name changes where it makes sense to.

If you change the graph settings to include tablets it'll give an in-graph note that they weren't tracking tablets and consoles as different from desktops until the start of August 2012. It'd probably be good to include that note in the desktop view as well though. For iOS that means iPads (launched April 2010) were bucketed as desktop browsing sessions rather than tablet until that point. While it's safe to assume all of those should be relabeled tablet their policy on data changes is after 45 days they will not go back and modify/correct data.
From what I understand of the rules, you have to give the provider a reasonable opportunity to fix things. And then you have to use their own complaints process. And then, if that isn’t getting anywhere in a reasonable timeframe, then you can complain to the regulator. If you file a complaint with the regulator prematurely, it just gets referred back to the provider. I hope it gets fixed before I need to go down that path. I only just sent the email a couple of days ago, I’ll give them a few more days then try calling them again.

Part of the problem seems to be - I have multiple accounts with the one broker (my domestic stock account, trust accounts for my kids, a separate account for foreign stock), and they maintain separate addresses for each account, and they can get out of synch. And the broker is owned by a bank, and I have products with the bank, and the bank also has separate addresses for each product, plus the bank and the broker’s systems are kind of half-integrated/half-not in an opaque way which contributes to this kind of problem. And the bank also owns an insurance company, and I have a policy with that insurance company, and they’ve got the same half-integrated/half-not thing going on with their insurance company too.
The first book that really hooked me from start to finish.

Teen me back then lost a few hours of sleep reading it instead of sleeping on school nights.
Link to bitcoin ordinals draft BIP
https://lists.linuxfoundation.org/pipermail/bitcoin-dev/2022...
The issue with all these types of projects now is that computers are way better at idling now so there's no longer as much effectively free compute to be harvested. SETI@home made a lot more sense when CPUs consumed roughly the same power regardless of the load.
I have some retinal damage from an unknown source. All I remember is one morning on the way to school mentioning that there was a spot in my vision that was dark like after looking at the sun, but it hadn’t gone away for hours. over 15years later it never went away, but it is indeed papered over by my brain. Still not sure if it was something internal, or if I played with the wrong end of a laser pointer.
Respect the user (without supporting the user) ™
I have used both Go and Java extensively. I prefer Go. However, I have to admit that checked exceptions is the best thing about Java compared to Go.
Yes. I cannot work while on hold.
A small percentage of people love to annoy and piss off other people. And it just takes one to provoke everybody around them. So I think it would lead to more road rage not less.

However I would love to have a system where drivers can spend (say) 10 penalty points a year on bad drivers they observe in traffic, and every year the top 1% receivers of penalty points (above a minimum amount) gets heavily fined, and are forced to reapply for a drivers license.
The problem with using a fuse instead of software is that with software you can modify the regulatory value later. Like when a device leaves one regulatory domain and enters a different one.
> It's more like a share in the bank corporation

What the heck? No that's just outright wrong. SVB shares are basically worth nothing these days. Depositors are getting something back. If you're not familiar with the relative priority of bailors, secured creditors, depositors, debtors and shareholders during a bankruptcy proceeding, I suggest you read up more before making confident and borderline condescending statements about the common person's naïvety.
I agree. Siri is incomprehensibly bad at basic tasks, especially given the massive engineering staffing and resources at their disposal. I'm down to just using it to play songs on Apple Music, and it fails maybe half the time.
It's definitely not ChatGPT or AI (or at least not just that), it's remote work as well. I'm seeing a lot of companies hiring worldwide remote talent at a huge discount. This time its different from the outsourcing we have seen in the past. Because you now have experienced remote US and EU developers living somewhere where their cost of living allows them to be very competitive on rates and salary. An US developer living in Asia, can charge 50-100$ per hour, which comparatively to the US, would be 100$+-500$ per hour. And that is happening a lot now.

I have lowered my salary expectations, and am doing quite well while consulting now.
> 1968 - USS Scorpion attack sub sank somewhere near the Azores Islands.

Phil Ochs wrote a song about this, "The Scorpion Departs, But Never Returns"[1].

[1] https://www.youtube.com/watch?v=IbiJR-bqSfw
Nuclear weapons have a shelf life, typically around 10 years, and will need to be remanufactured when they expire.

So surreptitiously gifting them isn't a permanent solution.
The Hivemind project is just that

https://github.com/learning-at-home/hivemind
I had this exact issue with at&t. They weren't honoring a promotion that we signed up for. I talked to the support people and they verbally told me that they agreed with my assessment of the situation. It took taking at&t to small claims court to reach someone with any ability to help me. The situation was quickly resolved after they received the summons to court.
Ask HN: Startup founders, how will your banking practices change after SVB?
For those that will look to change, for example by maybe using multiple banks, what problems do you expect to face?
Just recently switched banks to a bank whose selling point is that you always get a human on the phone. They don't even have a phone tree.

It's glorious!
My six year old isn’t. He falls for all of them. Grandma lets him her mobile phone and 15 minutes later he’s asking me to buy diamonds on a boring dinosaur game.
Thats actually pronounced Analgesic - sir, the pills go in your mouth.
These other pills, that is a suppository. Best not mix them up.
At that point, the least amount of work would be to flip the various chemical and neural vitamin my brain to make me think there is a tree there.
I don't disagree about your last point, and I even agree that HN has some truly awful takes that can be almost 100% guaranteed to pop up whenever certain topics are discussed.

It's just that I find myself to also ask the exact same question GP asked. I don't know anything about farming, or JD or even if JD has a market dominant position. And it's interesting to wonder what we, as mostly-tech-focused people here in HN, are missing.

In the sense that, yes open source is great and being able to repair stuff is amazing. But farmers are probably really aware of the upsides of easy to repair hardware... so what are we missing? I just fundamentally tend to assume that people in other fields know a lot more about their stuff than I do, so it's important to ask what's the other side that we can't see here.

So I didn't necessarily took the GP as being some sort of gotcha question in this context (even though I'm usually pretty good at picking that up)
My uncle recently had this procedure here in the US. His hospital tried to push him quickly toward a surgical option, but he did his own research and eventually found this. It cost him $15k out of pocket, he now has a clean bill of health, and as a bonus he avoided potential/likely erectile dysfunction.
What is u?
Did they ever have any results?
Did this org achieve anything? And if so, would government have allowed them to publish their results?
I read it in high school and quite liked it then, now I am worried that if I revisit I would find it too simplistic how it handles the relationship between science, politics, and religion. The last chapter, which was left out of the movie, really blew my mind back then (very Greg Eganesque).
Thank you for adding this detail.
Time in physics is operationally defined as "what a clock reads". Nascent sciences start in philosophy.
There is still https://boinc.berkeley.edu/
Huh, had no idea that existed. Looks a lot like this project.

But no, that's not it at all. The sentiment analysis buried at the bottom there is generic. It's advertised for aggregate customer mood bc that's the only thing it's sensitive enough to detect, thumbs up or down.

I mean something like https://m.youtube.com/watch?v=8dagzaFjHU4&t=2m, the expressions in the eyes, ex. concern - solicitous - complacent/satisfied - steely from 2:10 - 2:20.

That + the same for voice tone would be everything.
I like it. Can't tell if it's a joke or not, but I like it.
Which company? Seems like we should all be avoiding them if possible
You'd be amazed. I get way more rejections than you'd be comfortable with because 2016 was a horrible year for me and I still have that year on my resume for logistical reasons.
At the very least, I hope they are remembered for pioneering a whole new form of computing.
> It leaves a paper trail (persisted within my control), it has minimal overhead (the forced superficial friendliness or attempts of small talk in support chats are deeply disturbing to me), it works on a bad internet connection, it works asynchronously.

This one is frustrating to me as well. After telling the chatbot about your problem and waiting 20 minutes to be connected with a real person, only to have them open with "Hi! How are you today?" and then pause the script for a response is incredibly grating.

They also don't seem to be using any sort of functioning ticketing system or even hot-transfer, because being forced to re-explain the issue 3+ times to different reps on the same chat seems just as common as it was in the phone days.
I don't know the exact wording in the standard but take a look at/around the GCC flag -fno-math-errno for example
I love my big 4x4 Tundra, even though it’s unfortunate as a daily driver. But pulling stumps, going waaaayyy into the back country and especially the beach, it’s a tool and it enables adventures like no other.
Please do not store valuables in a bank safe deposit box. Customers have come back and found strangers’ stuff, or nothing, and courts have upheld banks’ almost complete disclaimers of liability in rental contracts.

(This is in the US, I wouldn’t know whether other countries also have this problem.)
Can confirm.
Did this myself in mid 2020.
So much better.
Well, my original point was just that increased longevity and caring for our sick and elderly are, anthropologically speaking, what separated us from the primates and hominids, eh?

In re: the (sole, underlying) purpose of civilization, well, do you believe in evolution? I don't mean that in a snarky or combative way. I do, and as a corollary to that it seems clear to me that, whatever else is going on, successfully getting into the future, aka "defeating entropy", is as close to a "Universal truth" as you're likely to get, outside of physics. Evolution may have changed form when the human brain, uh, evolved, but the fundamental structure of the situation didn't change: we're still evolving, still trying to find the best way to ensure the future contains humans for the foreseeable, uh, future. Remember, all the other hominid species have gone extinct! We are not guaranteed to succeed, eh?

There's a discussion we could have around around whether caring for the elderly is really the optimum strategy, but I don't think that's really very interesting? I'm spending a significant amount of my person time and resources caring for my elderly mother who has dementia. I could put her in a home, and use the extra time to work more hours, and I would make more money even after paying for her care. I may yet have to do that if she becomes more difficult to care for, so far we have been lucky. Our neighbor's father got dementia and would sometimes try to fight them. Like throw punches and such! Mom's a cheerful sweetheart. I'm very grateful for that.

Anyway, if someone wants to tell me that I'm wasting my time caring for my mom, well, I'd question their sanity.

- - - -

> I also don't think longevity is a singular goal on an individual or civilization level. As a simple thought experiment would you rather live to 50 and absolute happiness and pleasure, or live to 100 in complete misery?

Now I'm struggling to understand you. :) The thought experiment is so simple that it doesn't make sense. Do I really sound like someone who would choose the latter option? Can you imagine anyone who would choose the latter option?
Looks very interesting and a unique way to resolve those challenges.
This situation doesn’t seem to be widely known.
> and memory on the computer to hold an entire page of pixels. I mean, at 72dpi that's 50KB just for the data!

Fwiw it was common for text editors at the time to render/raster in chunks and then send that off to the printer. For complicated documents, the printer sometimes had to take pauses while the computer worked
The quiet quitting no one is talking about.