pull down to refresh

Formal Reasoning [pdf] | Hacker Newsnews.ycombinator.com/item?id=45711062
210 sats \ 2 comments \ @beyond_turbulence 26 Oct 2025 science
related
What a Programmer Does (1967) [pdf] | Hacker Newsnews.ycombinator.com/item?id=46572089
250 sats \ 1 comment \ @beyond_turbulence 16 Jan bitdevs
Cybersecurity looks like proof of work now | Hacker Newsnews.ycombinator.com/item?id=47769089
658 sats \ 1 comment \ @beyond_turbulence 15 Apr AI privacy
LLMs don’t do formal reasoning - and that is a HUGE problemgarymarcus.substack.com/p/llms-dont-do-formal-reasoning-and
300 sats \ 0 comments \ @Rsync25 11 Oct 2024 tech
I Built a Lisp for AI Agents | Hacker Newsnews.ycombinator.com/item?id=47531058
647 sats \ 0 comments \ @beyond_turbulence 6 Apr AI
Olympiad-level formal mathematical reasoning with reinforcement learningwww.nature.com/articles/s41586-025-09833-y
205 sats \ 2 comments \ @0xbitcoiner 20 Nov 2025 AI
Mathematicians don't care about foundations (2022) | Hacker Newsnews.ycombinator.com/item?id=46338239
420 sats \ 1 comment \ @beyond_turbulence 20 Dec 2025 mostly_harmless
Why Engineers Can't Be Rational About Programming Languages | Hacker Newsnews.ycombinator.com/item?id=45801416
211 sats \ 2 comments \ @beyond_turbulence 3 Nov 2025 tech
Dijkstra's Crisis: End of Algol, Beginning of Software Engineering | Hacker Newsnews.ycombinator.com/item?id=47305957
298 sats \ 2 comments \ @beyond_turbulence 13 Mar science Education BooksAndArticles devs ideasfromtheedge
Russell O'Connor on formal verification and libsecp256k1brink.dev/blog/2025/08/07/eng-call-russell-oconnor-formal-verification/
2221 sats \ 1 comment \ @schmidty 7 Aug 2025 bitcoin
Hacking: The Art of Exploitation PDFgithub.com/imrk51/hacking-books/blob/master/Jon%20Erickson%20-%20Hacking%20Art%20of%20Exploitation.pdf
280 sats \ 0 comments \ @sharingpiracy 12 Oct 2023 bitcoin
How the Greatest Hacker Manipulated Everyoneyoutu.be/aLUDhbQojxA?si=_DxItJ3aLBM7ZnCc
756 sats \ 7 comments \ @Car 27 May 2024 security
Geometric Algebra of Intention: A Formal Framework for Truth-Preservationbeyondturbulence.blogspot.com/2025/11/geometric-algebra-of-intention-formal.html?m=1
1000 sats \ 1 comment \ @beyond_turbulence 26 Nov 2025 Education
RIP #14: A Formal Model of Posting Behavior on Stacker News
8136 sats \ 24 comments \ @SimpleStacker 2 Mar econ
Hacker News: Honest Editiondosaygo-studio.github.io/hn-front-page-2035/news-honest.html
588 sats \ 3 comments \ @jimmysong 19 Dec 2025 meta
Mastering Bitcoin: Programming the Open Blockchain PDFunglueit-files.s3.amazonaws.com/ebf/05db7df4f31840f0a873d6ea14dcc28d.pdf
468 sats \ 0 comments \ @sharingpiracy 9 Oct 2023 bitcoin
Let's Not Encrypt | Hacker Newsnews.ycombinator.com/item?id=45579968
676 sats \ 0 comments \ @standardcrypto 14 Oct 2025 security
Noun vs. Noun Phrase: Formal Isomorphism and Applied Mathematical Structuresbeyondturbulence.blogspot.com/2026/02/noun-vs-noun-phrase-formal-isomorphism.html?m=1
210 sats \ 2 comments \ @beyond_turbulence 9 Feb science
String Theory Inspires a Brilliant, Baffling New Math Proof | Hacker Newsnews.ycombinator.com/item?id=46245622
380 sats \ 2 comments \ @beyond_turbulence 12 Dec 2025 Design
Hackers Trick Users to Install Malware Via Weaponized PDFgbhackers.com/hackers-trick-users-to-install-malware-via-weaponized-pdf/
221 sats \ 0 comments \ @ch0k1 17 Mar 2024 security
Grant Application: Formal Verification of Bitcoin and Bitcoin Coredocs.google.com/forms/d/e/1FAIpQLSdjpUXkiTvTrldhS7bgdcZbenlOXimuVvz6MC23t2XS2C2ayQ/viewform
323 sats \ 1 comment \ @Scoresby 30 Jun 2025 bitcoin
RIP #15: A Formal Model of Post Effort and Learning on Stacker News
2503 sats \ 16 comments \ @SimpleStacker 12 Mar econ