skysight-inc/HackerNews huggingface dataset:
Heat, Ronin and the Ocean's series are the trinity of heist movies. "For me the sun rises and sets with her, man."

For any Heat fans reading this comment, Michael Mann co-wrote a novel, Heat 2, that focuses on his character, and the entire time I was reading it I imagined it being Val the entire time. It's very good - a worthy follow-up.
His answer is Kagi: https://archive.is/vJ2IO
The Japanese tradition of raising and eating wasps https://www.splendidtable.org/story/2019/02/08/the-japanese-...
I was thinking of the immortal words of Socrates, who said..."I drank what? "
That's a phenomenal review! I really need to go read Solar Communism
65 doesn’t seem that old anymore. Sad to hear. Have read many anecdotes over the years of him being a generally cool guy and very generous with his time when dealing with fans.
Is the AI also generating the contents of the recipes? Will it be Google telling us to eat rocks[1] again?

[1]: https://www.bbc.com/news/articles/cd11gzejgz4o
I'm his huckle bearer

Kilmer personified cool in Tombstone. He was a childhood hero
It would help, but it'd be better for everyone if there was just one law to worry about which covered everyone (or at least set a minimum standard) rather than having 50 different versions of the same law all over the country each with their own definitions, thresholds, penalties, etc. It'd make things a lot less complicated for both companies and consumers, especially given how often a single company's data being exposed impacts people all over the nation.
RubyExamples.com [1]

Got inspired by Go by Example [1] while learning Go. Realised there's nothing for Ruby like that and decided to build.

Goal is to have simple urls for one-click navigation for each topic where the page covers a single topic briefly with examples, with relevant links and historic artifacts (for example, it links to the "Programming with Nothing" talk in procs/lamdba page [3]).

It's still a work in progress and I'm not rushing it.

The examples are all my own. It's easy to do with AI, but I'm not going that way. I'm explaining things based on my own 12+ years of ruby experience.

Like GoByExample, this is also desktop only, but mobile-friendly is on the roadmap. The CSS also will change to be someting like RailsGuides. Might also add a video for each topic explaining the code.

[1] - https://rubyexamples.com/
[2] - https://gobyexample.com/
[3] - https://rubyexamples.com/p_and_l
Using an AirTag on my dog's collar and WifiMan on my phone to track BLE signals, I could pick it up (just... not enough to interact with it, but enough to detect it above -100dbM) about 8 - 10m with a clear line of sight, and about 2m when she was in dense scrub.

So yeah, I imagine concrete is going to be even worse than a shrubbery, that said, might get some interesting propagation paths if there's metal surfaces in the rubble to reflect waves.
"Register your printer for 6 free months of ink!"
WTF are AWS S3 tables?
So sad to hear this. I never get tired of watching Val Kilmer play Doc Holliday in Tombstone. It was such a detailed performance. Go watch it now if you haven't seen it!
Show HN: A React Native Boilerplate to automate all boring stuff
Hey HN,

Tired of setting up Auth, Onboarding, In-App Purchases, DBs, cloud storage, GPT, OTA updates, deep linking, and more for every project?

That's why I created QuickWrap - React Native Boilerplate to create AI Wrappers or any Android and iOS apps in minutes.

I hope this Boilerplate will be helpful for you as it is for me. Would love to get feedback please.

Thanks,
Bavith
>we do need and should have good fine-grain computational models of complex systems such [...] the global economy.

Many years ago when 'social graphs' were still a hot area to do research in I started building a simulation of the equivalent of a small medieval village.

What became quickly apparent is that you didn't just need interactions between any two individuals like classical social graphs talked about, but between any number of arbitrary groups of individuals. Otherwise something as simple as an extended family couldn't be modeled.

That meant that instead of being able to use a matrix as the fundamental data structure you'd need a tensor of rank N, where N is the number of people in the economy. Just to see how intractable this is if the village had 20 people in it with the traditional matrix approach you'd need 400 weights to model interactions. With the tensor approach you need ~1e+26.

In short: it's impossible to have fined grained simulations of complex societies. The best we can do is drastic over simplifications that give us _some_ predictive power.
His measurement apparatus was designed to eliminate air currents was it not? He also had a torsion balance and a vernier to make measurements of the /relative/ changes induced in the apparatus.

I don't see how you're going to use this system to effect repeatable markings on glass tubes.
I regret to inform you, you have committed a crime and are being deported. :(

What's that you say? You have not committed a crime? Unfortunately, our records indicate that you have. Bummer! :\

You're an American Citizen? Why, that changes things! Hard to tell lookin at ya ;). But unfortunately we don't have the time or resources to make a positive determination about that now, so you'll have to wait in Venezuela for as long as it takes while the law/justice sorts this out.

Yes, I understand you claim you've done nothing wrong, but you've got to understand, people voted to get rid of "people like you", and that's the president's mandate. So in the end it may turn out that you're innocent, but for the next 4 years please enjoy this Venezuelan gulag. It's your patriotic duty.
https://www.reddit.com/user/dtaht/
Ah, sorry for the confusion. I'm not advocating group solidarity.

("Group" and "solidarity" are such fuzzily broad terms. But I think, not in the sense you intend. Real humans are, of course, social creatures.)
This looks far superior or what am I missing?
April Fool's!
See https://twitter.com/karpathy/status/1886192184808149383 for when it was coined by Andrei Karpathy.

I've written more about it here: https://simonwillison.net/2025/Mar/19/vibe-coding/ and here: https://simonwillison.net/2025/Mar/23/semantic-diffusion/
Yes. Boeing Onboard Network System (ONS) running on the Network File Server (NFS)?

It and its 787 sibling are highly customized Linux distros.

Aircraft include the 747-8, 787, some 737, ...

http://www.b737.org.uk/flightinstsmax-maint.htm

https://www.teledynecontrols.com/en-us/Product%20Brochures/T...
You're right - it's a bit confusing! I took a crack at explaining it in the blog post under the Consistency section: https://sqlsync.dev/posts/stop-syncing-everything/#consisten...

The key idea is that if your system supports offline writes, then by definition the client making those writes can't have general purpose strict serializability. They have to exist under the assumption that when their transactions eventually sync, they are no longer valid. Graft attempts to provide a strong foundation (server side commits are strictly serialized), however let's the client choose how to handle local writes.

A client may choose any of these options:

1. If offline, reject all local writes - wait until we are online to commit

2. Rebase local writes on the latest snapshot when you come back online, resulting in the client experiencing "optimistic snapshot isolation"

3. Merge local changes with remote changes - this probably depends heavily on the datastructure you are storing in Graft. For example, storing a Conflict-Free Replicated Datatype (CRDT) would work nicely

4. Fork the Volume entirely and let the user figure out how to manually merge the branches back together

5. Throw away all local changes (probably not what you want, but it works!)

My goal is to build a building block on top of which edge native systems can be built. But I'm not too opinionated about what local write semantic you're application needs. :)

(edit: added newlines between list items)
That is the argument that people make, yes, but if you watch top level chess you’d see that’s absolutely not the case. In the current age of computer prep a lot of games involve extremely sharp lines where one side will make some kind of positional or material sacrifice quite early to secure an imbalanced position based on computer preparation and then the whole game revolves around whether or not they can convert the subsequent advantage in initiative. Removing draws from the game would mean there is absolutely no incentive to ever sacrifice material, making adventurous attacking play a strictly losing strategy at the highest level, to the obvious detriment of the game in general.

Secondly, at other levels one of the most important things is always whether a player can show enough sustained technique to convert some advantage and there’s always a chance for the person who is behind to swindle some draw if the guy who’s ahead can’t do this. This sort of a change would make that conversion technique somewhat irrelevant. The person ahead could just turtle up and guarantee themselves a win.

I know for a lot of people having draws in a game is very unsatisfying to some spectators[1], but the existence of draws in a game changes the strategy a lot meaning a player who is ahead has to press their advantage in order to secure the win and not allow a late heroic rearguard defence to secure a draw. That is (in my view) generally good for the game.

[1] I am a big fan of cricket and this is a common criticism of the game from folks who don’t like it.
Even Epsilons can be useful in this brave new world of finding purpose through your job.
Had to ctrl+f to find the Doors. He was absolutely incredible in that. I haven't watched it in 30 years.

He did all the singing, which blows me away.
Internationally, a lot of places don’t accept Amex because of higher fees.

Every Amex cardholder knows to carry a non Amex card. You wouldn’t lose business by not accepting them and some vendors don’t even domestically.

I can’t find stats for other cards. But here is the average wealth and income of Plat holders

https://monkeymiles.boardingarea.com/whats-average-household...

Amex cardholders are the highest earners in the industry.
Yes that sort of stuff happens all the time in the business side of things. There’s a reason it’s a trope.

Not to every company per se but it’s been commonplace well probably for as long as business itself has been.

Just an example - nothing that happened in wolf of wall street was original to them - just the getting famous for being caught part. And that was only a few decades ago.

The defense and finance industries are famous for that sort of thing. I’m sure it’s pervasive elsewhere too.

There’s nothing special about software or tech or clouds that makes schmoozing impossible.
The things the students did are for real, too. And they nailed the students.

The professor, though, was not based on anyone I knew of.
I'm asking if smart phones support LE Long Range
Then you're probably gonna be causing VAC: https://en.m.wikipedia.org/wiki/Vergence-accommodation_confl...
Amazing movie! His physical comedy acting was really special
Kadoa | Frontend/UX | Remote | Full-Time | https://kadoa.com

Kadoa is an AI platform that automates unstructured data ETL.

80% of data is unstructured and traditional methods such as web scraping, PDF parsing, and manual data preparation require expensive engineering resources and constant maintenance.

We’re solving this at scale, but we can't do it alone. We are looking for talented people who share our passion for crafting exceptional software products.

There is one official role, but we welcome conversations with anyone interested in joining the team.

- Frontend Developer/UX Designer: https://www.kadoa.com/careers/frontend-dev-ux-designer

If you want to iterate to greatness and work at the intersection of data and AI, please email us at (adrian at kadoa dot com) and mention HN in the subject line.
I'm impressed and envious!
Login tokens expire long before - so it'll require an explicit login, before you present as a returned customer.
The property owner, unless what's being built is really smelly, loud, or dangerous. With perhaps some carve outs if people want to voluntarily have some kind of HOA type thing that isn't publicly enforced.

I think this take on it is pretty good: https://islandpress.org/books/arbitrary-lines
Sevensor said they would like to make Etsy moms using HF to frost shot glasses reread the MSDS for HF. This would only benefit them if MSDSes were reliable guides to the risks of working with different materials. Unfortunately, as evidenced by my example, they are not. Therefore, the Etsy moms, having reread the MSDS, might reasonably dismiss the information contained in it, unfortunately failing to protect themselves against the very real dangers it poses. Furthermore, given the astounding lack of thought evident in the NaCl MSDS, it is reasonable to guess that many MSDSes you find for HF will propose "safety" measures that are actually counterproductive, such as wearing gloves.

I thought all of this was obvious from my comment.
Thanks for the response! The combination of a seeded rng and some randomness is pretty cleaver.

Can't wait for the write up. Very interesting project and well executed.

PS: The console.log messages made me laugh
Mithril is a relatively older framework and its creator
lhorie comments on HN occasionally.
SEEKING WORK

Location: Cyprus, Bulgaria. Remote, preferably EU +/-4h time zones

We are a small, family consultancy.
Each of us has more than 15 years of professional experience in many stacks ranging from PHP, Erlang, through TypeScript/React to Rust. We have been in Team Lead/Architect/CTO roles in the past.

We have built multiple full-stack systems for clients from scratch, often acting as the whole dev team or the core of it while hiring and mentoring their in-house team. Of course we are also capable of taking on your legacy systems and developing them to the next level.

Although we work as B2B contractors, we usually have long-lasting relations with our clients, spanning many years.

Currently we specialize in Rust, TypeScript + React and Kuberenetes but we are flexible and experienced with many technologies.

LinkedIn: https://www.linkedin.com/in/metin-akat/ https://www.linkedin.com/in/rumyana/

GitHub: https://github.com/loxs https://github.com/rumyanar

More extensive CVs/portfolio available upon request.
Entire software engineering team laid off due to AI
>> Moreover, the problem is that history wasn't taught well and made 'boring'.

This. 100% this. At school we got an extremely biased view of history, but even then it was taught soooo badly.

History (regardless of viewpoint, correctness, or accuracy) could be an enormously exciting topic. It's full of things that would appeal to any child when presented well.

But school history curricula for me was full of meaningless names, dates, actions - endlessly repeated with no enthusiasm at all.
What you've said here is totally different to what the repo docs claim.

The guarantees of Graft's "commit" operation are properties of the Graft system itself. If commit is e.g. strict-serializable when clients satisfy one set of requirements, and isn't strict-serializable if clients don't satisfy those requirements, then "commit" is not strict-serializable.
Hey friends!
Author of Graft here. Just want to say, huge thanks for all the great comments, stars, and support. Feels really nice to finally be building in public again.

I'm going to force myself to sign off for the evening. Will be around first thing to answer any other questions that come up! I just arrived to Washington, DC to attend Antithesis BugBash[1] and if I don't get ahead of the jet lag I'm going to regret it.

If anyone happens to be around Washington this week (perhaps at the conference) and wants to meet up, please let me know! You can email me at hello
[at] orbitinghail [dotdev].

[1]: https://bugbash.antithesis.com/
Thank you for introducing me to ologs - they're fascinating. I'm intrigued by the distinction you make between formal methods and semi-formal approaches.

I'd love to explore how your "likely-correct model for writing" might complement the MECE-based documentation system I've been developing. Since you're building a model focused on writing correctness, perhaps there's an opportunity to collaborate?

My approach addresses the organizational structure of documentation, while your work seems to focus on ensuring correctness at the content level. Together, these could potentially create a more comprehensive solution that combines hierarchical organization with formal correctness principles.

Would you be interested in discussing further? I'm curious to learn more about your model.
Great choice with the Pioneer DVR-111. They're my favorite series of drives ever. NEC ND-3500 chipset; Pioneer mechanism.

Pioneer publish the approved media list for their drives but it's not really detailed enough since it only lists by manufacturer while the firmware is operating on manufacturer plus media code: https://www.mfdigital.com/downloads/Pioneer%20111%20approved...

You can potentially get better results by patching your discs into your drive's firmware using MediaCodeSpeedEdit: https://ala42.cdfreaks.com/MCSE/
I agree that rap/hiphop artists are often guilty of just gracelessly slapping a beat over some one else's hook or chorus and it really does come off as lazy and disrespectful.
This is especially true when the sample is of something that is (or was) already popular and easily recognizable.

That said, samples can be used in a lot of creative ways and even some very straightforward ones while still creating something unique/transformative. I still think it's a good thing that artists can use samples in their work since it does expand what's possible and I can always just ignore the low effort garbage.
No. The states you prefer resolve this problem not by convincing people to vote against their interests, but by denying individual homeowners the right to vote down new housing. I would welcome that approach too, but in the meantime, I work within the system I have. And, sorry, but I'm really not interested in your take on where I should live.
Willow is one of the most ignored, underrated movies ever.
Cool idea and this was nostalgic as well... I created a similar application to communicate and send beacon signals over SMS (using Twilio) without Internet (as internet went down) during emergency SoS situation motivated by 2015 Chennai floods...

Suggestion: You can possibly try if you can use OpenHaystack [1] to send some "unknown tracker found nearby" alert to any nearby iPhone even if the receiver device doesn't have your app installed or use the FindMy network to send arbitrary data for your app's communication. [2]

[1] https://github.com/seemoo-lab/openhaystack

[2] https://github.com/positive-security/send-my
That's a great idea about using just a LiveUSB thumb drive. Much better than my idea of actually "installing" a fresh OS.

The blockchain I mentioned was just a reference to the fact that with hashcodes on everything make corruptions at least detectable, but yeah it wasn't clear what I meant.
Is there a good summary of the problems manylinux had to deal with?
A Year of Rust in ClickHouse
It’s a great project overall but MDF is a very poor choice for the base. It will get destroyed as soon as it gets wet. At minimum they should have used exterior grade plywood, and painted it
Wouldn't adding either of those be quite straightforward leaning on AI?
Here in Brazil there's like 10 different versions of avocados.

You have all type of versions. Some are better to be eaten as guacamole... others are not. Here we do sweet avocados (just eat with sugar, or just put on a blender with milk).

Some of them have more fat, others have less...

Search for "Abacate pescoço". This is probably the most interesting and different one.

:)

I believe Hass is just better to export, because it doesn't spoil so easily.

Another fun fact: I think majority of people don't really buy avocados in supermarket. They are grown all over the place. Streets, backyard, parks... In my street there's like, 5 avocados trees (with each being different type). Hass is the most rare here, you'll usually find it on supermarket only...
The hierarchical system I've developed organizes knowledge in nested MECE categories (Mutually Exclusive, Collectively Exhaustive). Rather than paralleling code exactly, it creates a conceptual tree that represents the mental model behind the system.

For example, in an e-commerce API:
- Level 1: Core domains (Products, Orders, Users)
- Level 2: Sub-domains (Product variants, Order fulfillment, User authentication)
- Level 3: Implementation details (Variant pricing logic, Fulfillment status transitions)

I'm currently using plain Markdown with a specific folder structure, making it friendly to version control and AI tools. The key innovation is the organization pattern rather than the tooling - ensuring each concept belongs in exactly one place (mutually exclusive) while collectively covering all needed context (collectively exhaustive).

I should note that this is a work in progress - I've documented the vision and principles, but the implementation is still evolving. The early results are promising though: AI assistants navigating this conceptual tree find the context needed for specific coding tasks more effectively, significantly improving the quality of generated code.
> still notice that style of writing instinctively, and it still automatically flips a switch in my brain

See, this is what worries me. We have unknowable years of instinct, and none of it is tuned for what is happening now.
I have a paid subscription to Windsurf using Claude. I struggle to find much utility in terms of actually writing code. It spends a lot of time trying / retrying and glitching out. I'm sure in a couple of years it will be amazing (assuming a fundamental breakthrough isn't required) but it isn't quite there yet.

LLMs are super useful but currently, the primary use case is teaching, not doing. For this reason, I think ChatGPT is really just as good as an AI enabled editor (or both if you don't mind paying for two subscriptions).
You will be a functioning part of an egregore whether you like it or not!
took forever to open.
There is another way formal methods parallel documentation: both are futile unless you can prove that the modelized/documented system matches the actual, live one.

"This is just a matter of discipline" is not very convincing, especially when the discipline involves long unpaid afterhours.

The examples I've seen in this report from AWS are mostly about one-shot events (helping going through important changes). It's good to see formal methods used in these cases of course, but I'd really like to read stories about how sustained use of formal methods helps reclaiming the high costs of the initial investment as the actual system evolves alongside the modelization.
CoreWeave has $7.5B in looming debt repayments
Yes, I love that line too. What a great character.