🐿️ Scour
Browse
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
⚙️ PL Implementation
Compilers, Runtime Systems, JIT, Interpreter Design
Hot
Past Hour
Today
This Week
This Month
Subscribed Feeds
All Feeds
Specification Grounding: The Missing Link in Vibe Coding
unstract.com
·
6h
·
Discuss:
Lobsters
,
Hacker News
🔍
Formal Verification
Practical Bitwise Tricks in Everyday Code (Opinioned)
maltsev.space
·
54m
·
Discuss:
r/programming
🔬
Static Analysis
CORE: Benchmarking LLMs Code Reasoning Capabilities through Static Analysis Tasks
arxiv.org
·
1d
🔬
Static Analysis
Modular Automation Core in Go Inspired by Apache/nginx Architecture
reddit.com
·
6h
·
Discuss:
r/programming
📦
Unikernel Systems
Writing Bounds-Safe Code in C with Arrays
uecker.codeberg.page
·
6h
·
Discuss:
Hacker News
🔬
Static Analysis
Show HN: Bedrock – An 8-bit computing system for running programs anywhere
benbridle.com
·
54m
·
Discuss:
Hacker News
💾
Retro Computing
ANN: Miso-lynx, create iOS apps with Haskell and LynxJS
github.com
·
23h
·
Discuss:
Hacker News
❄️
Nix
Every AI Integration Is Held Together with Parsing Logic and Prayer
blog.dottxt.co
·
11h
·
Discuss:
Hacker News
🤖
Program Synthesis
Galois field instructions on 2021 CPUs
corsix.org
·
12h
·
Discuss:
Hacker News
🐫
Embedded OCaml
Go Internals: How much can we figure by tracing a syscall in Go?
csunderthehood.substack.com
·
2h
·
Discuss:
r/golang
,
r/programming
🍎
XNU Internals
Building Your First ETL Pipeline in Rust
ryuru.com
·
1d
·
Discuss:
r/programming
🔬
Static Analysis
Revitalizing Legacy Code
javapro.io
·
1d
·
Discuss:
Hacker News
💾
Retro Computing
From Hell to ExHell: Writing Excel Files in Java Shouldn’t Be a Pain
medium.com
·
6h
·
Discuss:
r/programming
🔬
Static Analysis
Regular Expression Matching Can Be Simple and Fast (2007)
swtch.com
·
1d
·
Discuss:
Hacker News
🐫
Embedded OCaml
LLM Failures
funcall.blogspot.com
·
2d
·
Discuss:
Hacker News
🐫
OCaml
Show HN: Optiverse – Evolving Code with LLMs
mathieularose.com
·
7h
·
Discuss:
Hacker News
🔠
Type-Level Programming
Introducing Rudy: A Toolchain for Rust Debuginfo
samjs.io
·
9h
·
Discuss:
Lobsters
,
Hacker News
,
r/programming
🐫
Embedded OCaml
Towards Exception Safety Code Generation with Intermediate Representation Agents Framework
arxiv.org
·
1d
🔍
Formal Verification
An InfoSec Architect's First Taste of Temporal
supasaf.com
·
2d
·
Discuss:
Hacker News
🛡️
seL4
Data-Star.dev – v1 and Beyond
data-star.dev
·
7h
·
Discuss:
Hacker News
🧱
Immutable Infrastructure
Loading...
Loading more...
Page 2 »