Metaprogramming, Procedural Macros, Code Generation, Compile-time Computing

The Noise and the Signal
russmiles.substack.com·5h·
Discuss: Substack
👂Psychoacoustics
Flag this post
Machine Scheduler in LLVM – Part II
myhsu.xyz·2d·
⚙️RISC-V Microcode
Flag this post
Speeding up JavaScript test time 1000x
kevin.burke.dev·20h·
Discuss: Hacker News
🔍Concolic Testing
Flag this post
LLM-Driven Cost-Effective Requirements Change Impact Analysis
arxiv.org·5h
🔄Language Evolution
Flag this post
ShadowLogic: Backdoors in Any Whitebox LLM
arxiv.org·5h
🛡️WASM Sandboxing
Flag this post
Show HN: Fast-posit, sw implementation of posit arithmetic in Rust
github.com·4d·
Discuss: Hacker News
🦀Rust Verification
Flag this post
Smaller Surfaces
nrempel.com·2d·
Discuss: Hacker News
📏Code Metrics
Flag this post
Show HN: Claude Code disrupted programming. Bringing that power to office worker
blog.gbase.ai·23h·
Discuss: Hacker News
🤖Archive Automation
Flag this post
Probing Knowledge Holes in Unlearned LLMs
arxiv.org·5h
🧪Binary Fuzzing
Flag this post
Reflections on Trusting Trust (1984)
web.archive.org·1d·
Discuss: Hacker News
📜Proof Carrying Code
Flag this post
Meta-Author's Notes: Codie's Cognitive Chronicles
dev.to·12h·
Discuss: DEV
🧲RISC-V Archaeology
Flag this post
I built an faster Notion in Rust
imedadel.com·6d·
🦀Rust Borrowing
Flag this post
Speech-DRAME: A Framework for Human-Aligned Benchmarks in Speech Role-Play
arxiv.org·5h
🎙️Whisper
Flag this post
MedRECT: A Medical Reasoning Benchmark for Error Correction in Clinical Texts
arxiv.org·5h
Format Verification
Flag this post
SciTextures: Collecting and Connecting Visual Patterns, Models, and Code Across Science and Art
arxiv.org·5h
📐Mathematical Art
Flag this post
Scalable Static Analysis Framework – hardening large C++ codebases (LLVM/Apple)
discourse.llvm.org·5d·
Discuss: Hacker News
📊Static Analysis
Flag this post
Vibecoding my way to a crit on GitHub
furbreeze.github.io·2d·
Discuss: Hacker News
❄️Nix Flakes
Flag this post
🛡️ Fortify - AI-Powered Security Analysis Platform
dev.to·16h·
Discuss: DEV
Proof Automation
Flag this post
An Empirical Investigation of the Experiences of Dyslexic Software Engineers
arxiv.org·5h
🔤DSLs
Flag this post
Getting Started with Claude Code (Super Easy!)
dev.to·19h·
Discuss: DEV
👑Isabelle
Flag this post