Parser Design, Code Generation, Optimization, Language Design

A PERSONAL COMPUTING ENVIRONMENT THAT I CAN RELY ON?
logicgrimoire.wordpress.com·5d
🐚Bash Monads
Flag this post
We will WARC you: preserving access to published CD-ROMs at NLA
dpconline.org·2d
🔄Archival Workflows
Flag this post
Making Sense of Word Problems
kgmathminds.com·2d
🔬Lean
Flag this post
Async DNS with Mac OS Getaddrinfo_async_start and Rust Smol
fnordig.de·10h·
Discuss: Hacker News
🔒Linear Types
Flag this post
Why Nonparametric Models Deserve a Second Look
towardsdatascience.com·3d
🧠Machine Learning
Flag this post
Moonshot AI’s Kimi K2 Thinking sets new agentic reasoning records in open-source LLMs
the-decoder.com·1d
🧮SMT Solvers
Flag this post
Show HN: Seeking architect for planetary-scale coherence infrastructure
github.com·2d·
Discuss: Hacker News
🏠Homelab Archaeology
Flag this post
Modern motherboard features explained: Connectors, headers, ports, and chipsets decoded
tomshardware.com·6h
🖥️Modern Terminals
Flag this post
Friday 5 December 2025 - 11am
informatics.ed.ac.uk·3d
🧠Machine Learning
Flag this post
Unclonable Cryptography in Linear Quantum Memory
arxiv.org·1d
🔲Lattice Cryptography
Flag this post
Tech With Tim: 3 Unique Python Features You NEED To Know
dev.to·2d·
Discuss: DEV
🔗Concatenative Programming
Flag this post
Tech With Tim: I Let 3 AIs Compete to Build the Same App…
dev.to·2d·
Discuss: DEV
🌀Brotli Internals
Flag this post
Agentic World Modeling for 6G: Near-Real-Time Generative State-Space Reasoning
arxiv.org·3d
🧠Machine Learning
Flag this post
Tech With Tim: I Let 3 AIs Compete to Build the Same App…
dev.to·23h·
Discuss: DEV
Proof Automation
Flag this post
Tech With Tim: I Let 3 AIs Compete to Build the Same App…
dev.to·19h·
Discuss: DEV
🎯Performance Proofs
Flag this post
Opinions on Sliger CX4712 + SM X11SPi-TF?
reddit.com·2h·
Discuss: r/homelab
🏠HomeLab
Flag this post