Compilers

Feeds to Scour
SubscribedAll
Scoured 113 posts in 14.7 ms

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

 ✅Formal Verification
ziggit.dev·

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

 ✅Formal Verification  Content type: Blog
blog.quarkslab.com·

AUR has been hit by a malware campaign

 🛠️DevOps
gist.github.com··r/cachyos·Cited by 2 articles

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

 🐧Operating Systems
hftuniversity.com··Substack

Show HN: Iris – pure-Swift ARM64 disassembler with a semantic layer

 ✅Formal Verification  Content type: Code
github.com··Hacker News

Centurion: Bring Your Own Execution Environment

 🐧Operating Systems  Content type: Blog
praetorian.com·

Infinite precision intermediate arithmetic: how much would break?

 λLambda Calculus
internals.rust-lang.org··Hacker News

An Agent Holds the Fort: Three Days of Autonomous Compiler Work | Blog

 ⚙️Systems Programming  Content type: Blog
rue-lang.dev··Hacker News

When Types Intersect and Effects Get Handled

 λLambda Calculus  Content type: Academic
arxiv.org·

Apple WWDC On-Device AI Deep Dive - Google Docs

 🔍Interpretability
gist.is··Hacker News

Introducing Piper: A Programmable Distributed Training System

 🐧Operating Systems  Content type: Academic  Content type: Blog
syfi.cs.washington.edu··Hacker News

What’s Coming in Swift 6.4

 ⚡Concurrency
wadetregaskis.com·

Ask HN: Pandas to Polars migration, from 200s timeouts to under 4s. Anyone else?

 🌊Stream Processing  Content type: Discussion
news.ycombinator.com··Hacker News

Trust No Skill: Integrity Verification for AI Agent Supply Chains

 ✅Formal Verification  Content type: Blog
unit42.paloaltonetworks.com·

A programming language for humans.

 ⚙️Systems Programming
crowdhailer.me··Lobsters
Less-relevant results

Can AI Create Missing Models?

 🔬Mech Interp
semiengineering.com·

xcesp: Developing for ESP32 Devices with Xcode

 📶ESP32  Content type: Blog
kohlschuetter.github.io··Hacker News

Alpine Linux 3.24.0 Released

 🐧Operating Systems  5 articles covering this post
alpinelinux.org··Lobsters, Hacker News, r/linux·Cited by 5 articles

This weird trend reached an apex in a Feb 2026 OpenAI blog post [1], recently on...

 🐧Operating Systems  Content type: Discussion
news.ycombinator.com··Hacker News

clj.rs Clojure implemented on Rust

 ⚡Performance
clojure-diary.gitlab.io·

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