Caffeine? (ETCS)
domofutu.substack.com·12h·
Discuss: Substack
🏔️climbing
Dead Zone Dragging
steveruiz.me·1d·
Discuss: Hacker News
✓Automated Theorem Proving
NPM Fund
gojiberries.io·1d·
Discuss: Hacker News
🍎XNU Internals
When .999… Isn’t 1
mathenchant.wordpress.com·3d·
Discuss: Hacker News
🏹Effect Systems
Ruby 3.4.5 Released
ruby-lang.org·1d·
Discuss: Hacker News
❄️Nixified Development
Silence Is a Commons by Ivan Illich (1983)
davidtinapple.com·1d·
Discuss: Hacker News
🔬Unikernels
Making a short film with AI – harder than I thought
pranshum.com·1d·
Discuss: Hacker News
🎮Verification Games
AI Agents Outnumber Humans 17:1 in the New Identity Crisis Era
syntheticauth.ai·2d·
Discuss: Hacker News
🎮Verification Games
The Problem of Hidden Dependencies
marcelsud.me·5d·
Discuss: Hacker News
👁️System Observability
Super Performance
cpj.fyi·1d·
Discuss: Hacker News
🔄Reproducible Builds
Building GoReleaser: from shell script to paid product
carlosbecker.com·1d·
Discuss: Hacker News
❄️Nixified Development
Power to the people: How Snapdragon's smartphone DNA is disrupting the PC market
theregister.com·2d·
Discuss: Hacker News
⚙️Operating System Design
Contrastive-KAN: A Semi-Supervised Intrusion Detection Framework for Cybersecurity with scarce Labeled Data
arxiv.org·4d
➡️Category Theory
Core Programming Logic: A JS logic library with snippets + markdown docs
github.com·6d·
Discuss: r/javascript, r/programming
✓Automated Theorem Proving
Intra-view and Inter-view Correlation Guided Multi-view Novel Class Discovery
arxiv.org·3d
➡️Category Theory
Build an AI Agent Web App with String and Lovable
pipedream.com·1d·
Discuss: Hacker News
✓Automated Theorem Proving
Request to OpenAI from GPT they power
news.ycombinator.com·15h·
Discuss: Hacker News
💾Retro Computing
Proof-theoretic Semantics for First-order Logic
arxiv.org·2d
➡️Category Theory
Show HN: Ggc – A terminal-based Git CLI written in Go
github.com·4d·
Discuss: Hacker News
✓Automated Theorem Proving
COLIBRI Fuzzy Model: Color Linguistic-Based Representation and Interpretation
arxiv.org·4d
🔠Type-Level Programming