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 2025 tech
related
Formal Methods: Just Good Engineering Practice? (2024)brooker.co.za/blog/2024/04/17/formal
13 sats \ 0 comments \ @hn 10 Jan 2025 tech
Kalman Filter Tutorialwww.kalmanfilter.net/default.aspx
64 sats \ 0 comments \ @hn 18 Jan 2025 tech
Harbor ecash desktop wallet set to launch this monthharbor.cash/
196 sats \ 4 comments \ @k00b 5 Mar 2025 bitcoin
Diátaxis – A systematic approach to technical documentation authoringdiataxis.fr/
17 sats \ 0 comments \ @hn 5 Dec 2024 tech
Sunset Geometry (2016)www.shapeoperator.com/2016/12/12/sunset-geometry/
24 sats \ 0 comments \ @hn 15 Mar 2025 tech
3D-Printed Active Electronicsnews.mit.edu/2024/mit-team-takes-major-step-toward-fully-3d-printed-active-electronics-1015
14 sats \ 0 comments \ @hn 21 Oct 2024 tech
Oliver Heaviside and the theory of transmission lines (2021)www.pa3fwm.nl/technotes/tn28-heaviside-transmission-lines.html
270 sats \ 2 comments \ @hn 27 Jan 2025 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
Asking the Wrong Questionswww.ben-evans.com/benedictevans/2017/01/11/wrongquestions
404 sats \ 5 comments \ @hn 8 Sep 2024 tech
Matters Computational Ideas, Algorithms, Source Code – Jorg Arndt [pdf]www.jjj.de/fxt/fxtbook.pdf
85 sats \ 0 comments \ @hn 7 Mar 2025 tech
In Memoriam – OnlineSafetyAct.co.ukonlinesafetyact.co.uk/in_memoriam/
46 sats \ 0 comments \ @hn 23 Feb 2025 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
Rulers of the Ancient World: period correct measuring toolswww.burn-heart.com/rulers-of-the-ancient-world
143 sats \ 0 comments \ @hn 11 Jul 2024 tech
Kimi K1.5: Scaling Reinforcement Learning with LLMsgithub.com/MoonshotAI/Kimi-k1.5
14 sats \ 0 comments \ @hn 21 Jan 2025 tech
The essays of Michel de Montaigne onlinehyperessays.net/
79 sats \ 0 comments \ @hn 22 Dec 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
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
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
Computer Scientists Combine Two ‘Beautiful’ Proof Methodswww.quantamagazine.org/computer-scientists-combine-two-beautiful-proof-methods-20241004/
377 sats \ 0 comments \ @0xbitcoiner 6 Oct 2024 science
Stacking Triangles for Fun and Profitwww.oranlooney.com/post/angle-addition/
21 sats \ 0 comments \ @hn 11 Apr 2024 tech