Mastering Layout Engines in Graphviz: Dot vs. Neato vs. Twopi vs. Circo guides.visual-paradigm.com
37 points by vismit2000 2 days ago | 8 comments
31Artificial intelligence now beats some of the best human forecasters www.economist.com
103 points by ddp26 5 hours ago | 88 comments
32Vinix – A modern operating system written in V vinix-os.org
78 points by hggh 4 hours ago | 50 comments
33The Relation Between Mathematics and Physics by Paul Dirac (1939) www.damtp.cam.ac.uk
149 points by rramadass 4 days ago | 51 comments
34Stallman: Thousands Dead, Millions Deprived of Liberties (2001) news.slashdot.org
116 points by B1FF_PSUVM 3 hours ago | 49 comments
35Show HN: I built a new version of my fun spatial 3D online meeting app flat.social
89 points by pawelwentpawel 7 hours ago | 52 comments
36Show HN: An e-ink frame that hears birds and draws them as 1800s illustrations github.com
2264 points by arnemunthekaas 2 days ago | 254 comments
37Nvidia announces native GPU programming in Rust developer.nvidia.com
911 points by nonmaskable 1 day ago | 368 comments
38Better Vector Search for Long Documents: Chunking Inside Manticore Search manticoresearch.com
73 points by GloriaVinogrado 10 hours ago | 11 comments
39Lucasart's Afterlife togameforlife.wordpress.com
98 points by Bondi_Blue 1 day ago | 42 comments
40Show HN: Aclif – Agent CLI framework: one grammar, canonical names across SaaS www.aclif.ai
25 points by chris_marino 3 hours ago | 16 comments
41Cloudflare/Security-Audit-Skill github.com
182 points by donk8r 15 hours ago | 36 comments
42The First New Cat Species Discovered in 100 Years www.nationalgeographic.com
13 points by ohjeez 2 hours ago | 1 comment
43KIDS Act digital-strategy.ec.europa.eu
13 points by Betelbuddy 1 hour ago | 1 comment
44BYD looking to build 5-minute EV charging network in Canada driving.ca
25 points by toomuchtodo 2 hours ago | 5 comments
45OpenAI models secretly generate instructions to ignore constraints alignment.openai.com
87 points by theahura 15 hours ago | 24 comments
46Comparison of Malloc() Algorithms egbert.net
130 points by egberts1 2 days ago | 34 comments
47Show HN: AutoBot – live voice control for long-running AI work github.com
12 points by demeyer1 3 hours ago | 3 comments
48The Bicycle and the Algorithm: Amber Case on Why AI Has It Backwards www.designwhine.com
6 points by SLHamlet 3 hours ago | 1 comment
49Priest, Monk, and Mathematician logangraves.com
8 points by magoghm 3 hours ago | 3 comments
50Developing provably correct Rust code with Verus www.amazon.science
154 points by Betelbuddy 3 days ago | 65 comments
51Online Z3 Guide microsoft.github.io
61 points by Bluestein 2 days ago | 15 comments
52I Don't Like LLMs martinfowler.com
179 points by TangerineDream 6 hours ago | 213 comments
53Towards Self-Driving Codebases blog.detail.dev
63 points by wilhelmklopp 3 hours ago | 61 comments
54Training a 4B model to produce 81% faster query plans than Postgres rohanbansal.com
662 points by polyphilz 1 day ago | 134 comments
55OpenSpec – A lightweight and configurable AI spec framework openspec.dev
186 points by etoxin 21 hours ago | 93 comments
56Our framework for reporting model misalignment openai.com
101 points by qprofyeh 13 hours ago | 91 comments
57Reversing Factorio's RNG gegell.github.io
237 points by jheitmann 5 days ago | 44 comments
58Keys Not Included: recovering the signing keys for US driver's license barcodes ryan.science
277 points by Ryan5453 17 hours ago | 140 comments
59Iran school bombing: grounds to believe US was behind atrocity, UN finds www.theguardian.com
289 points by hebelehubele 9 hours ago | 216 comments
60