PL Research

📜 PL Research

programming languages, PL research, language implementation, interpreter

Feeds to Scour
SubscribedAll
Scoured 153 posts in 12.3 ms

Compiling to Object code. · laharitenneti/Kaleidoscope@f229e86

 ⚙️Compilers  Content type: Code
github.com··DEV

Paper: LLM Translation of Compiler Intermediate Representation

 ⚙️Compilers
compilers.iecc.com·

Introducing Soteria: A New Generation of Static Analysis for Rust

 🔬Program Analysis  Content type: Blog
soteria-tools.com··Hacker News

Create Your Own Programming Language with Rust

 ⚙️Compilers
createlang.rs··Hacker News

Samuel Mimram — CSC_51051_EP -- Computational logic: from Artificial intelligence to Zero bugs

 λPLT
lix.polytechnique.fr·

#649, June 8th 2026

 ⚙️Compilers
llvmweekly.org·

Recent LLVM hash table improvements

 ⚙️Compilers  Content type: Blog
maskray.me··Hacker News, r/cpp

uiCA: Accurate Throughput Prediction of Basic Blocks on Recent Intel Microarchitectures

 ⚙️Compilers  Content type: Academic
arxiv.org··Hacker News

BOLT Security Engagement Complete!

 ⚙️Compilers
ostif.org·

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

 ⚙️Compilers
yon-lang.org··Hacker News

Static Code Analysis and the Rules of Zero, Three, and Five

 👤End-User Programming  Content type: Blog
blog.jetbrains.com·

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

 ⚙️Compilers  Content type: Blog
blog.quarkslab.com·

Is this compiler bug in Zig or LLVM?

 ⚙️Compilers  Content type: Discussion
ziggit.dev·

Tobias Hieta: A Brief Overview of the LLVM Architecture

 ⚙️Compilers  Content type: Video
youtu.be··r/cpp

Programming Languages Software Award

 ⚙️Compilers
sigplan.org·

Centurion: Bring Your Own Execution Environment

 ⚙️Compilers  Content type: Blog
praetorian.com·

Arm’s Metis Is the AI Security Agent That Actually Finds Vulnerabilities — Here’s How It Works

 🔍Abstract Interpretation  Content type: Blog
medium.com
·

Proof System Timelines

 λPLT  Content type: Blog
klatz.co·

clj.rs Clojure implemented on Rust

 ⚙️Compilers
clojure-diary.gitlab.io·

Infinite precision intermediate arithmetic: how much would break?

 ⚙️Compilers
internals.rust-lang.org··Hacker News

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