Roadmap for Improving the Type Checker
forums.swift.org·1d·
Discuss: Lobsters, Hacker News
📐Type Theory
Flag this post
Fungus: The Befunge CPU(2015)
bedroomlan.org·4h·
Discuss: Hacker News
⚡Zig
Flag this post
This Week in Security: Vibecoding, Router Banning, and Remote Dynamic Dependencies
hackaday.com·9h
🔍eBPF
Flag this post
"Our research is greatly sped up by AI but AI still needs us"
twitter.com·5h·
Discuss: Hacker News
🤖ai
Flag this post
Side project advice
nedbatchelder.com·1d
❄️Nix
Flag this post
Show HN: Everything it took to run an LLM at 10k tok/s on H200s
relace.ai·2d·
Discuss: Hacker News
🚀JIT Compilation
Flag this post
Nim 2.2.6
nim-lang.org·15h·
Discuss: Hacker News
⚡Zig
Flag this post
How to Use Zorn's Lemma
gowers.wordpress.com·5d·
Discuss: Hacker News
📐Type Theory
Flag this post
Oracle has adopted BOOLEAN in 23ai and PostgreSQL had it forever
hexacluster.ai·2d·
Discuss: Hacker News
💾Databases
Flag this post
Show HN: Front End Fuzzy and Substring and Prefix Search
github.com·2d·
Discuss: Hacker News
💾Databases
Flag this post
Fil-C: A memory-safe C implementation
lwn.net·3d·
Discuss: Hacker News
⚡Zig
Flag this post
Apple Plans To Open-Source An LLVM Tool To Security Harden Large C++ Codebases
phoronix.com·2d·
Discuss: Hacker News, Hacker News
⚡Zig
Flag this post
The ear does not do a Fourier transform
dissonances.blog·1d·
Discuss: Hacker News
🤖ai
Flag this post
Emergent Introspective Awareness in Large Language Models
transformer-circuits.pub·2d·
Discuss: Hacker News, r/LocalLLaMA
🤖ai
Flag this post
The Green Tea Garbage Collector
go.dev·3d·
Discuss: Lobsters, Hacker News, r/golang
⚡Zero-Copy
Flag this post
Immutable releases are now generally available on GitHub
github.blog·15h·
Discuss: Hacker News
❄️Nix
Flag this post
Introducing SWE-1.5: Our Fast Agent Model
simonwillison.net·2d
🔄Concurrency
Flag this post
Reasoning Models Reason Well, Until They Don't
arxiv.org·4d·
Discuss: Hacker News
✅Formal Methods
Flag this post
Perfetto: Swiss Army Knife for Linux Client Tracing
lalitm.com·22h·
Discuss: Lobsters, Hacker News, r/linux
🔄Concurrency
Flag this post
AI scrapers request commented scripts
cryptography.dog·13h·
Discuss: Lobsters, Hacker News
🤖ai
Flag this post