Becoming a Compiler Engineer
rona.substack.com·3d·
Discuss: Substack
🧮Programming Language Theory
Flag this post
Self play and autocurricula in the age of agents
amplifypartners.com·3h·
Discuss: Hacker News
🧭SMT Solvers
Flag this post
Fil-C
graydon2.dreamwidth.org·5d·
🦀Rust
Flag this post
Managing short-lived tokens — a small open-source config-driven solution
reddit.com·12h·
Discuss: r/opensource
🤝Protocol Design
Flag this post
Handling Noisy Plaintext Checking Oracles with SPiRiT
eprint.iacr.org·5d
🤝Protocol Design
Flag this post
Velocity – GitHub Activity and Productivity Reports for GitHub Repos and Orgs
github.com·8h·
Discuss: Hacker News
👐Open Source Software
Flag this post
I made a NAS. Without the Hypervisor this time. With a RGB flair to it.
reddit.com·7h·
Discuss: r/homelab
🏗Computer Architecture
Flag this post
Sick of copy-pasting code into ChatGPT? I built PowerCat to do it for you—one PowerShell one-liner.
reddit.com·2d·
Discuss: r/opensource
📝Text Editors
Flag this post
Canonical's Secure Starlark in Go
github.com·3d·
Discuss: Hacker News
👐Open Source Software
Flag this post
Just published my first crate: stable_gen_map
reddit.com·2d·
Discuss: r/rust
🧠Memory Management
Flag this post
Need some help optimizing for an academic research use case
reddit.com·3d·
Discuss: r/homelab
🌍Distributed Systems
Flag this post
Attention and Compression is all you need for Controllably Efficient Language Models
arxiv.org·22h
🔗Parser Combinators
Flag this post
Cancer; A Crime Story (and other tales of optimization gone wrong)
lesswrong.com·3d
🧫Cellular Automata
Flag this post
🚀 The Solo Developer's Choice: Why I Migrated My Backend from Go to Elixir/Phoenix
dev.to·1d·
Discuss: DEV
🏗️Software Architecture
Flag this post
Truth Over Hype: A Builder’s Playbook for Credible Storytelling
dev.to·16h·
Discuss: DEV
🏗️Software Architecture
Flag this post
Understanding Lifetime Elision in Rust
dev.to·3d·
Discuss: DEV
🦀Rust
Flag this post
Hyper-Specific Sub-Field Selection: **Predictive Maintenance of Semiconductor Fabrication Equipment**
dev.to·3d·
Discuss: DEV
🎲Probabilistic Programming
Flag this post
What I learned building a language-learning app
chadnauseam.com·6h·
Discuss: Hacker News
🧩Theorem Proving
Flag this post
Resonance Field Modulation via Adaptive Multi-Modal Data Fusion for Enhanced Particle Trapping
dev.to·1d·
Discuss: DEV
🔐Cryptography
Flag this post
The Workflow of the Future Is Already Here (And It's Nothing Like You Think)
dev.to·2d·
Discuss: DEV
🧩Theorem Proving
Flag this post