fp.
newest
Open in hackernews
Knuth Claude's Cycles note update: problem now fully solved by LLMs
https://www-cs-faculty.stanford.edu/~knuth/papers/claude-cycles.pdf?updated
3
•
fs123
•
1h ago
Comments
fs123
•
1h ago
Knuth updated his 'Claude cycles' note with new spectacular developments. The remaining open problem was completely solved using LLMs, including proofs of correctness. See the Postpostscript section at the bottom of the note.
Also note the 'Over and out' section.
ChrisArchitect
•
1h ago
Pre-update discussion:
https://news.ycombinator.com/item?id=47230710
Typst Meetup 2026: Keynote
https://www.youtube.com/watch?v=WOQXL6vRrJs
1
•
todsacerdoti
•
58s ago
•
0 comments
Show HN: I built a zero-lag, local-first Markdown capture tool
https://gojot.app/
1
•
shubham2892
•
2m ago
•
0 comments
Show HN: Main Character – A gamified productivity app (no login demo)
https://maincharacter.game
1
•
gmays
•
5m ago
•
0 comments
Apple Silicon Laptops Can Run a Mind, but Never a Superintelligence
https://vbar.io/laptop-mind.html
1
•
walterbell
•
8m ago
•
0 comments
New KV cache compaction technique cuts LLM memory 50x without accuracy loss
https://venturebeat.com/orchestration/new-kv-cache-compaction-technique-cuts-llm-memory-50x-witho...
1
•
mellosouls
•
9m ago
•
0 comments
Building a TB-303 from Scratch
https://loopmaster.xyz/tutorials/tb303-from-scratch
1
•
stagas
•
9m ago
•
0 comments
Show HN: OpenGrammar Open-source, self-hostable Grammarly alternative
https://swadhinbiswas.github.io/opengrammar/
1
•
0x0003r
•
12m ago
•
0 comments
Show HN: Open-Sable, Self-hosted cognitive AI agent with memory and 127 tools
https://github.com/IdeoaLabs/Open-Sable
1
•
aerosol
•
12m ago
•
0 comments
Calif. lawsuit accuses Meta of sending nude video from AI glasses to workers
https://www.sfgate.com/tech/article/meta-ai-glasses-lawsuit-21960004.php
2
•
c420
•
14m ago
•
0 comments
Show HN: BeyondComments – Find content ideas and signals from YouTube comments
https://beyondcomments.io
1
•
ProgrammerByDay
•
17m ago
•
0 comments
Show HN: Sajtanalys.se – Automated website analysis for Swedish businesses
https://sajtanalys.se
1
•
qvalitet
•
17m ago
•
0 comments
The Day NY Publishing Lost Its Soul
https://www.honest-broker.com/p/the-day-ny-publishing-lost-its-soul
1
•
wallflower
•
17m ago
•
0 comments
LLM Writing Tropes.md
https://tropes.fyi/tropes-md
1
•
walterbell
•
19m ago
•
0 comments
Palmer Luckey's $1B pitch to reboot 1990s video game consoles
https://www.ft.com/content/77e330a5-8e59-4a36-b08b-c18010a2383b
2
•
hackerbeat
•
19m ago
•
1 comments
Show HN: MicroBin – Easy File Sharing for Everyone – Self-Hostable
https://my.microbin.eu/
1
•
dszb
•
20m ago
•
0 comments
SWE-CI: Evaluating Agent Capabilities in Maintaining Codebases via CI
https://arxiv.org/abs/2603.03823
1
•
stepri
•
23m ago
•
0 comments
I Failed an Interview. Fair or Not, I Built This Workbook
https://doap.metal.bohyen.space/blog/post/java-fintech-interview-workbook/
2
•
nanacnote
•
25m ago
•
1 comments
Sunflowers
https://napo.dev/sunflowers/
1
•
napolux
•
29m ago
•
0 comments
Senators Launch Effort Ban Elected Officials Profiting from Prediction Markets
https://www.merkley.senate.gov/merkley-klobuchar-launch-new-effort-to-ban-federal-elected-officia...
22
•
stopbulying
•
32m ago
•
4 comments
Show HN: ShareNova – Zero-knowledge file transfer with magic-byte scanning
2
•
HatemDabet
•
35m ago
•
0 comments
Show HN: Luna Agent – Custom AI agent in ~2300 lines of Python, no frameworks
https://nonatofabio.github.io/blog/post.html?slug=luna_agent
1
•
nonatofabio
•
38m ago
•
0 comments
Drink the Radioactive Gatorade (AI Pilled)
https://twitter.com/SparksZilla/status/2030336440987463837
1
•
rmason
•
38m ago
•
0 comments
Homo Ignorans: Deliberately Choosing Not to Know
https://pubmed.ncbi.nlm.nih.gov/27217249/
4
•
Jimmc414
•
39m ago
•
2 comments
The False Flag of Viewpoint Diversity
https://www.chronicle.com/article/the-false-flag-of-viewpoint-diversity
1
•
mmooss
•
39m ago
•
0 comments
Prompt Guidance for GPT-5.4
https://developers.openai.com/api/docs/guides/prompt-guidance/
2
•
andromaton
•
39m ago
•
1 comments
Astronomers are capturing video of a black hole for the first time
https://www.cbc.ca/lite/story/9.7117478
1
•
colinprince
•
40m ago
•
0 comments
Do developers even give feedback?
2
•
xerrs
•
43m ago
•
2 comments
CasNum
https://github.com/0x0mer/CasNum
37
•
aebtebeten
•
44m ago
•
8 comments
Lunch with Lord Mancroft
https://www.ft.com/content/ab4d34b3-b73a-48a6-8654-6792c9c39d20
1
•
theopsimist
•
45m ago
•
0 comments
Show HN: Meshcraft – Text-to-3D and image-to-3D with selectable AI engines
https://meshcraft.xyz
1
•
otmardev
•
46m ago
•
0 comments
Load More
fs123•1h ago
Also note the 'Over and out' section.