Compiler Design

Feeds to Scour
SubscribedAll
Scoured 120 posts in 7.5 ms

Paper: LLM Translation of Compiler Intermediate Representation

 🔗Language Interop
compilers.iecc.com·

#649, June 8th 2026

 🔍Static Analysis
llvmweekly.org·

Correct workflow for stage3 and stage 4 building, testing and debugging

 Formal Verification
ziggit.dev·

Create Your Own Programming Language with Rust

 Systems Programming

Compiling to Object code. · laharitenneti/Kaleidoscope@f229e86

 🧠Lisp Dialects  Content type: Code
github.com··DEV

From Fork-Join to Asynchronous Tasks: Parallelizing Tiled Cholesky Decomposition with OpenMP and HPX

 🧠Memory Models  Content type: Academic
arxiv.org·

LLVM/Clang Lands Initial Compiler Targeting For Hygon x86 CPUs

 Systems Programming
phoronix.com·

BOLT Security Engagement Complete!

 Formal Verification
ostif.org·

Recent LLVM hash table improvements

 Systems Programming  Content type: Blog
maskray.me··Hacker News, r/cpp

Extending LLVM's BOLT-based Binary Analyser to Validate Stack Variable Initialisation

 Systems Programming  Content type: Blog
blog.quarkslab.com·

Tobias Hieta: A Brief Overview of the LLVM Architecture

 Systems Programming  Content type: Video
youtu.be··r/cpp

Introducing Soteria: A New Generation of Static Analysis for Rust

 Systems Programming  Content type: Blog
soteria-tools.com··Hacker News

Particle: Chrome Sets New Mac Browser Speed Records

 🕸️WebAssembly  Content type: News
particle.news·

Centurion: Bring Your Own Execution Environment

 Systems Programming  Content type: Blog
praetorian.com·

Trust No Skill: Integrity Verification for AI Agent Supply Chains

 💻programming languages  Content type: Blog

Why the LLVM Debugger Has Already Won — And What GDB Developers Won’t Tell You

 Systems Programming

a topos-oriented language with a content-addressed lattice heap

 💻programming languages
yon-lang.org··Hacker News

Infinite precision intermediate arithmetic: how much would break?

 🔧Functional Programming

Introducing Piper: A Programmable Distributed Training System

 Systems Programming  Content type: Academic  Content type: Blog

Is this compiler bug in Zig or LLVM?

 Formal Verification  Content type: Discussion
ziggit.dev·

Keyboard Shortcuts

Navigation

Next / previous item
j/k
Open post
oorEnter
Preview post
v

Post Actions

Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Save / unsave
s

Recommendations

Add interest / feed
Enter
Not interested
x

Go to

Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/

General

Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help