📐 Lang Design - mengistristen · Scour

What is AI SAST?

🔧Compilers Blog

nCMD: Benign-Anchored Feature Selection for Imbalanced Network Intrusion Detection

🦀Rust Academic

Mental causation is not load-bearing

lesswrong.com·

Amana a Rust compiler that turns one .amana file into a full Express/SQLite web

🔧Compilers Code

github.com··Hacker News

When Types Intersect and Effects Get Handled

🎨Creative Coding Academic

rochus-keller/EXPRESS: A parser and code model for the ISO 10303 EXPRESS language with a lot more interesting stuff to come

🔧Compilers Code

github.com··Hacker News

DABO — What If Agents Didn't Need the Cloud Most of the Time...

🔧Compilers Code

github.com··r/SideProject

Reversible Numeric Composite Key (RNCK)

🔧Compilers Academic

cryspen/hax: A Rust verification tool

🔧Compilers Code

github.com··Lobsters

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

🔧Compilers Code

github.com··Hacker News

octoscope

🔩Tiny Tools Code

github.com··r/commandline

Log in to enable infinite scrolling