pull down to refresh

Formal Reasoning [pdf] | Hacker Newsnews.ycombinator.com/item?id=45711062
210 sats \ 3 comments \ @beyond_turbulence 26 Oct 2025 science
related
What a Programmer Does (1967) [pdf] | Hacker Newsnews.ycombinator.com/item?id=46572089
250 sats \ 2 comments \ @beyond_turbulence 16 Jan bitdevs
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
Cybersecurity looks like proof of work now | Hacker Newsnews.ycombinator.com/item?id=47769089
658 sats \ 1 comment \ @beyond_turbulence 15 Apr AI privacy
A shallow dive into formal verification - Vitalik Buterinvitalik.eth.limo/general/2026/05/18/fv.html
1194 sats \ 1 comment \ @Scoresby 28 May math bitcoin
Olympiad-level formal mathematical reasoning with reinforcement learningwww.nature.com/articles/s41586-025-09833-y
205 sats \ 2 comments \ @0xbitcoiner 20 Nov 2025 AI
I Built a Lisp for AI Agents | Hacker Newsnews.ycombinator.com/item?id=47531058
647 sats \ 2 comments \ @beyond_turbulence 6 Apr AI
Why Engineers Can't Be Rational About Programming Languages | Hacker Newsnews.ycombinator.com/item?id=45801416
211 sats \ 4 comments \ @beyond_turbulence 3 Nov 2025 tech
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
Dijkstra's Crisis: End of Algol, Beginning of Software Engineering | Hacker Newsnews.ycombinator.com/item?id=47305957
318 sats \ 4 comments \ @beyond_turbulence 13 Mar science Education BooksAndArticles devs ideasfromtheedge
How the Greatest Hacker Manipulated Everyoneyoutu.be/aLUDhbQojxA?si=_DxItJ3aLBM7ZnCc
756 sats \ 7 comments \ @Car 27 May 2024 security
How hackers reverse Math.random()www.youtube.com/watch?v=XDsYPXRCXAs
816 sats \ 4 comments \ @justin_shocknet 28 May devs
Geometric Algebra of Intention: A Formal Framework for Truth-Preservationbeyondturbulence.blogspot.com/2025/11/geometric-algebra-of-intention-formal.html?m=1
1000 sats \ 2 comments \ @beyond_turbulence 26 Nov 2025 Education
Hacker News: Honest Editiondosaygo-studio.github.io/hn-front-page-2035/news-honest.html
588 sats \ 3 comments \ @jimmysong 19 Dec 2025 meta
Let's Not Encrypt | Hacker Newsnews.ycombinator.com/item?id=45579968
676 sats \ 0 comments \ @standardcrypto 14 Oct 2025 security
Mastering Bitcoin: Programming the Open Blockchain PDFunglueit-files.s3.amazonaws.com/ebf/05db7df4f31840f0a873d6ea14dcc28d.pdf
468 sats \ 0 comments \ @sharingpiracy 9 Oct 2023 bitcoin
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
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
Hands On: The Hacker Pagerhackaday.com/2025/07/31/hands-on-the-hacker-pager/
262 sats \ 3 comments \ @RDClark 1 Aug 2025 DIY
The Theory of Interstellar Trade [pdf] (1978) | Hacker Newsnews.ycombinator.com/item?id=47837105
450 sats \ 2 comments \ @beyond_turbulence 20 Apr AI tech aliens_and_UFOs econ
Satsraiser: make the Stacker News community a sponsor of BTC++ Berlin hackathon
1.9m sats \ 59 comments \ @k00b 27 Sep 2023 bitcoin