frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

Open in hackernews

Managing Unreliable Compilers

https://blog.tonkotsu.ai/p/managing-unreliable-compilers
7•derekcheng08•3d ago

Comments

pwdisswordfishs•5h ago
> LLMs/coding agents on the other hand are anything but: they make errors in logic and errors in judgement, resulting in functional bugs and slop.

> But they’re fast, and there are effectively infinitely many of them.

That's like saying you can hire effectively infinitely many human workers, because there are 8+ billion people on Earth.

Even though they're cheaper than humans ($200 gets you a month of passable work, rather than a single day), USD is still one of the limiting reagents that determines how much you can get out of them.

6gvONxR4sf7o•5h ago
plan -> code -> verify is nice in theory, but is super failure prone without the TDD or “preregistration” version: plan -> code verification -> code implementation -> verify.

Doing the verification after the execution tends to lead to “yeah this is good” when it really isn’t. Stuff like copilot annoyingly loves to change the tests so it can pass, rather than changing the implementation to make the tests pass. I wonder if their platform prevents that kind of thing.

j2kun•5h ago
Nothing in this article about compilers, just another LLM startup ad
phoe-krk•5h ago
The contents of this post don't match the title.

"Developers are still needed in age of AI" is not about managing unreliable compilers.

Management mistakes in form of overdelegation and underdelegation is not about managing unreliable compilers.

Software process design with explicit checkpoints is not about managing unreliable compilers.

"Dear developer, it's time to turn yourself into a manager" is not about managing unreliable compilers.

Finally, a shameless advertisement plug from an AI toolkit company responsible for creating this post is not about managing unreliable compilers either!

Okay, LLMs being unreliable and plentiful is almost about managing unreliable compilers, but only if you believe the "many have analogized LLMs with compilers" opening statement. And even if you believe it, this post contains no practical examples of unreliability or how that unreliability is managed; the whole post is generic and lacks any connection to software development practice, to the point where it seems LLM-generated as a whole.

Mobile carriers can get your GPS location

https://an.dywa.ng/carrier-gnss.html
500•cbeuw•10h ago•320 comments

Scientist who helped eradicate smallpox dies at age 89

https://www.scientificamerican.com/article/smallpox-eradication-champion-william-foege-dies-at-89/
147•CrossVR•3d ago•30 comments

Apple-1 Computer Prototype Board #0 sold for $2.75M

https://www.rrauction.com/auctions/lot-detail/350902407346003-apple-1-computer-prototype-board-0-...
31•qingcharles•1h ago•14 comments

In Praise of –dry-run

https://henrikwarne.com/2026/01/31/in-praise-of-dry-run/
80•ingve•7h ago•55 comments

Generative AI and Wikipedia editing: What we learned in 2025

https://wikiedu.org/blog/2026/01/29/generative-ai-and-wikipedia-editing-what-we-learned-in-2025/
98•ColinWright•6h ago•47 comments

Swift is a more convenient Rust (2023)

https://nmn.sh/blog/2023-10-02-swift-is-the-more-convenient-rust
246•behnamoh•6h ago•219 comments

Opentrees.org (2024)

https://opentrees.org/#pos=1/-37.8/145
28•surprisetalk•4d ago•1 comments

Berlin: Record harvest sparks mass giveaway of free potatoes

https://www.theguardian.com/world/2026/jan/31/record-harvest-berlin-giveaway-potatoes
96•novaRom•8h ago•73 comments

The Saddest Moment (2013) [pdf]

https://www.usenix.org/system/files/login-logout_1305_mickens.pdf
94•tosh•8h ago•19 comments

Outsourcing thinking

https://erikjohannes.no/posts/20260130-outsourcing-thinking/index.html
92•todsacerdoti•7h ago•78 comments

Demystifying ARM SME to Optimize General Matrix Multiplications

https://arxiv.org/abs/2512.21473
65•matt_d•8h ago•14 comments

Data Processing Benchmark Featuring Rust, Go, Swift, Zig, Julia etc.

https://github.com/zupat/related_post_gen
65•behnamoh•7h ago•27 comments

EV-1 for Lease (1996)

https://www.loe.org/shows/shows.html?programID=96-P13-00047#feature4
5•1970-01-01•2d ago•1 comments

Nintendo DS code editor and scriptable game engine

https://crl.io/ds-game-engine/
108•Antibabelic•9h ago•26 comments

Finland looks to introduce Australia-style ban on social media

https://yle.fi/a/74-20207494
532•Teever•11h ago•379 comments

Show HN: Minimal – Open-Source Community driven Hardened Container Images

https://github.com/rtvkiz/minimal
75•ritvikarya98•8h ago•23 comments

Ferrari vs. Markets

https://ferrari-imports.enigmatechnologies.dev/
47•merinid•2d ago•23 comments

CPython Internals Explained

https://github.com/zpoint/CPython-Internals
178•yufiz•4d ago•43 comments

CollectWise (YC F24) Is Hiring

https://www.ycombinator.com/companies/collectwise/jobs/ZunnO6k-ai-agent-engineer
1•OBrien_1107•7h ago

Nvidia's 10-year effort to make the Shield TV the most updated Android device

https://arstechnica.com/gadgets/2026/01/inside-nvidias-10-year-effort-to-make-the-shield-tv-the-m...
108•qmr•12h ago•98 comments

Apple Platform Security (Jan 2026) [pdf]

https://help.apple.com/pdf/security/en_US/apple-platform-security-guide.pdf
136•pieterr•12h ago•101 comments

Noctia: A sleek and minimal desktop shell thoughtfully crafted for Wayland

https://github.com/noctalia-dev/noctalia-shell
46•doener•8h ago•18 comments

Writing a .NET Garbage Collector in C# – Part 6: Mark and Sweep

https://minidump.net/writing-a-net-gc-in-c-part-6/
48•pjmlp•4d ago•0 comments

Wikipedia: Sandbox

https://en.wikipedia.org/wiki/Wikipedia:Sandbox
64•zaptrem•1d ago•14 comments

History of the browser user-agent string (2008)

https://webaim.org/blog/user-agent-string-history/
14•smushy•4d ago•1 comments

Show HN: Moltbook – A social network for moltbots (clawdbots) to hang out

https://www.moltbook.com/
158•schlichtm•3d ago•808 comments

We have ipinfo at home or how to geolocate IPs in your CLI using latency

https://blog.globalping.io/we-have-ipinfo-at-home-or-how-to-geolocate-ips-in-your-cli-using-latency/
210•jimaek•18h ago•53 comments

Working example of a Yocto setup without unnecessary complications

https://github.com/bootlin/simplest-yocto-setup
12•transpute•4h ago•2 comments

Giving up upstream-ing my patches and feel free to pick them up

https://mail.openjdk.org/pipermail/hotspot-dev/2026-January/118080.html
145•csmantle•17h ago•74 comments

My ridiculously robust photo management system (Immich edition)

https://jaisenmathai.com/articles/my-ridiculously-robust-photo-management-system-immich-edition/
265•jmathai•3d ago•116 comments