pull down to refresh

The search for easier safe systems programmingwww.sophiajt.com/search-for-easier-safe-systems-programming/
137 sats \ 0 comments \ @hn 8 May 2024 tech
related
OpenMPTCProuter: Aggregate and encrypt multiple internet connections using MPTCPwww.openmptcprouter.com/
11 sats \ 0 comments \ @hn 23 Nov 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
Matters Computational Ideas, Algorithms, Source Code – Jorg Arndt [pdf]www.jjj.de/fxt/fxtbook.pdf
85 sats \ 0 comments \ @hn 7 Mar 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
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
Sunset Geometry (2016)www.shapeoperator.com/2016/12/12/sunset-geometry/
24 sats \ 0 comments \ @hn 15 Mar 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
Why I Chose Common Lispblog.djhaskin.com/blog/why-i-chose-common-lisp/
105 sats \ 0 comments \ @hn 12 Jan tech
Computing with Time: Microarchitectural Weird Machinescacm.acm.org/research-highlights/computing-with-time-microarchitectural-weird-machines/
11 sats \ 0 comments \ @hn 25 Nov 2024 tech
Kimi K1.5: Scaling Reinforcement Learning with LLMsgithub.com/MoonshotAI/Kimi-k1.5
14 sats \ 0 comments \ @hn 21 Jan tech
Show HN: Rill – Composable concurrency toolkit for Gogithub.com/destel/rill
11 sats \ 0 comments \ @hn 25 Nov 2024 tech
Measuring Acceleration Structureszeux.io/2025/03/31/measuring-acceleration-structures/
10 sats \ 0 comments \ @hn 2 Apr tech
Peano arithmetic is enough, because Peano arithmetic encodes computationmath.stackexchange.com/a/5075056/6708
10 sats \ 0 comments \ @hn 14 Jun 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
Conway's Game of Life, in checkboxes for some reasonhuth.me/checkbox-life/
51 sats \ 0 comments \ @hn 28 Jun 2024 tech
How a 64k intro is made (2017)www.lofibucket.com/articles/64k_intro.html
10 sats \ 0 comments \ @hn 20 May 2024 tech
Memory Safe Languages: Reducing Vulnerabilities in Modern Software Developmentmedia.defense.gov/2025/Jun/23/2003742198/-1/-1/0/CSI_MEMORY_SAFE_LANGUAGES_REDUCING_VULNERABILITIES_IN_MODERN_SOFTWARE_DEVELOPMENT.PDF
156 sats \ 1 comment \ @carter 7 Jul security
Retrofitting spatial safety to hundreds of millions of lines of C++security.googleblog.com/2024/11/retrofitting-spatial-safety-to-hundreds.html
21 sats \ 0 comments \ @ch0k1 16 Nov 2024 devs
Writing software: robustness vs being exact
1789 sats \ 3 comments \ @zuspotirko 31 May 2024 devs
Mcbroken: a Programming Experimentx.com/rashiq/status/1319346264992026624
50 sats \ 2 comments \ @deSign_r 31 Aug Design
How to Design Programs - Book First Edition Available Online ||||| The MIT Presshtdp.org
57 sats \ 0 comments \ @deSign_r 21 Jun Design