fp.
news
Open in hackernews
Constructing a Quine from Kleene's Second Recursion Theorem
https://emarzion.github.io/KSRT/
9
•
mkckto
•
2h ago
Comments
rssoconnor
•
16m ago
Here is a formalization (not mine) of the second recursion theorem in Agda for a somewhat more elaborate language:
https://hub.darcs.net/dolio/agda-share/browse/cubical/Kleene...
HackerTube: YouTube built from videos recommended by HN
https://karpathy.bearblog.dev/hacker-tube/
800
•
karpathy
•
6h ago
•
254 comments
An Italian farmer found some unknown seeds in his attic and planted them
https://www.smithsonianmag.com/science-nature/italian-farmer-found-unknown-seeds-attic-with-nothi...
185
•
ecares
•
4h ago
•
54 comments
TCP Use-After-Free: CVE-2026-98432 / CVSS 9.8
https://atlasum.net/blog/cve-2026-98432-linux-ipv4-tcp-uaf
366
•
oger
•
7h ago
•
175 comments
Memdoor: A team of 5 Qwen3.8-27B models beats Fable 5 on LiveCodeBench Hard
https://github.com/guregodevo/memdoor/tree/main/examples/workflows/team-solve
98
•
guregodevo
•
4h ago
•
49 comments
Altoids Project
https://uvdn7.github.io/altoids-project/
53
•
uvdn7
•
3h ago
•
3 comments
When electric cars were for women
https://spectrum.ieee.org/early-electric-vehicles
46
•
dverlaeckt80
•
3h ago
•
21 comments
It's the memory latency, stupid
https://pivotlake.io/blog/its-the-memory-latency-stupid/
139
•
ntur1337
•
8h ago
•
42 comments
First response from the Project Suncatcher prototype satellite
https://blog.google/innovation-and-ai/models-and-research/google-research/project-suncatcher-sate...
38
•
praccu
•
22h ago
•
37 comments
Zinc creep in cable spelter sockets brought down the Arecibo telescope in 2020
https://maketecheasier.com/arecibo-zinc-creep-collapse/
39
•
ohjeez
•
1d ago
•
12 comments
Molly (Signal fork) has not been updated since 3 months and is vulnerable
https://piefed.world/post/1503394
311
•
DeepLogin
•
16h ago
•
182 comments
Jepsen: ParticleDB 1.1.4
https://jepsen.io/analyses/particledb-1.1.4
210
•
aphyr
•
13h ago
•
116 comments
Show HN: BBRouter – Ben Eater's 8-bit computer, simulated on 3D breadboards
https://bbrouter.com/bbrouter/ben-eater-sap-1
9
•
creack
•
2h ago
•
3 comments
Show HN: NES Contra (1987) port (ASM –> C and then C –> WebAssembly)
https://epoyraz.github.io/nes-contra-us/
58
•
tevlon
•
7h ago
•
33 comments
Surviving "The Graduate"
https://www.newyorker.com/culture/the-weekend-essay/dustin-hoffman-on-surviving-the-graduate
67
•
samizdis
•
6h ago
•
20 comments
Constructing a Quine from Kleene's Second Recursion Theorem
https://emarzion.github.io/KSRT/
9
•
mkckto
•
2h ago
•
1 comments
The Duty of a Scholar
https://www.daemonology.net/blog/2026-10-31-The-Duty-of-a-Scholar.html
91
•
gslin
•
7h ago
•
28 comments
Do the math: How we took over ChatGPT accounts
https://www.parameter.ai/labs/we-found-a-gap-at-openai
304
•
armcat
•
16h ago
•
151 comments
Sculpture re-creates odd optical effects of famed Lycurgus Cup
https://arstechnica.com/science/2026/10/scientists-recreate-the-1600-year-old-recipe-of-lycurgus-...
21
•
dverlaeckt80
•
1d ago
•
2 comments
Much Ado About None: Sentinel Values in Python
https://florianwilhelm.info/2026/10/sentinel_values/
56
•
sebg
•
2d ago
•
35 comments
AI text watermarking and quality loss
https://blog.keyvan.net/p/ai-text-watermarking-and-quality
25
•
danielfoster
•
5h ago
•
5 comments
Simple circuits can create complex behaviors
https://aatishb.com/myriad/lets-build-a-brain/
218
•
aatish
•
4d ago
•
68 comments
Anthropic blocks users for anything touching training larger models
https://twitter.com/jiahaoshao1/status/2116475922190922088
216
•
pretext
•
7h ago
•
122 comments
Decode kernel panic from QR Code photo
https://gist.github.com/skorotkiewicz/c59e591c26661cb52b06afc42d8ac546
7
•
modinfo
•
1d ago
•
1 comments
Edgar Allan Poe, Quintessential American Writer
https://slate.com/culture/2026/10/edgar-allan-poe-poems-stories-most-influential-american-writer-...
3
•
samclemens
•
2d ago
•
0 comments
Electrification Could Cut Global Energy Use in Half
https://fullycharged.show/podcasts/podcast-361-why-electrification-could-cut-global-energy-use-in...
35
•
toomuchtodo
•
7h ago
•
7 comments
Show HN: A language model that lives in a boot sector
https://github.com/kerlenton/bootgpt
61
•
kerlenton
•
13h ago
•
1 comments
Switch Lowering in GCC
https://xoranth.net/gcc-switch/
201
•
signa11
•
18h ago
•
40 comments
Reading and writing are less symmetric than you (probably) think
https://fgiesen.wordpress.com/2015/10/25/reading-and-writing-are-less-symmetric-than-you-probably...
85
•
luu
•
3d ago
•
22 comments
William Nordhaus has died
https://news.yale.edu/2026/10/31/william-nordhaus-nobel-laureate-who-integrated-economics-and-cli...
60
•
ilreb
•
8h ago
•
21 comments
Serbia just elected the world's brainiest parliament
https://www.science.org/content/article/serbia-just-elected-world-s-brainiest-parliament
822
•
input_sh
•
16h ago
•
469 comments
Load More
rssoconnor•16m ago