Feeds to Scour
SubscribedAll
Scoured 8580 posts in 366.9 ms
An async HTTP server in ~80 lines of modern C++ (coroutines)
vixcpp.com·5h·
Discuss: Hacker News
🌐Network Protocols
Proof-oriented Programming in F*
fstar-lang.org·8h·
Discuss: Lobsters
🔗Curry-Howard
Still Manual? Automated Linter Configuration via DSL-Based LLM Compilation of Coding Standards
arxiv.org·2d
🔤DSLs
Rust Coreutils v0.6.0 Release: 96.28% GNU compatibility with safety improvements
github.com·1d·
Discuss: Hacker News
🏗️Dune
Building Chess in about 350 lines of Clojure
sammystraus.com·10h·
Discuss: Hacker News
🎮Verification Games
[TUHS] bare m4 (was BTL summmer employees)
tuhs.org·20h·
Discuss: Lobsters
🐫Embedded OCaml
Announcing TypeScript 6.0 Beta
devblogs.microsoft.com·18h·
Discuss: Hacker News, r/javascript, r/programming, r/typescript
🔠Type-Level Programming
Gillian Debugging: Swinging Through the (Compositional Symbolic Execution) Trees, Extended Version
arxiv.org·2d
🔀OCaml Multicore
Go - Unit & Integration Testing
linkedin.com·16h·
Discuss: r/programming
🧪Property-Based Testing
Redefining Go Functions
pboyd.io·1d·
Discuss: Lobsters, Hacker News, r/golang, r/programming
λFunctional Programming
Stop Writing Your Own Python Parsers! Use This Free API Instead 🛑
dev.to·4d·
Discuss: DEV
📝Nix Language
Building a Regex Engine with a team of parallel Claudes
lesswrong.com·1d
🧩Parser Combinators
From 34% to 96%: The Porting Initiative Delivers
hologram.page·13h·
Discuss: Hacker News
🌐NetworkProtocols
How I Built My Project in Haskell
dev.to·4d·
Discuss: DEV
λFunctional Programming
A high-performance Go framework (250k+ req/sec) with built-in batteries
go-kvolt.github.io·2d
🐫Embedded OCaml
anulum/sc-neurocore: Verified Rust-based Neuromorphic Compiler. 512x Real-Time Speed. Bit-True FPGA Equivalence. (AGPLv3 / Commercial)
github.com·1h·
Discuss: Hacker News
🔧Microcontrollers
We Built a Better Cassandra + ScyllaDB Driver for Node.js – with Rust
scylladb.com·23h·
Discuss: r/programming, r/rust
🏗️Dune
Rust Standard Library Challenges
rustfinity.com·23h·
Discuss: r/rust
🏗️Dune
Well-Typed.Com: hs-bindgen 0.1-alpha release
well-typed.com·2d·
Discuss: Lobsters, Hacker News
📦Opam
The middle ground between canonical models and data mesh
frederickvanbrabant.com·1d·
Discuss: r/programming
🔢Algebraic Data Types

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