"Why don't you use dependent types?"
2025-11-02 hackernews Hacker News
Laptops adorned with creative stickers
2025-11-02 hackernews Hacker News
Matched Clean Power Index
2025-11-02 hackernews Hacker News
Tongyi DeepResearch – open-source 30B MoE Model that rivals OpenAI DeepResearch
2025-11-02 hackernews Hacker News
Mock – An API creation and testing utility: Examples
2025-11-02 hackernews Hacker News
URLs are state containers
2025-11-02 hackernews Hacker News
Using FreeBSD to make self-hosting fun again
2025-11-02 hackernews Hacker News
Notes by djb on using Fil-C (2025)
2025-11-02 hackernews Hacker News
Backpropagation is a leaky abstraction (2016)
2025-11-02 hackernews Hacker News
You Don't Need Anubis
2025-11-02 hackernews Hacker News
Crossfire: High-performance lockless spsc/mpsc/mpmc channels for Rust
2025-11-02 hackernews Hacker News
Policy, privacy and post-quantum: anonymous credentials for everyone
2025-11-02 hackernews Hacker News
Why "Everyone Dies" Gets AGI All Wrong
2025-11-02 hackernews Hacker News
How I use every Claude Code feature
2025-11-02 hackernews Hacker News
Pomelli
2025-11-01 hackernews Hacker News
Pomelli
2025-11-01 hackernews Hacker News
OS maintained by a single developer since 1997: Visopsys
2025-11-01 hackernews Hacker News
I Fell in Love with Erlang
2025-11-01 hackernews Hacker News
Think Weirder: The Year's Best SciFi Ideas
2025-11-01 hackernews Hacker News
Beginner-friendly, unofficial documentation for Helix text editor
2025-11-01 hackernews Hacker News
Claude Code Can Debug Low-Level Cryptography
2025-11-01 hackernews Hacker News
Show HN: Why write code if the LLM can just do the thing? (web app experiment)
2025-11-01 hackernews Hacker News
Chat Control proposal fails again after public opposition
2025-11-01 hackernews Hacker News
WebAssembly (WASM) arch support for the Linux kernel
2025-11-01 hackernews Hacker News
GHC now runs in the browser
2025-11-01 hackernews Hacker News
Updated practice for review articles and position papers in ArXiv CS category
2025-11-01 hackernews Hacker News
SQLite concurrency and why you should care about it
2025-11-01 hackernews Hacker News
Abandonware of the web: do you know that there is an HTML tables API?
2025-11-01 hackernews Hacker News
Hard Rust requirements from May onward for all Debian ports
2025-11-01 hackernews Hacker News
Intent to Deprecate and Remove: Deprecate and Remove XSLT
2025-11-01 hackernews Hacker News