🔨 LLVM

IR, Code Generation, Optimization Passes, Toolchain

Fwupd 2.0.17 Brings Post-Quantum Signatures and Phased Updates
linuxiac.com·3h
🐧Linux Kernel
Flag this post
Which AI Model Should You Use for Coding?
artiforge.ai·9h·
Discuss: r/webdev
🎭Program Synthesis
Flag this post
I built a small ARM-like virtual system with a custom RTOS and C/C++ toolchain (BEEP-8)
reddit.com·2d·
Discuss: r/embedded
🖥️Emulation
Flag this post
Cure - Verification-First Programming for the BEAM
cure-lang.org·2d·
Discuss: Lobsters
📐TLA+
Flag this post
Flatpak Happenings
blog.sebastianwick.net·7h·
Discuss: Hacker News, r/linux
📄FlatBuffers
Flag this post
Photonic implementation of quantum hidden subgroup database compression
arxiv.org·14h
⚛️Quantum Computing
Flag this post
Show HN: Code tours and feedback with your Agent in VSCode – local and cloudless
intraview.ai·1h·
Discuss: Hacker News
🎨Design Systems
Flag this post
Disciplined Biconvex Programming
arxiv.org·1d
📊Dynamic Programming
Flag this post
Position: Vibe Coding Needs Vibe Reasoning: Improving Vibe Coding with Formal Verification
arxiv.org·1d
✓Formal Verification
Flag this post
Automated Cost-Benefit Analysis for Synthetic Biology Gene Synthesis Services
dev.to·2h·
Discuss: DEV
🎭Program Synthesis
Flag this post
Cj: a tiny no-deps JIT in C for x86-64 and ARM64
reddit.com·40m·
Discuss: r/programming
⚙️JIT Compilation
Flag this post
Decreasing code editing failures by 38% with output normalization
blog.sweep.dev·1d·
Discuss: Hacker News
📦Serde
Flag this post
Linkers: A 20 Part Series
airs.com·1d·
Discuss: Hacker News
🔨Incremental Compilation
Flag this post
SAIL-RL: Guiding MLLMs in When and How to Think via Dual-Reward RL Tuning
arxiv.org·14h
💬Prompt Engineering
Flag this post
My First Multi-GPU Kernel: Writing All-to-All for AMD MI300X
gau-nernst.github.io·2d·
Discuss: Hacker News
⚡Hardware Acceleration
Flag this post
Windsurf Codemaps: Understand Code, Before You Vibe It
cognition.ai·1d·
Discuss: Hacker News, Hacker News
🎭Program Synthesis
Flag this post
Decoding Kiroween
dev.to·1d·
Discuss: DEV
🦀Rust
Flag this post
Rust Testing Framework: Build Reliable Code with Built-In Unit and Integration Tests
dev.to·1d·
Discuss: DEV
🦀Rust
Flag this post
Choosing the best AI coding agent for Bitrise
bitrise.io·22h·
Discuss: Hacker News
🎭Program Synthesis
Flag this post
Cons Should Not Cons Its Arguments, Part II: Cheney on the MTA
web.archive.org·2d·
Discuss: Hacker News
λFunctional Programming
Flag this post