pull down to refresh

Who Can Understand the Proof? A Window on Formalized Mathematicswritings.stephenwolfram.com/2025/01/who-can-understand-the-proof-a-window-on-formalized-mathematics/
13 sats \ 0 comments \ @hn 10 Jan tech
related
The Centrality of Stupidity in Mathematicsmathforlove.com/2024/09/the-centrality-of-stupidity-in-mathematics/
121 sats \ 1 comment \ @hn 17 Sep 2024 tech
Machine-Assisted Proof by Terence Tao [pdf]www.ams.org/notices/202501/rnoti-p6.pdf
172 sats \ 0 comments \ @hn 28 Dec 2024 tech
Formal Methods: Just Good Engineering Practice? (2024)brooker.co.za/blog/2024/04/17/formal
13 sats \ 0 comments \ @hn 10 Jan tech
Kalman Filter Tutorialwww.kalmanfilter.net/default.aspx
64 sats \ 0 comments \ @hn 18 Jan tech
Introducing the African Online Bitcoin Retail Initiative - Africa Free Routingfreerouting.africa/african-online-retail-bitcoin-initiative/
42 sats \ 0 comments \ @hasherstacker 12 Jun 2024 bitcoin freebie
Sunset Geometry (2016)www.shapeoperator.com/2016/12/12/sunset-geometry/
24 sats \ 0 comments \ @hn 15 Mar tech
Terence Tao: creative strategies, this aspect of LLM tools is still weakmathstodon.xyz/@tao/113142753409304792
31 sats \ 0 comments \ @hn 15 Sep 2024 tech
Shardines: SQLite3 Database-per-Tenant with ActiveRecordblog.julik.nl/2025/04/a-can-of-shardines
49 sats \ 0 comments \ @hn 27 Apr tech
In Memoriam – OnlineSafetyAct.co.ukonlinesafetyact.co.uk/in_memoriam/
46 sats \ 0 comments \ @hn 23 Feb tech
Perfectionism – one of the biggest productivity killers in the eng industrynewsletter.eng-leadership.com/p/perfectionism-one-of-the-biggest
10 sats \ 0 comments \ @hn 28 Jul 2024 tech
Escaping the Chrome Sandbox Through DevToolsading.dev/blog/posts/chrome_sandbox_escape.html
109 sats \ 0 comments \ @hn 17 Oct 2024 tech
Kimi K1.5: Scaling Reinforcement Learning with LLMsgithub.com/MoonshotAI/Kimi-k1.5
14 sats \ 0 comments \ @hn 21 Jan tech
The essays of Michel de Montaigne onlinehyperessays.net/
79 sats \ 0 comments \ @hn 22 Dec 2024 tech
Why I Chose Common Lispblog.djhaskin.com/blog/why-i-chose-common-lisp/
105 sats \ 0 comments \ @hn 12 Jan tech
Nanolog supports logging with 7 ns median latencygithub.com/PlatformLab/NanoLog
31 sats \ 0 comments \ @hn 23 Aug 2024 tech
Preserving a floppy disk with a logic analyzer and a serial cablewww.chzsoft.de/site/hardware/preserving-a-floppy-disk-with-a-logic-analyzer/
42 sats \ 0 comments \ @hn 6 Jul 2024 tech
Ghosts in the ROM (2012)www.nycresistor.com/2012/08/21/ghosts-in-the-rom/
21 sats \ 0 comments \ @hn 26 Jun 2024 tech
Fonts for Complex Datawww.typography.com/blog/fonts-for-complex-data
21 sats \ 0 comments \ @hn 13 Apr 2024 tech
OpenMPTCProuter: Aggregate and encrypt multiple internet connections using MPTCPwww.openmptcprouter.com/
11 sats \ 0 comments \ @hn 23 Nov 2024 tech
Peano arithmetic is enough, because Peano arithmetic encodes computationmath.stackexchange.com/a/5075056/6708
10 sats \ 0 comments \ @hn 14 Jun tech
The TikTok Case Will Be Determined by What's Behind the Government's Black Lineswww.lawfaremedia.org/article/the-tiktok-case-will-be-determined-by-what-s-behind-the-government-s-black-lines
10 sats \ 0 comments \ @hn 14 Aug 2024 tech