Hacker News

31.		Vinix – A modern operating system written in V (vinix-os.org)
		64 points by hggh 3 hours ago \| hide \| 42 comments
32.		Keys Not Included: recovering the signing keys for US driver's license barcodes (ryan.science)
		268 points by Ryan5453 15 hours ago \| hide \| 137 comments
33.		The Relation Between Mathematics and Physics by Paul Dirac (1939) (cam.ac.uk)
		143 points by rramadass 12 hours ago \| hide \| 48 comments
34.		Show HN: I built a new version of my fun spatial 3D online meeting app (flat.social)
		86 points by pawelwentpawel 5 hours ago \| hide \| 50 comments
35.		Show HN: AutoBot – live voice control for long-running AI work (github.com/demeyer1)
		11 points by demeyer1 1 hour ago \| hide \| 2 comments
36.		Priest, Monk, and Mathematician (logangraves.com)
		7 points by magoghm 2 hours ago \| hide \| 1 comment
37.		Better Vector Search for Long Documents: Chunking Inside Manticore Search (manticoresearch.com)
		73 points by GloriaVinogrado 8 hours ago \| hide \| 11 comments
38.		BYD looking to build 5-minute EV charging network in Canada (driving.ca)
		10 points by toomuchtodo 30 minutes ago \| hide \| 1 comment
39.		Nvidia announces native GPU programming in Rust (nvidia.com)
		904 points by nonmaskable 21 hours ago \| hide \| 363 comments
40.		Lucasart's Afterlife (togameforlife.wordpress.com)
		94 points by Bondi_Blue 11 hours ago \| hide \| 41 comments
41.		Show HN: An e-ink frame that hears birds and draws them as 1800s illustrations (github.com/arnegiacomo)
		2259 points by arnemunthekaas 2 days ago \| hide \| 253 comments
42.		Cloudflare/Security-Audit-Skill (github.com/cloudflare)
		179 points by donk8r 14 hours ago \| hide \| 36 comments
43.		I Don't Like LLMs (martinfowler.com)
		151 points by TangerineDream 4 hours ago \| hide \| 204 comments
44.		Comparison of Malloc() Algorithms (egbert.net)
		129 points by egberts1 14 hours ago \| hide \| 34 comments
45.		OpenAI models secretly generate instructions to ignore constraints (alignment.openai.com)
		83 points by theahura 13 hours ago \| hide \| 21 comments
46.		Online Z3 Guide (microsoft.github.io)
		58 points by Bluestein 9 hours ago \| hide \| 15 comments
47.		Developing provably correct Rust code with Verus (amazon.science)
		152 points by Betelbuddy 18 hours ago \| hide \| 60 comments
48.		1,000+ shoes reviewed and cut in half (runrepeat.com)
		36 points by bushwart 1 hour ago \| hide \| 7 comments
49.		AI safety is mostly a sex cult (skywriter.blue)
		200 points by Tomte 10 hours ago \| hide \| 157 comments
50.		Tests of the New AI Siri (pogueman.substack.com)
		7 points by MBCook 35 minutes ago \| hide \| 2 comments
51.		Be alert: targeted attacks on prominent Rustaceans (rust-lang.org)
		8 points by foresto 38 minutes ago \| hide \| discuss
52.		Training a 4B model to produce 81% faster query plans than Postgres (rohanbansal.com)
		659 points by polyphilz 1 day ago \| hide \| 131 comments
53.		Iran school bombing: grounds to believe US was behind atrocity, UN finds (theguardian.com)
		259 points by hebelehubele 7 hours ago \| hide \| 184 comments
54.		Our framework for reporting model misalignment (openai.com)
		99 points by qprofyeh 11 hours ago \| hide \| 91 comments
55.		OpenSpec – A lightweight and configurable AI spec framework (openspec.dev)
		185 points by etoxin 19 hours ago \| hide \| 91 comments
56.		New evidence for hidden chambers beyond Tutankhamun's tomb (nature.com)
		16 points by rndsignals 2 hours ago \| hide \| discuss
57.		The First New Cat Species Discovered in 100 Years (nationalgeographic.com)
		3 points by ohjeez 22 minutes ago \| hide \| discuss
58.		Reversing Factorio's RNG (gegell.github.io)
		236 points by jheitmann 23 hours ago \| hide \| 42 comments
59.		A 32-year-old bug walks into a Telnet server (watchtowr.com)
		101 points by paimapi 16 hours ago \| hide \| 43 comments
60.		South Africa is at risk of becoming a mafia state (economist.com)
		56 points by andsoitis 14 hours ago \| hide \| 17 comments
		More