Feeds to Scour
SubscribedAll
Scoured 5458 posts in 20.6 ms
Python 3.15’s JIT is now back on track
fidget-spinner.github.io·2d·
Discuss: Lobsters, Hacker News, r/programming
🔄Reproducible Builds
Loft – a statically typed language where null propagates instead of crashes
github.com·18h·
Discuss: Hacker News
🎯GADT
An Exponential Separation between Deterministic CDCL and DPLL Solvers
arxiv.org·1d
🧩SAT Solvers
AndreeSalazar/PyDead-BIB: Bueno es Compilador nuevo con JIT 2.0
github.com·3d·
Discuss: Hacker News
💾Cachix
TRACE: Evaluating Execution Efficiency of LLM-Based Code Translation
arxiv.org·1d
🏃Escape Analysis
workflow loops for Claude Code, Codex, and OpenCode
rjcorwin.github.io·2h·
Discuss: Hacker News
🔧ppx
Java 26 lands without an LTS badge. Here’s why developers should care anyway.
thenewstack.io·11h
🔄Reproducible Builds
LLMs as Giant Lookup-Tables of Shallow Circuits
lesswrong.com·1d
🐫Embedded OCaml
From 8086 to Z80: Building a NASM-Inspired SDK for 8-Bit Retro Computing
hackaday.com·1d
💾Retro Computing
a Rust-powered suite for the smart contract lifecycle
blocktools.dev·21h·
Discuss: Hacker News
🧱Immutable Infrastructure
🦀 Statum: Zero-Boilerplate Compile-Time State Machines in Rust
reddit.com·1d·
Discuss: r/rust
🏗️Dune
Surfacing Hidden Privacy Risks in Code: Lessons from LLM and Retrieval Assisted Detection
usenix.org·8h
🛡️seL4
How reactive streams could be rewritten using plain Java APIs
linkedin.com·11h·
Discuss: r/programming
💎Refinement Types
The Elegant and Fully Type-safe Module Composable Library.
arc.tsdk.dev·1d·
Discuss: Hacker News, r/node
📦Module Systems
<h1>Rob Pike's 5 Rules of Programming</h1>
cs.unc.edu·18h·
Discuss: Lobsters, Hacker News
🧮Lean4
AI enhanecd development: the hard work is still in the requirements!
dev-log.me·19h·
Discuss: r/programming
🧮Lean4
Vector, the Journal of the British APL Association
web.archive.org·8h·
Discuss: Hacker News
🧮Lambda Calculus
Accessing Hardware in Rust
ferrous-systems.com·1d·
Discuss: Lobsters, Hacker News
💬Mach Messages
Formal Verification: The Ultimate Fitness Function
lesswrong.com·5h
🔍Formal Verification
First package written in Algol 68 lands in Gentoo
jemarch.net·1d·
Discuss: Lobsters
🏗️Dune

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
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