skysight-inc/HackerNews huggingface dataset:
As an academic scientist that does peer review- I would never consider redoing math unless the conclusion seemed suspicious. Peer reviewers don’t have a lot of time and need to assume good faith and careful basic competency from the authors. We spend realistically about an hour to review a study that might have taken a whole team of authors half a decade. Mostly we are looking to confirm that the work is presented clearly, and that the evidence is sufficient to support the conclusions. Peer review is little more than proofreading from an unbiased 3rd party.
What a time to switch to Windows. It seems like walking into a burning building.
My views softened on Windows after years of exclusive Linux use but after getting Windows 11 on a laptop I can't not see the end of the road and want to switch everything back away again. Linux has several solid distros that "just work" in my view but Windows 11 does not meet that criteria.
I think those of us drawn to Perl by its beautiful name (and potentially-art syntax...) have long since migrated to Ruby, for better or for worse.
Ubuntu user since 2006 IIRC. Snaps are not such a big deal. Sure, they're slow to start, consume more resources, they're annoying with updates, and you gotta backup their private snap directory or they will lose your data. I've used Flatpak, containers, the Windows Store, etc., all have warts too.

Still, a regular user running Ubuntu LTS and regular backups will make snaps a non issue, because all OSes have similar annoyances and users learn to work with, or around, them.

Linux is exceptional in the sense that nearly all distros aim to give users more freedom to use their computers, not to corral them into a walled garden to milk them. It won't meet everyone's use cases, but it doesn't force you to choose: you can always use several OSes. It's not marriage.
It was neither Holy, nor Roman, nor an Empire.
I said joking but I meant exaggerating. At least I hope it's hyperbole. Even contemplation of killing your neighbor because they don't support your particular views about the solution to a complex issue is batshit insane.
Ahh I forgot to mention last time I worked with Google Ads was 2012 lol!! I'm pretty sure that didn't exist then... I never saw a Flash game with ad rewards at that time and never heard of it myself then.
It's in the article. Meta don't use AMD for training and write their own kernels for inference. You can't train with AMD, full stop, because their software stack is so buggy.
I think it was meant as a bit of a joke more than anything. This isn’t a real article anyway but more like a post mortem blog post.
"To put Heirloom’s fundraise in context, if the new round were to buy carbon credits at current prices, it would be enough to buy 150,000 to 250,000 metric tons’ worth. That’s about a decade’s worth of carbon removal from the company’s Louisiana plant that’s expected to open in 2026."

15-25k tons of CO2/year. So, we'd need over a million of these plants to make a dent in removing CO2 emissions.
How I wanted one of these, but price tag was waaayyy out of reach
"Lispy teachers channeling SICP" made new audibly laugh
ocamlci is an OCaml Platform offered canned recipe, a la glu, and they really cut that boilerplate down. I almost never use, but i had the same vibes as you did and it made me think of an impl i thought glu may have something to learng from.

https://github.com/ocurrent/ocaml-ci?tab=readme-ov-file
Russian is not a race.
> Would you trust a ML self-driving algorithm trained on a "digital twin" of a city? I would.

No, just as I wouldn't trust a surgeon who studied medicine by playing Operation. A gross approximation is not a substitute for real life.
The minds of IDF soldiers who commit war crimes
"A new commander came to us. We went out with him on the first patrol at six in the morning. He stops. There's not a soul in the streets, just a little 4-year-old boy playing in the sand in his yard. The commander suddenly starts running, grabs the boy, and breaks his arm at the elbow and his leg here. Stepped on his stomach three times and left. We all stood there with our mouths open. Looking at him in shock ... I asked the commander: "What's your story?" He told me: These kids need to be killed from the day they are born. When a commander does that, it becomes legit."

Alt. link: https://archive.ph/O8rGB
Ah, this is helpful, thanks!
Proper old school investigative journalism, and he didn't hold back. Terrific scam, but, y'know, PayPal – I'm an old timer and remember the early days of that outfit. They're still blocked at the firewall from events 25 years ago.

Remember kids: Marketing is a psychopathy.
I mean I'm sure they do, but they also offers Cobol, GroupWise and a fax solution, so I... I don't know where to start.
What happened to the world's largest tube TV? [video]
They might have been offended assuming that Englishmen in Germany would have some basic knowledge of German pub culture. So they took you sitting down at that table as a deliberate or clumsy faux pas. But then they immediately regretted their hasty generalization and how cold they were to you once they figured out you were American. And then they had to make it up to you. Because they knew that expecting Americans to have any cultural understanding while in Europe/Germany is completely unreasonable.
I got several people wanting to send a courier last time I listed something on Facebook. Checking their pages, they were all from eastern Europe with no obvious connection to my city. Good to know the mechanics of the scam, I wondered what they were up to. Don't understand why Facebook couldn't have auto detected the messages though - seemed like a pretty major failure of marketplace that the majority of the messages I got were scams.
Why not just pay for gmail since you already have it set up?
These exist for a fee if you want to use them
I’m exactly the same. When we have the phone on CarPlay my wife will smile at the reminders that pop up.

‘Brush teeth’

‘Drink water’

‘Take vitamin d’

‘Feed dogs’

And I’m basically helpless without the reminders at the bad times.

My severe adhd is cyclical too.
> Why should restaurant reservations be any different?

Because they are absolutely constrained by supply. Restaurants have limited space and supplies to cook.

What you are suggesting is prima facie ridiculous. Can you suggest how you could make restaurant supplies unlimited?
win2k didn’t have bluetooth or dynamic disks. Both are useful and not bloat
Given that several states claim to be Rom's successor, it shouldn't be that hard to find someone to take the responsibility.
I find it fascinating what new programmers prioritize. I’ve been developing on Unix and Unix like systems for 40 years and I’ve never needed a solution like this. But for some reason this appears to be a banger to some of you. Baffling but fascinating.
I think Samsung sold it printer business to HP a few years ago. If you search for a driver you will most probably find a page on HP website.
My first job was on a Perl + MySQL stack, and honestly the codebase was pretty straightforward and “C-like”. But yeah, it can definitely produce some incomprehensible eldritch monstrosities.
Yes, but the nearby stores that stock them might only carry the popular sizes and models. New Balance does offer some locations with complete shoe fittings and unique size ordering, but their closest location may be hours away. Sometimes a trip to the website is the only option, but it's tough to fit a shoe on a foot in a virtual setting. :)
Reflexes don't need to travel to the brain.
Non sequitur. It requires no technology to check an ID on a reservation
Yeah, I always try to not "lead the witness" when querying LLMs.
3. Off-by-1 errors
Hey, feel free to hit me up
I’ve built something like that
LinkedIn : linkedin/in/ar9av
I happen to have some inside knowledge, this was a concept store created for a specific marketing campaign and no intention of this being rolled out further to their stores. The store/campaign itself was like three waves of executives ago at this point and will likely never be more than this single store. They were experimenting with box in a box but have mostly lost those partnerships too, the Sephora partnership was largely seen as beneficial to Sephora more than JCP.
Well then you'll be glad to learn that the health insurance industry doesn't have high returns. The for-profit insurance companies have an average profit margin of only 3.3%.

https://content.naic.org/sites/default/files/industry-analys...

There are also many non-profit insurance companies which have no investors. This includes some of the largest ones such as several of the Blue Cross Blue Shield Association licensees, Kaiser Permanente, EmblemHeath, etc. You're free to purchase a health plan from one of them.

There are a lot of problems with the US healthcare system and while reforms are needed on the insurance side it's hardly the worst problem.

https://www.sensible-med.com/p/the-entire-healthcare-system-...
> Kilauea volcano began erupting on Hawaii's Big Island early Monday morning, the U.S. Geological Survey said. Officials said the volcanic activity is currently confined in the summit caldera.
Happy Fastmail customer for 10+ years here
Well written. Ive long held these values, and never could express them so concisely. Kudos!

I look forward to seeing some matrix eval of impl strategies against these values
Same for Europe. I'd guess that most Americans would be surprised to find out that Paris, France is farther north than Seattle. If you slide Paris over to Washington it would be somewhere just south of the border with Canada.

If you slide it over to the east side of North America it would, appropriately, be in the Canadian province of Quebec.

Madrid, Spain is farther north than San Francisco or Denver. It's just half a degree south of New York.

It really shows how there is much more to climate than latitude. Most of Germany and all of the UK and Ireland are at latitudes that in North America put you well into "it is way too freaking cold here way too many days of the year!" territory, but thanks largely to the effects of currents in the Atlantic ocean they have much milder climates.
Omnimodal and code/writing output still has a ways to go for Gemini - I have been following and their benchmarks are not impressive compared to the competition, let alone my anecdotal experience in using Claude for coding, GPT for spec-writing, and Gemini for... Occasional cautious optimism to see if it can replace either.
You mean invalidation?

Speaking of invalidation, the memoized Fibonacci will work even with a cache of 1 item that is replaced each time. (By work, I mean slash exponential time to linear.)

If you calculate fib(n - 2) first and cache it, evacuating everything else in the process, that is good enough: when f(n - 1) needs f(n - 2), it finds it instead of recursing, and so the multply-and-surrender logic is disrupted, resulting in time proportional to n.
Just about everyone who was worth keeping left immediately.

A have a bunch of ex Symantec colleagues who put their notice in as soon as the deal closed, who were then paid very handsomely by Broadcom to stick around and keep the lights on for another year.
> What part do you think is going to become obsolete?

Thank you for the question.

I guess what I'm saying is:

Will LLMs (or whatever comes after them) be _so_ good and _so_ pervasive that we will simply be able to say, "Hey ChatGPT-9000, I'd like to see if the xyz conjecture is correct." And then ChatGPT-9000 just does the work without us contributing beyond asking a question.

Or will the technology be limited/bound in some way such that we will still be able to use ChatGPT-9000 as a tool of our own intellectual augmentation and/or we could still contribute to research even without it.

Hopefully, my comment clarifies my original post.

Also, writing this stuff has helped me think about it more. I don't have any grand insight, but the more I write, the more I lean toward the outcome that these machines will allow us to augment our research.
Square cube law would say so. The more surface area per volume to dissipate heat the better.

The inverse can be seen in arctic animals that are basically baubles to conserve heat.
Yes, as an academic scientist when I occasionally need to actually reproduce something from published literature to use in my own research- I almost always find at least half a dozen errors, even in a well respected journal. The only way to really find such errors is to painstakingly reproduce the work, and that is not part of the publication process- it would double the time and cost.
I have 3 kids and have been to visit A&E countless times over the years. I always note the hand written checklists stuck up in the walls of Triage and wonder how many of these were derived through trial and error and which were introduced by more experienced medics.

For some reason the fact that they've obviously been produced locally gives me more confidence that they've done the hard yards; professionally printed ones would instead make me think they're only up there because management wanted to raise awareness.
it could be a siloxane coating as detailed here: https://patents.google.com/patent/EP0632163A1/en

so 3-20% of the cellulose fiber could be hydrophobic additives
Going to Hawaii in 2 days, uh. Should I be worried about this lol
As someone who cooks only occasionally, my black plastic utensils wear like shit and are impossible to get odors out of. I much prefer the stainless steel ones, or even wood. Wood honestly wears better than plastic, except it doesn't melt.
Design patterns for multi-organization project management
> One thing that would help a lot especially in low income and rural communities would be to increase the powers of registered nurses to practice a lot of basic care.

RNs already practice in many states and yet there is a shortage.
It means "we haven't ruled it out yet". And given the difficulty of conclusively demonstrating a negative, that's a very weak claim.
Not all potential traits are going to be present in the population. If this were true nothing would go extinct as there would be enough diversity in this theoretical population to see some individuals with the right combination of traits.

It it somewhat more likely to happen when you have say a flask of bacteria where they grow logarithmically by the hour in terms of generational time and have much simpler single cell systems vs us poor multicellular well differentiated humans that are waiting until our thirties when reproductive systems start failing to have our 0.6 kids or whatever the rate is in western countries where diversity is already quite low due to a lack of significant african demography in most populations out of africa. Even in places with significant african background population numbers, social history means these alleles have not yet dispersed across the population homogeneously and are maintained in their demographic subset.
we should start a club
Yes, security vulnerabilities are about the only case when you have to react. The kinds of libraries that can introduce security vulnerabilities (crypto, networking, etc) are hard to write by yourself. If you do happen to write that code by yourself -- to minimize dependencies -- chances are it's full of security holes anyway. Security is hard!
Show HN: Find and play ZX Spectrum 48K/128K games in the browser
This kind of grew out of my ESP32 Rainbow project. Originally it was going to be purely a search engine for games and a way to transfer them onto device. But then I realised that I could compile my core C++ code using Emscripten and run the emulator in the browser.

Provided the game has a z80, sna, tap, or tzx file available then it should be playable. The emulator is a work in progress - some games may fail to work.

It's a nice test bed for my emulator code.
Electric aircraft startup Lilium ceases operations, 1k workers laid off
Let's put it this way, from another mathematician, and I'm sure I'll probably be shot for this one.

Every LLM release moves half of the remaining way to the minimum viable goal of replacing a third class undergrad. If your business or research initiative is fine with that level of competence then you will find utility.

The problem is that I don't know anyone who would find that useful. Nor does it fit within any existing working methodology we have. And on top of that the verification of any output can take considerably longer than just doing it yourself in the first place, particularly where it goes off the rails, which it does all the time. I mean it was 3 months ago I was arguing with a model over it not understanding place-value systems properly, something we teach 7 year olds here?

But the abstract problem is at a higher level. If it doesn't become a general utility for people outside of mathematics, which is very very evident at the moment by the poor overall adoption and very public criticism of the poor result quality, then the funding will dry up. Models cost lots of money to train and if you don't have customers it's not happening and no one is going to lend you the money any more. And then it's moot.
https://www.nature.com/articles/s41586-024-07566-y
Before long people will also continuously use it to watch their screen and act as an assistant, so it can slurp up everything people actually read. People could poison it though with faked browsing of e. G. foreign propaganda stuff made to look like being read from CNN.
Based on current downvotes it seems that people object to this. And I did take this literally myself before going to the comments. Still, I think the metaphorical thing has value as a succinct explainer. Maybe a small change in wording or some quotation marks is the way to go?
It is behind, but reading the tea leaves of some of Altman's recent interactions on X, I'm guessing it's only a few weeks out.
Yes, especially so if you do not much care whether it's correct.
I disagree. The spec should be the spec. The code is just an implementation detail.
HNSW became the defacto default specifically because you don’t need to precalculate the index and it updates as writes come in.

This is a great article, and all the points are there, but the truth is that most teams running million scale vectors don’t want the operational complexity of quantizing offline in some frequency. They’ll gladly outsource the costs to paying for RAM instead of some IVFPQ calculation.

However if there were a solution that “just worked” to handle PQ for shards in near real time for updates that also had sane filtering, that would be really nice.
The part of this that never ceases to amaze me is the Butterfield playbook for accidentally successful startups seems to involve making an online games company of some kind, which fails, and then pivoting it into something quite different.

Doing this once is mad enough, but twice? He should be made to try again purely for science.
Clocks run at "normal" speed (i.e. "1x" speed) in the absence of a gravitational field. The stronger the gravity, the slower they run (i.e. less than "1x" speed).
Manx – a catalog of manuals for old computers
> Lightweight alternative to OAuth for CLI applications - just use SSH keys that users already have

I'd love to see more support for this application. I've contributed a number of oauth-based CLI apps and the user onboarding step (3-legged init) is atrocious.
Yes, to the rebuttal of: "do practitioners not distinguish between naturally-occurring polymers and synthetic plastics in this kind of microplastic/nanoplastic research"

The quote you provided explains clearly, they measured three different types of teabags, distinguished by the different material that each was made of. "three teabags of different chemical compositions"

Edit: to indicate agreement
UXNESS is a dedicated learning platform, a UX Blog for UX Designers and design enthusiasts. We provide a wealth of resources on UX, design, and related fields. UXness blog features insightful articles on UX, Usability, Interaction Design, Visual Design, and more. We also provide information on upcoming UX events, UX books, UX courses, UX jobs, and UI templates.
As a leading UX Blog, UXNESS curates top-tier content related to the field of User Experience Design. UXNESS Edulabs (Reg. No. 1931000313334032) began as a simple UX blog and has since grown into a community of over 35,000 design enthusiasts.
keyword being cellulose polymer *composition*, there are hydrophobic additives infused into the cellulose fibers that are proprietary. For example: https://patents.google.com/patent/EP0632163A1/en
That's an anti-pattern. In a properly lexically scoped language, an undefined identifier is erroneous, diagnosable before you even run the code.

If optional dynamic scoping is supported, it can make sense to deal with an undefined variable, but is still something you would want to avoid. E.g. Common Lisp programs almost always assidiously define dynamic variables via a top-level defvar.

Testing for definedness is usually part of some hack that doesn't deserve its own syntax as a predefined language feature.

The basic idea is that programs should usually know which of their variables are defined, at what point in the program. It should be statically obvious, or failing that, at least dynamically obvious. The remaining situations can be valid, but are low-priority hacks.

(You can always have your macro for it, if you want it badly enough.)

For the environment var example, we can use the regular or (which is much like ||), if the lookup yields nil, which is false:

1> (or (getenv "HOME") (getenv "LOGDIR") (error "You're homeless!"))
"/Users/kazinator"
2> (or (getenv "XXXHOME") (getenv "LOGDIR") (error "You're homeless!"))
** You're homeless!
** during evaluation at expr-2:1 of form (error "You're homeless!")

Looks like Perl made a mess of this simple thing, too.

I understand some languages have an "undefined" value for a variable that is actually defined, but that's pretty lame too; it gives rise to multiple ways of being false. Awk is like this. Awk knows every variable in the program before executing it. GNU Awk builds a global symbol table of all variables at compile time. So every variable is considered defined in the sense of being known to the implementation and existing. It just has a kind of undefined value initially that serves as an empty string or zero, and tests false, but is neither a number nor string. It's a pretty cockamamie design from the POV of larger programs, but does lead to very short one-liners.
> I say this as someone who has not purchased one, but is considering it.

I used to be a reMarkable owner (until I lost it :( ) and I agree that the devices are very user-friendly in terms of hackability and ability to use it long after the company itself is gone. Getting SSH access by flicking a toggle in the settings sounds like the opposite of "hostile to the community".
At an accelerated pace precisely because of your insistence on sticking with them. It’s not too late to stop.
> This again can be attributed to online advertising, which has been the main financier to the open web.

I'm going to call bullshit on this. Before blogging got big, as supported web sites were not the majority, and certainly not what made people look to The Internet. This whole paper starts from a false premise

Also, advertising eventually corrupts the media it supports. We saw this with newspapers, radio, TV, and search.
I'm not sure if it's worse, since AFAIK these don't leak. I have a IBM PS/2 system that I inherited that I plan to restore some day. Sure it's a pain but glad there was no damage to the board.
That's my recollection as well. RTC batteries from this era often came in four possible flavors:

* Varta barrel battery, subject to leaking and corroding traces

* AA/AAA style brick + leads to motherboard, easy to replace

* Dallas DS1287 epoxied battery + chip - can be replaced, cut into to tap directly into the chip, or replaced with Necroware's nwX287 RTC module [0]

* Lastly, the standard CR2023 style. I started seeing these appear in later 486 Socket 3 boards, very rarely on anything earlier

[0] https://github.com/necroware/nwX287