"Why don't you use dependent types?"
IT 2025-11-02

Laptops adorned with creative stickers
IT 2025-11-02

Matched Clean Power Index
IT 2025-11-02

Tongyi DeepResearch – open-source 30B MoE Model that rivals OpenAI DeepResearch
IT 2025-11-02

Mock – An API creation and testing utility: Examples
IT 2025-11-02

URLs are state containers
IT 2025-11-02

Using FreeBSD to make self-hosting fun again
IT 2025-11-02

Notes by djb on using Fil-C (2025)
IT 2025-11-02

Backpropagation is a leaky abstraction (2016)
IT 2025-11-02

You Don't Need Anubis
IT 2025-11-02

Crossfire: High-performance lockless spsc/mpsc/mpmc channels for Rust
IT 2025-11-02

Policy, privacy and post-quantum: anonymous credentials for everyone
IT 2025-11-02

Why "Everyone Dies" Gets AGI All Wrong
IT 2025-11-02

How I use every Claude Code feature
IT 2025-11-02

Pomelli
IT 2025-11-01

Pomelli
IT 2025-11-01

OS maintained by a single developer since 1997: Visopsys
IT 2025-11-01

I Fell in Love with Erlang
IT 2025-11-01

Think Weirder: The Year's Best SciFi Ideas
IT 2025-11-01

Beginner-friendly, unofficial documentation for Helix text editor
IT 2025-11-01

Claude Code Can Debug Low-Level Cryptography
IT 2025-11-01

Show HN: Why write code if the LLM can just do the thing? (web app experiment)
IT 2025-11-01

Chat Control proposal fails again after public opposition
IT 2025-11-01

WebAssembly (WASM) arch support for the Linux kernel
IT 2025-11-01

GHC now runs in the browser
IT 2025-11-01

Updated practice for review articles and position papers in ArXiv CS category
IT 2025-11-01

SQLite concurrency and why you should care about it
IT 2025-11-01

Abandonware of the web: do you know that there is an HTML tables API?
IT 2025-11-01

Hard Rust requirements from May onward for all Debian ports
IT 2025-11-01

Intent to Deprecate and Remove: Deprecate and Remove XSLT
IT 2025-11-01