MurphyA/hacker-news huggingface dataset:
by np1810 | 2025-04-02 04:56:52+00:00
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
by vitorgrs | 2025-04-02 04:58:06+00:00
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...
by jlcases | 2025-04-02 04:58:30+00:00
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.
by osigurdson | 2025-04-02 04:59:35+00:00
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).
by rixed | 2025-04-02 05:00:52+00:00
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.
by jlcases | 2025-04-02 05:01:28+00:00
Great question about MECE vs Divio's system! They actually complement each other rather than conflict.

MECE (Mutually Exclusive, Collectively Exhaustive) comes from management consulting and focuses on organizing concepts without overlap or gaps. Divio's system focuses on documentation types (tutorials, how-to, reference, explanation).

In the AI era, your question raises a fascinating point: if AI can dynamically adapt content to the user's needs, do we still need multiple presentation formats? I believe we do, but with a shift in approach.

With AI tools, we can maintain a single MECE-structured knowledge base (optimized for conceptual clarity and AI consumption) and then use AI to dynamically generate Divio-style presentations based on user needs. Rather than manually creating four different document types, we can have AI generate the appropriate format on demand.

In my experiments, I've found that a well-structured MECE knowledge base allows AI to generate much more accurate tutorials, how-tos, references, or explanations on demand. The AI adapts the presentation while drawing from a single source of truth.

This hybrid approach gives us the best of both worlds: conceptual clarity for AI consumption, and appropriate presentation for human needs - all while reducing the maintenance burden of multiple document versions.
by kaeruct | 2025-04-02 05:01:57+00:00
Some sampling might be lazy, but there's plenty of impressive producers which take the art to the next level. Some suggestions you can sample: DJ Shadow, J Dilla, Madlib, The Avalanches, Statik Selektah. And as a bonus, an artist definitely not hip hop which makes beautiful use of sampling is Jens Lekman.

I will be charitable even though you called rap "lowest common denominator" poetry.

If you are genuinely interested, I suggest you look into the history of hip hop. IMO, the point of early hip hop was not to create sophisticated music, but to connect people by using sounds they were already familiar with. More important was the message and vocal delivery of the MC.
by bill_02109 | 2025-04-02 05:03:10+00:00
40GRID - Full-time Remote | React Native Mobile Engineer Our mission is to empower field-service companies to grow by modernizing and automating their business operations. Every company we work with has unrealized potentials — our task is to build the platform that empowers growth and helps them unlock opportunities.

Email: jobs [at] 40grid.com (no recruiters or agencies, please put HN in subject line, thanks).

Tech: React Native
by toast0 | 2025-04-02 05:04:29+00:00
> You need to actually invest the money versus paying the credit card to earn interest. The average consumer is not walking around picking up pennies in front of a steamroller trying to get $30/month with clever interest rate arbitrage.

They should be. Interest bearing checking is out there. No real danger there. It's not glamorous, but depending on how much interest you're getting, paying with tommorow's dollars for today's purchases gets you about 0.4% off (based on bad math of apy is 3.25% * 45 days / 365 days in a year; I know this isn't the right way to use an APY, but you can also find better interest checking than my credit union)
by admiralrohan | 2025-04-02 05:04:59+00:00
Thanks for sharaing your journey, I have few observations

1. When I click on a recipe from home page it is maintaining the scroll position, so I am not seeing the top of the screen. Is this deliberate?

2. "Recipe Ninja was vibecoded by Tom in San Francisco." Will it increase of decrease trust in your system for users?

3. To remove AI changing random files, I use "Copy relative path" to tell AI which file to change (there is a keyboard shortcut too). Not fully vibe coding but can be useful for precision bug fixing.

Good luck with the project.
by DontchaKnowit | 2025-04-02 05:05:10+00:00
I understand that this is just kind of a proof of concept exposition of AI capabilities, but I fucking hate it and it is emblematic of the kind of low effort drivel that is infecting the internet. This is totally unusable in every way possible. While technically impressive (that AI can make a pretty-ish and functional website) it is practically useless.

Also, the photos are some of the most un-appetizing, uncanny valley, shit I've ever seen.
by carlsverre | 2025-04-02 05:05:18+00:00
Just to make sure I understand correctly, would you agree that if clients always synchronously commit (i.e. wait until the MetaStore commit returns ok) before acknowledging any commit locally, the client will experience Strict Serializability?

Assuming you agree with that, what would be a more clear way to explain the tradeoffs and resulting consistency models in the event that a client desires to asynchronously commit?

I think I see the issue, but I'd love to hear your take on how to update the docs.
by tgsovlerkhgsel | 2025-04-02 05:07:50+00:00
Once you are at the level of forensic investigations that go down to the tracking dots, most attempts at spoofing anything will be relatively obvious and provide further evidence that narrows down the list of suspects to those aware of such techniques.

You might fool someone who does such analysis casually but I'd expect an actual experienced investigator to e.g. go "the tracking dots are clearly brand X, but the raster used for greyscale is obviously from Y, soooo"
by dlenski | 2025-04-02 05:07:58+00:00
I'm so sorry to hear of his death, and sending my prayers and wishes for peace and healing to his loved ones.

I interacted with him directly only once, while working on a [buffering-related issue in Open connect](https://gitlab.com/openconnect/openconnect/-/issues/582#note...).

Like many others, I was inspired by his great attention to detail, his diligence, and his curiosity, which served as a fantastic example for many people working on tricky and important issues in networking and other technologies.

Those will be some big shoes to fill.
by nine_k | 2025-04-02 05:09:46+00:00
Sort of. Compact NMC Li-ion cells from laptops and phones often use stuff like cobalt, supplies of which are much more limited and problematic than of lithium. The newer LiFePO4 chemistry does not use it, and, importantly, is rather hard to ignite. Its energy density per unit mass is lower, but it's not that important for stationary installations.
by ninetyninenine | 2025-04-02 05:10:06+00:00
This is not just a problem with formal verification systems. It's a problem intrinsic to math, science and reality.

We call these things axioms. The verifier must be assumed to be true.

For all the axioms in mathematics... we don't know if any of those axioms are actually fully true. They seem to be true because we haven't witnessed a case where they aren't true. This is similar to how we verify programs with unit tests. For the verifier it's the same thing, you treat it like an axiom you "verify" it with tests.
by malux85 | 2025-04-02 05:10:10+00:00
Not only that, but DFT itself has many many different forms. There's DFT that is O(n)^3 and there's DFT that's O(n)^7 in time complexity, the wild variations are due to the different approximations (i.e. algorithm and parameters).

Saying "I used DFT" is like saying "I used a computer", its nowhere near enough info to reproduce the work
by EbNar | 2025-04-02 05:14:01+00:00
Finally an article which doesn't contain the "...and you should too" thing, which I personally find very annoying. I also left Google behind the day they automatically added a calendar event from and email I received, some 10 years ago. Is not that much, really, but it was just an eye opener.

With respect to Kagi, I tried it briefly and, hey, it seems fine. My personal problem is their price. I guess I could afford the 10 €/months, maybe, but I'm not sure I could justify that when I could (and actually did) simply set up a VPS with SearxNG in docker on it for less than half and have watchtower update it automatically, thus accessing many and diverse search engines at once. Basically, set and forget it. Still, I'm glad that Kagi exists, as one day I may decide to switch to it.
by tgsovlerkhgsel | 2025-04-02 05:15:37+00:00
That's a lot more work, skill and initial investment required than just trying to slap a dollar bill on a copier. Which means a lot fewer people will try, especially since the people with these skills can usually easily make enough, and possibly more, money through legitimate means.

There were people who did counterfeiting "right", down to getting real printing presses, suitable paper etc. https://www.businessinsider.com/frank-bourassa-on-how-he-cou... (it's strongly implied that he got away with 6 weeks in prison and likely got to keep a decent amount of the profit).
by rendaw | 2025-04-02 05:16:20+00:00
I second the request. Sing the images spatially related to eachother would be really cool. Like: this room is only 2 nodes from this room. Or like, you see one node with a ton of links and wonder which room that is.

The article itself shows some nodes and their corresponding images, but it'd be cool to have it for all of them.
by branko_d | 2025-04-02 05:16:50+00:00
> Chinese no-names

Sorry, but that's just short sighted. Did you actually sit in a Chinese car, or at least seen any with your own eyes? I can tell you that ZEEKR, Changan, Exeed, Li Auto, BYD, Jac and others are well known and well respected in certain markets. In our harsh and cold climate, Chinese brands don't seem to be any less reliable than the Japanese, Korean and European brands that were historically used here.
by atonse | 2025-04-02 05:17:39+00:00
This is the thing about Top Gun and the mission impossible movies.

Tom Cruise still remembers that we go to the theater to be entertained. And he delivers on that above everything else.

And he knows how to give the fans what they want, all the way up to the gimmicky use of an F14 in Top Gun 2. Or seeing IceMan again.
by spiderfarmer | 2025-04-02 05:17:43+00:00
Do we deride free speech absolutists simply because Musk might have trolled us? Is that truly a reasonable explanation for anyone's motivations? Would you be so petty as to base your principles on that idea?

No. Our criticism is aimed at their inability to defend their own values, leading to fruitless debates and real-world situations where shameless hypocrisy undercuts everything they claim to support.
by ryao | 2025-04-02 05:19:50+00:00
> GLIBC is an example of a "system library" that cannot be bundled with your application because it includes the dynamic linker itself. This linker is responsible for loading other libraries, some of which may also depend on GLIBC—but not always.

Running WordPerfect on modern Linux is done by shipping both of those components:

https://github.com/taviso/wpunix
by pabs3 | 2025-04-02 05:20:55+00:00
Debian archives all of our binaries (and source) here:

https://snapshot.debian.org/

Some things built on top of that:

https://manpages.debian.org/man/debsnap https://manpages.debian.org/man/debbisect https://wiki.debian.org/BisectDebian https://metasnap.debian.net/ https://reproduce.debian.net/
by m463 | 2025-04-02 05:21:09+00:00
There were a lot of annoying detours.

A lot of the bad parts of computing originated in hollywood. They wanted certainty that you could only play "protected" music or video.

This sort of thing made it "necessary" to lock bootloaders and eventually with the iphone... The ship of theseus didn't belong to theseus anymore, it was just a license.

now lots of devices are cash registers, surveillance devices, e-meters and pop-up generators.
by Valodim | 2025-04-02 05:22:13+00:00
Billy paid a fraud expert, whose whole business is apparently providing fraud opinions, but that seemed to have tipped the scales (mentioned in TFA). Very unfortunate outcome.

Well, the silver lining for Jobst in all of this is that he did build his YouTube channel (partly) on ranting about Billy, and that might be worth more than what he paid here.
by glth | 2025-04-02 05:22:45+00:00
Author here: In a few weeks, I will publish the graph generator's source code and a DOT file encoding the Myst graph in this repository: https://github.com/glthr/DeMystify. I would love to see how others render the graph and how the generator can be improved. A follow-up article will also dive deeper into the technical details. Stay tuned!
by ahmedelhadidi | 2025-04-02 05:23:15+00:00
I run a small dev agency, and we built a simple automation to help clients turn YouTube videos into SEO blog posts using: •N8N (workflow orchestration) •OpenAI (for generating the blog content) •Google Sheets (as a trigger + state tracker) •Templated.io + Canva (to auto-generate an image with the blog title) •Webflow CMS (to save/publish the post)

The workflow takes a YouTube transcript and generates: •Blog title, slug, summary, body •Auto-generated header image •Saves it all into Webflow CMS (in draft mode for manual review)

I made a short 5-minute walkthrough video and shared the full automation for free: https://www.youtube.com/watch?v=sqynh-jtDOM

There’s no paywall, signup, or anything like that. Just sharing something we’ve found useful internally and for clients.

Would love feedback on how to improve or extend it. (Thinking of adding Notion/WordPress support next.)

If you don't want to support me and you just want the Workflow: https://drive.google.com/file/d/1e3SLK4lrvfxfQfLAthj2BpfkwRf...
by Tetraslam | 2025-04-02 05:23:58+00:00
I'm an ML researcher @ MIT and a student at Northeastern University majoring in CS and Linguistics. I've built large-scale, efficient software for my neuromechanics and quantum photonics labs, for satellites, and for cloud computing startups. I'm looking for internships (4 months full-time, May - August) in systems engineering, ML, full-stack, and backend engineering. My most recent project: I built https://github.com/tetraslam/SHFLA and won the MIT Media Lab hackathon. It hit the front page of HN, and got me demo requests from Stephen Wolfram, David Sinclair, Joscha Bach, and Suno AI.

Location: San Francisco, CA

Remote: Yes, or onsite

Willing to relocate: Within the United States

Technologies: Python, Zig, C, C++, Javascript, Linux, Supabase, Redis, Pytorch, Slurm, CUDA, HPC, FastAPI, Embedded Linux, Tinygrad, Concurrency, Triton, Bash, Typescript, NextJS, TailwindCSS, Langchain

Resume: https://tetraslam.world/resume.pdf

Website: https://tetraslam.world

Email: shresht@mit.edu
by cozzyd | 2025-04-02 05:24:11+00:00
For Ubuntu they would only target LTS releases, most likely.

On EL it's easier, now you would just support 2 or 3 of EL7, EL8, and EL9.

As an example of something I use, Xfdtd only officially supports one version of Ubuntu and 2 versions of EL https://www.remcom.com/system-requirements#xfdtd-system-requ...

In practice, it wasn't too hard to get it running on EL9 or Fedora either...
by kiitos | 2025-04-02 05:25:53+00:00
I think I'm probably operating with definitions of client and commit that are different than yours.

Specifically, I don't really see how a client can "commit locally" and "commit globally" as separate things. I understand a client to be something that interacts with your metastore API, which provides a single "commit" operation, that AFAICT will return success/failure based on local commit state, not global state.

Is that not correct?

Later on in the design.md you say

> The Client will be a Rust library ...

which might be the missing link in this discussion. Is the system model here assuming that clients are always gonna be Rust code in the same compilation unit as the Graft crate/library/etc.?
by ofrzeta | 2025-04-02 05:26:21+00:00
I clicked that link for you so you don't have to:

"There’s a new kind of coding I call “vibe coding”, where you fully give in to the vibes, embrace exponentials, and forget that the code even exists. It’s possible because the LLMs (e.g. Cursor Composer w Sonnet) are getting too good. Also I just talk to Composer with SuperWhisper so I barely even touch the keyboard."
by jlcases | 2025-04-02 05:26:36+00:00
Fascinating approach with ologs and FSMs I've been working on PAELLADOC (https://github.com/jlcases/paelladoc) which applies MECE principles to documentation structure. Similar philosophy but focused on knowledge representation correctness rather than software behavior.

The results align with your experience - structured conceptual foundations make development more intuitive and documentation more valuable for both humans and AI tools.
Show HN: Money+ – Real-Time Expense Tracking with Google Sheets
by jonypopovv | 2025-04-02 05:26:38+00:00
Hey everyone!

I used to track my expenses in Google Sheets, but got tired of how clunky it was on mobile — especially entering data days later or forgetting entirely. I figured I wasn’t alone, so I looked for an app that syncs directly with Google Sheets. Surprisingly, I found nothing that fit: some offered manual export/import, others were overcomplicated.

So, I built Money+. It took me a year to learn mobile dev and wrestle with Google APIs, but now I can log expenses on the go, and my Sheets update in real time. Here’s what it does:

- Fast expense tracking: log transactions in seconds. - Real-time Google Sheets sync: no manual exports. - Budget planning: set and adjust on the fly. - Custom dashboards: analyze spending your way. - Full data ownership: your data stays yours, no third-party access.

It’s mobile-first and simple. I’m not sure how useful others will find it, but I hope it helps someone with the same budgeting struggles. Check it out here: https://apps.apple.com/us/app/money-expense-budget/id6741166...

Feedback welcome!
by jgord | 2025-04-02 05:31:27+00:00
I think we're in for a new multi-decade round of 'eating the world' .. and Im going to annoy everyone by suggesting that the microkernel of this new megascale world-changing engine of growth is actually the tiny garage startup using Machine Learning / Reinforcement Learning to tackle some previously too-hard problem in engineering/logistics/robotics/medicine/industry.

We are in a boom and bust and boom ... the current moment rhymes with 1993 of the internet boom - lots of hype, lots of big money .. but also something new and useful is emerging.

Its happening faster this time around ... BUT I do see a capital-to-startup impedance mismatch problem - imo, we need smaller, faster, standardized early pre-seed rounds : to build the future we need angels to take 10 x 30k bets, not 2 x 150k bets.

We actually dont need to wait for AGI to achieve an incredible creation of wealth and improve our lives .. we can just _apply_ the tech that already exists in raw form today. The resulting growth will override a plateauing Moores Law, and use all those largely dormant many-cores on todays CPU/GPU/NPU hybrid chips.

Its the best of times and the worst of times - geopolitical and economic malaise coinciding with a Cambrian explosion of new technology.

I dont think most VCs have the background to recognize this new kind of startup .. but tech-founders who had an exit payout will be well placed to go fly fishing for them - Im hoping these people will step in and Angel invest, to build the future they see on the horizon.
by MartijnHols | 2025-04-02 05:33:02+00:00
Depends on the project. For websites I like to use a statically generated Nextjs site served by nginx[1] and for SPAs Nginx that serves a Vite-built static bundle with a backend that’s in whatever language the backend team chose.

[1] https://martijnhols.nl/blog/how-much-traffic-can-a-pre-rende...
by chii | 2025-04-02 05:34:04+00:00
> The problem with a lot of the other SKUs is the lack of a good way to buy a single license legitimately from Microsoft

because the higher ups at microsoft deems these SKUs not suitable for the average pleb on a home computer. They're intended for a fleet of commercial computers (like schools, libraries, offices etc), and priced to match the expected sale.

For home use, microsoft wants the user to be an obedient sheep, and gobble up whatever that is fed through the pipe. Soon enough, this will make the computer more of an appliance, than a computer - like a washing machine or TV, instead of a general machine capable of doing whatever the user commands.