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
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
OpenMPTCProuter: Aggregate and encrypt multiple internet connections using MPTCPwww.openmptcprouter.com/
11 sats \ 0 comments \ @hn 23 Nov 2024 tech
Diátaxis – A systematic approach to technical documentation authoringdiataxis.fr/
17 sats \ 0 comments \ @hn 5 Dec 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
Atari Means Business with the Mega STwww.goto10retro.com/p/atari-means-business-with-the-mega
57 sats \ 0 comments \ @hn 1 Jun 2025 tech
Ghosts in the ROM (2012)www.nycresistor.com/2012/08/21/ghosts-in-the-rom/
32 sats \ 0 comments \ @hn 26 Jun 2024 tech
Sunset Geometry (2016)www.shapeoperator.com/2016/12/12/sunset-geometry/
24 sats \ 0 comments \ @hn 15 Mar 2025 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
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
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
Kimi K1.5: Scaling Reinforcement Learning with LLMsgithub.com/MoonshotAI/Kimi-k1.5
14 sats \ 0 comments \ @hn 21 Jan 2025 tech
Show HN: Rill – Composable concurrency toolkit for Gogithub.com/destel/rill
11 sats \ 0 comments \ @hn 25 Nov 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
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
Optimizing a WebGPU Kernel to 1TFLOP of Performancezanussbaum.substack.com/p/optimizing-a-webgpu-matmul-kernel
21 sats \ 0 comments \ @hn 11 Nov 2024 tech
The Dark Side of the Moominswww.newstatesman.com/culture/books/2025/04/dark-side-of-the-moomins-tove-jansson
10 sats \ 0 comments \ @hn 13 Apr 2025 tech
Majorana, the search for the most elusive neutrino of allnewscenter.lbl.gov/2012/05/16/majorana-demonstrator/
337 sats \ 0 comments \ @hn 26 May 2024 tech
Hunt for Red October 1990 (2016)www.modelshipsinthecinema.com/2016/12/hunt-for-red-october-1990.html
46 sats \ 0 comments \ @hn 10 Apr 2025 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 2025 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 Historyarchive.is/KnJiF
1282 sats \ 9 comments \ @StillStackinAfterAllTheseYears 31 Aug 2024 tech