pull down to refresh

Peano arithmetic is enough, because Peano arithmetic encodes computationmath.stackexchange.com/a/5075056/6708
10 sats \ 0 comments \ @hn 14 Jun tech
related
Machine-Assisted Proof by Terence Tao [pdf]www.ams.org/notices/202501/rnoti-p6.pdf
172 sats \ 0 comments \ @hn 28 Dec 2024 tech
OpenMPTCProuter: Aggregate and encrypt multiple internet connections using MPTCPwww.openmptcprouter.com/
11 sats \ 0 comments \ @hn 23 Nov 2024 tech
Sunset Geometry (2016)www.shapeoperator.com/2016/12/12/sunset-geometry/
24 sats \ 0 comments \ @hn 15 Mar tech
Kimi K1.5: Scaling Reinforcement Learning with LLMsgithub.com/MoonshotAI/Kimi-k1.5
14 sats \ 0 comments \ @hn 21 Jan tech
Escaping the Chrome Sandbox Through DevToolsading.dev/blog/posts/chrome_sandbox_escape.html
109 sats \ 0 comments \ @hn 17 Oct 2024 tech
Making memcpy(NULL, NULL, 0) well-defineddevelopers.redhat.com/articles/2024/12/11/making-memcpynull-null-0-well-defined
25 sats \ 0 comments \ @hn 11 Dec 2024 tech
Understanding Memory Management, Part 2: C++ and RAIIeducatedguesswork.org/posts/memory-management-2/
10 sats \ 0 comments \ @hn 9 Mar tech
Why I Chose Common Lispblog.djhaskin.com/blog/why-i-chose-common-lisp/
105 sats \ 0 comments \ @hn 12 Jan tech
Show HN: I made a git rebase TUI editorgithub.com/NyuB/ocli
117 sats \ 0 comments \ @hn 14 Oct 2024 tech
WireGuard Performance with a Pi Zero (2019)oct8l.gitlab.io/posts/2019/140/wireguard-performance-with-a-pi-zero/
140 sats \ 0 comments \ @hn 19 Oct 2024 tech
From Pegasus to Predator – The evolution of commercial spyware on iOS [video]media.ccc.de/v/38c3-from-pegasus-to-predator-the-evolution-of-commercial-spyware-on-ios
11 sats \ 0 comments \ @hn 30 Dec 2024 tech
Nanolog supports logging with 7 ns median latencygithub.com/PlatformLab/NanoLog
31 sats \ 0 comments \ @hn 23 Aug 2024 tech
Expanding Racks [video]www.youtube.com/watch?v=iWknov3Xpts
10 sats \ 1 comment \ @hn 12 Jun tech
The essays of Michel de Montaigne onlinehyperessays.net/
79 sats \ 0 comments \ @hn 22 Dec 2024 tech
Tips on how to structure your home directory (2023)unixdigest.com/tutorials/tips-on-how-to-structure-your-home-directory.html
37 sats \ 0 comments \ @hn 19 Apr 2024 tech
Hill Space: Neural nets that do perfect arithmetic (to 10⁻¹⁶ precision)hillspace.justindujardin.com/
230 sats \ 0 comments \ @carter 14 Jul AI
Computation Is All Around Us, and You Can See It if You Try
242 sats \ 0 comments \ @0xbitcoiner 12 Jun 2024 science
Clever Concrete Computewww.raspberrypi.com/news/clever-concrete-compute/
684 sats \ 1 comment \ @0xbitcoiner 23 Jan Construction_and_Engineering
Non-computability of solutions of certain equations on digital computers (2022)arxiv.org/abs/2205.12626
31 sats \ 0 comments \ @hn 4 Aug 2024 tech
Mathematical poetry
644 sats \ 6 comments \ @StillStackinAfterAllTheseYears 23 May 2024 BooksAndArticles
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