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
Writing software: robustness vs being exact
1789 sats \ 3 comments \ @zuspotirko 31 May 2024 devs
Back to BASIC-the Most Consequential Programming Language in Historyarchive.is/KnJiF
1282 sats \ 9 comments \ @StillStackinAfterAllTheseYears 31 Aug 2024 tech
The Mediocre Software Trap
1504 sats \ 3 comments \ @kilianbuhn 11 Mar 2023 bitcoin
The Last Programmerswww.xipu.li/posts/the-last-programmers
422 sats \ 1 comment \ @supratic 12 Sep AI
The BASIC Programming Language Turns 60
505 sats \ 14 comments \ @0xbitcoiner 2 May 2024 devs
Introduction to ~security#355419
237 sats \ 0 comments \ @ek 18 Dec 2023 security
My Journey into Personal Computer Software Development in 1983farrs.substack.com/p/my-journey-into-personal-computer
242 sats \ 0 comments \ @nym 20 Apr 2024 tech
guide to hacking and opsec, from a former blackhat hackercybercrime.sbs/posts/guide-to-hacking-and-opsec.html
466 sats \ 4 comments \ @mo 29 Aug 2024 DIY
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
Software’s Death by AI Has Been Greatly Exaggeratedwww.wsj.com/finance/softwares-death-by-ai-has-been-greatly-exaggerated-b639c0cd?mod
246 sats \ 1 comment \ @Coinsreporter 27 Aug AI
Machine-Assisted Proof by Terence Tao [pdf]www.ams.org/notices/202501/rnoti-p6.pdf
172 sats \ 0 comments \ @hn 28 Dec 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
OSINT: what’s the danger, and how to stay safeusa.kaspersky.com/blog/osint-open-source-intelligence/28827/
206 sats \ 0 comments \ @ek 9 Jan 2024 security
Why I Chose Common Lispblog.djhaskin.com/blog/why-i-chose-common-lisp/
105 sats \ 0 comments \ @hn 12 Jan tech
2023 ZBD x PlebLab TabConf: What I Learned Building a Misfit Hackerspace by Caryoutu.be/jX411kKyz4w
1766 sats \ 1 comment \ @Car 26 Sep 2023 bitcoin
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
Escaping the Chrome Sandbox Through DevToolsading.dev/blog/posts/chrome_sandbox_escape.html
109 sats \ 0 comments \ @hn 17 Oct 2024 tech
Conway's Game of Life, in checkboxes for some reasonhuth.me/checkbox-life/
51 sats \ 0 comments \ @hn 28 Jun 2024 tech
Amber - The Programming Language compiled to Bash.amber-lang.com/
215 sats \ 1 comment \ @kristapsk 22 May 2024 devs
The dawn of trustworthy computing By Nick Szabo unenumerated.blogspot.com/2014/12/the-dawn-of-trustworthy-computing.html
178 sats \ 0 comments \ @bataroot 2 Nov 2021 bitcoin
[Puzzle] Safe Code
165 sats \ 5 comments \ @0xbitcoiner 30 Oct 2024 science