frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

Open in hackernews

Show HN: Specification First Agentic Development Plugin and Prove

https://spec-first.dev/
6•hleichsenring•1h ago
Implemented agent smith since start 2026 with over 1000 specifications which lead to about 500k lines of code. The procedure with that spec-first works well. How do you do it?

Genie 4

https://deepmind.google/blog/genie-4-a-new-generation-of-world-simulation/
100•acossta•34m ago•39 comments

New iMac with M6

https://www.apple.com/imac/
140•notfried•3h ago•120 comments

Python's experimental JIT to be removed

https://lwn.net/SubscriberLink/1102102/0c00e4d550f25f8c/
275•f311a•5h ago•147 comments

Wikipedia's Cleanup of AI-Generated Content

https://spectrum.ieee.org/wikipedia-wikiproject-ai-writing-cleanup
258•rbanffy•5h ago•114 comments

The US government is hiding secret court ruling about how it spies on Americans

https://www.wired.com/story/the-us-government-is-hiding-a-secret-court-ruling-about-how-it-spies-...
298•helterskelter2•2h ago•75 comments

Here be monsters: What do you still need to know when agents do the work?

https://blog.adrq.dev/here-be-monsters-what-do-you-still-need-to-know-when-agents-do-the-work
83•adrq•3h ago•21 comments

Why Micron Is Suddenly Ditching 4F² DRAM as Rivals Double Down

https://hothardware.com/news/why-micron-is-suddenly-ditching-4f-dram
55•rbanffy•1d ago•5 comments

Viral Polls Are Not Representative Polls

https://kevinreuning.com/blog/polling_virality.html
33•m-hodges•1h ago•29 comments

PHP2Shell: Exploitation attempts and remediation trends

https://www.wiz.io/blog/php2shell-exploitation-so-far
137•acossta•2h ago•45 comments

Classification of Finite Simple Groups Formalized in Lean

https://cfsg.axiommath.ai/
6•pfdietz•11m ago•4 comments

My video has unit tests

https://pertiller.tech/blog/my-video-written-in-code/
15•Vieltrinker•1h ago•4 comments

Three new discoveries in mathematics, computer science, and physics

https://openai.com/index/building-scientific-understanding-with-academic-communities/
1075•jonluca•19h ago•617 comments

Apple introduces the new 14‑inch MacBook Pro with M6

https://www.apple.com/in/newsroom/2026/10/apple-introduces-the-new-14-inch-macbook-pro-with-m6/
25•beex•31m ago•10 comments

Anthropic trained Claude on illegally obtained Stanford professors' books

https://stanforddaily.com/2026/10/27/professors-books-pirated-to-train-claude/
52•car•1h ago•21 comments

The Mythical Man-Month in the Age of AI

https://j11g.com/the-mythical-man-month-in-the-age-of-ai
351•ilreb•10h ago•229 comments

Gforth 1.0

https://gforth.org/manual/1.0/NEWS.html
105•joshcsimmons•6h ago•6 comments

OpenLDK: Bringing the Java World into Common Lisp

https://atgreen.github.io/repl-yell/posts/openldk-java-in-common-lisp/
15•atgreen•2d ago•0 comments

A Stackless Floodfill Automaton

https://t3x.org/files/floodfill.pdf
22•andsoitis•1d ago•6 comments

Is my data used for model training?

https://privacy.claude.com/en/articles/7996868-is-my-data-used-for-model-training
148•jonpizza•2h ago•69 comments

The Exponential Time Hypothesis Is False [pdf]

https://github.com/openai/math/blob/main/preprints/The-Exponential-Time-Hypothesis-is-False-Octob...
746•vok•18h ago•270 comments

Software may be getting worse, but it used to be horrible

https://www.bitlog.com/2026/10/27/software-may-be-getting-worse-but-it-used-to-be-horrible/
225•jakevoytko•5h ago•176 comments

Show HN: Specification First Agentic Development Plugin and Prove

https://spec-first.dev/
6•hleichsenring•1h ago•0 comments

Data Recovery CEO Indicted for Allegedly Scamming Ransomware Victims

https://www.propublica.org/article/zohar-pinhasi-monstercloud-ransomware-indictment
24•hn_acker•1h ago•5 comments

Sebastian Raschka's from-scratch video course on building reasoning models

https://magazine.sebastianraschka.com/p/building-reasoning-models
805•sgiannopoulos•1d ago•106 comments

Roblox downloaded 145GB models from us (including adult content) without asking

https://open3dlab.com/news/roblox-downloaded-145-gb-of-models-from-our-sites/
407•choult•6h ago•234 comments

New 14‑inch MacBook Pro with M6

https://www.apple.com/newsroom/2026/10/apple-introduces-the-new-14-inch-macbook-pro-with-m6/
120•meetpateltech•3h ago•131 comments

A $300B 'Debt Wall' Is Looming over Private-Equity Backed Companies

https://www.wsj.com/finance/investing/a-300-billion-debt-wall-is-looming-over-private-equity-back...
29•JumpCrisscross•1h ago•5 comments

Solar power is becoming bigger than nuclear

https://www.bbc.com/future/article/20261023-how-solar-became-bigger-than-nuclear
496•geox•1d ago•673 comments

188-Year-Old Mystery of Photography's First Human Subjects Solved

https://news.artnet.com/art-world/daguerre-photograph-subjects-location-2826596
36•bookofjoe•3d ago•8 comments

Oldest GUI application that still runs on Windows 11

https://blog.enlyth.com/posts/oldest-windows-gui-app-win-11/
506•enlyth•22h ago•301 comments