frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

Uncertainty Quantification for Auto Formalization [NeurIPS 2025]

https://github.com/DebarghaG/grammars-formal-uncertainty
1•barthelomew•4m ago•0 comments

Tokyo Tower of Babel

https://simple.wikipedia.org/wiki/Tokyo_Tower_of_Babel
1•xqcgrek2•5m ago•0 comments

Show HN: Free Z-Image – A Fast, High-Quality AI Image Generator for Creators

https://aiocmaker.com/z-image
1•qianjin1979•6m ago•0 comments

Shrinking Elephants: Managing large projects with Gradle

https://engineering.block.xyz/blog/shrinking-elephants
1•rileymichael•9m ago•0 comments

LLMs write code without compilers, could they do philosophy without logic?

https://lywald.github.io/blog_by_claude/turtles.html
1•ycosynot•17m ago•0 comments

AniFlow – Yet another AI anime image generator

https://animify.app
1•ashing•18m ago•0 comments

Show HN: HitCommit – Pay Devs to Solve Your GitHub Issues

https://hitcommit.com
1•nerdzoid•24m ago•0 comments

Lecture Summarization by Extracting Content from Whiteboards (2018)

https://github.com/bhargavaurala/accessmath-icfhr2018
1•downboots•32m ago•0 comments

DPRKDetector – Find North Korea-Affiliated Followers on X

https://dprkdetector.app
1•michael-bey•32m ago•0 comments

Fixing a Radare2 Bug from the Windows Cmd

https://trufae.github.io/aiblog/WinCdbNull-en.html
1•ibobev•36m ago•0 comments

Show HN: Pgm-extra-rs – High-performance learned index structures for Rust

https://github.com/itsfoxstudio/pgm-extra-rs
1•rpunkfu•36m ago•0 comments

GameShell: A game to learn how to use standard commands in a Unix shell

https://github.com/phyver/GameShell
1•ibobev•37m ago•0 comments

System 7 natively boots on the Mac mini G4

https://macos9lives.com/smforum/index.php?topic=7711.0
19•ibobev•39m ago•1 comments

Neato vacuum robots to stop working

https://support.neatorobotics.com/support/solutions/articles/204000073686-announcement-6th-oct-2025
2•simonlondon•43m ago•3 comments

Amazon unveils Starlink rival capable of up to 1 Gbps satellite internet

https://www.tomshardware.com/networking/amazon-leo-ultra-enterprise-grade-terminal-targets-up-to-...
2•thelastgallon•44m ago•1 comments

Restoring Ability Through Engineering

https://www.patreon.com/posts/143860573
1•sloped•55m ago•0 comments

Why China's Ports Empire Has the US Worried [video]

https://www.youtube.com/watch?v=NfiIXoWyOLI
1•mgh2•57m ago•0 comments

Git-embigenner: Spam empty commits

https://github.com/veqqq/git-embigenner
2•todsacerdoti•1h ago•1 comments

Familial Alzheimer's mutation: Role of SORLA in release of neurotrophic exosomes

https://alz-journals.onlinelibrary.wiley.com/doi/10.1002/alz.70591
1•bookofjoe•1h ago•0 comments

Pirate Site Operator's Appeal Goes Bad, Court Extends Prison Term by 50%

https://torrentfreak.com/pirate-site-operators-appeal-goes-bad-court-extends-prison-term-by-50-25...
4•gslin•1h ago•0 comments

Kyoto and the Stories We Still Need to Tell About Fossil Fuel Obstruction

https://blog.ucs.org/delta-merner/kyoto-and-the-stories-we-still-need-to-tell-about-fossil-fuel-o...
1•cratermoon•1h ago•0 comments

When did cats become domesticated? New DNA evidence changes the story.

https://www.nationalgeographic.com/animals/article/when-did-cats-become-domesticated
4•donsupreme•1h ago•1 comments

SpecFive Strike: compact handheld Linux workstation

https://specfive.com/products/spec5-strike
3•nateb2022•1h ago•0 comments

Okeymeta

https://www.okeymeta.com.ng/
1•b16m•1h ago•0 comments

Ask HN: What Are You Working On?

5•dserban•1h ago•2 comments

Trump Cut Europe Out of Ukraine Talks. Here’s How Europe Pushed Back.

https://www.nytimes.com/2025/11/27/world/europe/europe-ukraine-trump.html
8•maxloh•1h ago•1 comments

Modern Developer Tools as Attack Surfaces: Lessons from Shai-Hulud

https://sitezwin.com/posts/2025-11-29-sha-hulud-the-second-coming-encouter/
3•meel-hd•1h ago•0 comments

Damage at Baikonur after Soyuz launch: Russia can't send people to space

https://unn.ua/en/news/damage-at-baikonur-after-soyuz-launch-russia-temporarily-lost-the-ability-...
4•cryptoz•2h ago•0 comments

Intelligence is too high-dimensional for any low-dimensional narrative

https://mathstodon.xyz/@tao/115620261936846090
4•gmays•2h ago•1 comments

20/80

https://blog.greg.technology/2025/11/27/2080.html
2•gregsadetsky•2h ago•0 comments
Open in hackernews

Top Tips for Writing Code with AI

https://brettdidonato.substack.com/p/top-5-tips-for-writing-code-with
2•bsdpython•6mo ago

Comments

uberman•6mo ago
Solid, particularly the advice about context. I find with AI, less is better. Once you have "enough" context, adding more increases the risk of problems. The one I take exception with is the last. "You don't need to understand what the AI wrote". I feel you absolutely do need to understand what the AI wrote and if you don't you should not commit it.
bsdpython•6mo ago
Thanks. I know the last one is controversial, but the way I am starting to think about it is that we are just moving to a new layer of abstraction. I no longer understand very well how hardware works, nor do I know in detail how a browser renders a page, nor the full fine details of how many of the libraries I use work. My own AI generated code, in pockets, is starting to work in the same way. And I'm starting to become OK with that risk.
sherdil2022•6mo ago
The implementations for those abstractions are well tested (hopefully). Committing code that we don’t thoroughly test or have an understanding about is going to bite us sooner than later. They are landmines. Not abstractions.
bsdpython•6mo ago
Is it possible we hit a wikipedia moment (it being more accurate than Encyclopedias) where the quality of typical ai generated code is better than popular open source libraries?