news
"Why don't you use dependent types?"
40 pointsposted an hour ago
by baruchelTongyi DeepResearch – open-source 30B MoE Model that rivals OpenAI DeepResearch
82 pointsposted 5 hours ago
by meander_waterAutodesk's John Walker Explained HP and IBM in 1991
30 pointsposted 4 days ago
by suioirMock – An API creation and testing utility: Examples
74 pointsposted 5 hours ago
by dhuan_Backpropagation is a leaky abstraction (2016)
224 pointsposted 11 hours ago
by swatson741Notes by djb on using Fil-C (2025)
170 pointsposted 11 hours ago
by transputeGo Primitive in Java, or Go in a Box
38 pointsposted 8 days ago
by ingveVisopsys: OS maintained by a single developer since 1997
405 pointsposted 18 hours ago
by komeHyperRogue – A non-Euclidean roguelike
83 pointsposted 5 hours ago
by staredWriting FreeDOS Programs in C
6 pointsposted 3 hours ago
by AlexeyBrinWelcome to hell; please drive carefully
51 pointsposted 6 days ago
by 2earthClaude Code can debug low-level cryptography
387 pointsposted a day ago
by BogdanpA man who changes the time on Big Ben
8 pointsposted 7 days ago
by simmerupHow I use every Claude Code feature
367 pointsposted 16 hours ago
by sshh12Updated practice for review articles and position papers in ArXiv CS category
470 pointsposted a day ago
by dw64LM8560, the eternal chip from the 1980 years
86 pointsposted 12 hours ago
by userbinatorGHC now runs in the browser
331 pointsposted a day ago
by kaycebasquesAutomatically Translating C to Rust
86 pointsposted 9 days ago
by FromTheArchivesWhen O3 is 2x slower than O2
67 pointsposted 5 days ago
by keyleShow HN: Why write code if the LLM can just do the thing? (web app experiment)
379 pointsposted a day ago
by samrolkenSQLite concurrency and why you should care about it
329 pointsposted a day ago
by HunOLCrossfire: High-performance lockless spsc/mpsc/mpmc channels for Rust
81 pointsposted 13 hours ago
by 0x1997Anonymous credentials: rate-limit bots and agents without compromising privacy
85 pointsposted 16 hours ago
by eleyeBeginner-friendly, unofficial documentation for Helix text editor
183 pointsposted 21 hours ago
by CuriositryX.org Security Advisory: multiple security issues X.Org X server and Xwayland
8 pointsposted 3 hours ago
by birdculture