Compiler Design

Feeds to Scour
SubscribedAll
Scoured 41 posts in 8.4 ms

Getting agents to code less slop

 🟪Programming  Content type: Blog
thempatel.com··Hacker News

olivier-ls/php-ruler: A transparent expression & rule evaluator in pure PHP. Strict typing, no dependencies, and an explain mode that shows exactly why a rule passed or failed.

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

Tired of GitHub Trending being GitHub-only, so we made a multi-forge version (GitLab and Codeberg included)

 🎯Red Teaming

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

 Low-level Programming  Content type: Academic
arxiv.org··Hacker News

C++: The Documentary released today

 🟪Programming

Move Fast, Surveil Things

 🎯Red Teaming
eff.org··Hacker News
Less-relevant results

We Cut Semgrep's Taint Analysis Time by 75%

 🕵️Penetration Testing  Content type: Blog
semgrep.dev··Hacker News

Zero-Click HFP/A2DP Takeover via L2CAP Session Preemption

 📊Algorithms

Software Engineering is the new Manufacturing Engineering

 🟪Programming
halecraft.org··Hacker News

Linux 7.1-rc7: give rc7 a whirl and keep testing

 🧠Memory Management
lwn.net··Hacker News

Show HN: Cost.dev (YC W21) – making agents cost-aware and 79% cheaper to call

 🟪Programming  Content type: Discussion

Rcarmo/womprat: A single-binary Windows client to access machines on a tailnet

 🪟Windows Internals  Content type: Code
github.com··Hacker News

The Road to Component Model 1.0

 🧠Memory Management

Worried about Recursive Self-Improvement (RSI)? The answer might be CDE

 🎯Red Teaming
safebots.ai··Hacker News

Eternal Software Initiative - Preserving Software for a Thousand Years

 Low-level Programming

Enter the WasmForge: Compiling Sliver into WebAssembly

 🎯Red Teaming  Content type: Blog
praetorian.com··r/netsec

kerbelp/metatron: Metatron is a self-hosted system that captures a codebase's real implementation decisions — preferred patterns, rejected approaches, edge cases, internal conventions — as structured priors, and serves them to coding agents over MCP (Model Context Protocol). The goal: an agent writes code like a senior engineer who already knows the codebase

 🟪Programming  Content type: Code
github.com··Hacker News

29th IOCC Best imaginary emulator Award, the Subleq computer (2025)

 Low-level Programming
ioccc.org··Hacker News

I bet everything on eight weeks: solo #1 on MTEB English v2

 Formal Verification  Content type: Blog
sentimark.ai··Hacker News

mingusb/transformer-golf: The Fully Unrolled Transformer: An experimental repository for architecture simplification and compilation. [2026]

 Low-level Programming  Content type: Code
github.com··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