@anon
sign up
@anon
sign up
pull down to refresh
The search for easier safe systems programming
www.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 MPTCP
www.openmptcprouter.com/
11 sats
\
0 comments
\
@hn
23 Nov 2024
tech
Escaping the Chrome Sandbox Through DevTools
ading.dev/blog/posts/chrome_sandbox_escape.html
109 sats
\
0 comments
\
@hn
17 Oct 2024
tech
Shardines: SQLite3 Database-per-Tenant with ActiveRecord
blog.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 Lisp
blog.djhaskin.com/blog/why-i-chose-common-lisp/
105 sats
\
0 comments
\
@hn
12 Jan
tech
Computing with Time: Microarchitectural Weird Machines
cacm.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 LLMs
github.com/MoonshotAI/Kimi-k1.5
14 sats
\
0 comments
\
@hn
21 Jan
tech
Show HN: Rill – Composable concurrency toolkit for Go
github.com/destel/rill
11 sats
\
0 comments
\
@hn
25 Nov 2024
tech
Measuring Acceleration Structures
zeux.io/2025/03/31/measuring-acceleration-structures/
10 sats
\
0 comments
\
@hn
2 Apr
tech
Peano arithmetic is enough, because Peano arithmetic encodes computation
math.stackexchange.com/a/5075056/6708
10 sats
\
0 comments
\
@hn
14 Jun
tech
Preserving a floppy disk with a logic analyzer and a serial cable
www.chzsoft.de/site/hardware/preserving-a-floppy-disk-with-a-logic-analyzer/
42 sats
\
0 comments
\
@hn
6 Jul 2024
tech
Memory Safe Languages: Reducing Vulnerabilities in Modern Software Development
media.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
Back to BASIC-the Most Consequential Programming Language in History
archive.is/KnJiF
1282 sats
\
9 comments
\
@StillStackinAfterAllTheseYears
31 Aug 2024
tech
SafeCurves: Introduction
safecurves.cr.yp.to
45 sats
\
0 comments
\
@RideandSmile
29 Oct 2023
bitcoin
Writing software: robustness vs being exact
1789 sats
\
3 comments
\
@zuspotirko
31 May 2024
devs
Mcbroken: a Programming Experiment
x.com/rashiq/status/1319346264992026624
50 sats
\
2 comments
\
@deSign_r
31 Aug
Design
more