Feeds to Scour
SubscribedAll
Scoured 23902 posts in 615.6 ms
Getting from C enumerations to Python dicts.
colinpaice.blog·6d
🔧Binary Parsing
In the Age of AI Writing Tools, I Picked Emacs for My Sci-Fi Novel
itsfoss.com·3d
🦀Rust Macros
[$] Kernel control-flow-integrity support comes to GCC
lwn.net·5d
🐚Shell Combinators
theHigherGeometer
thehighergeometer.wordpress.com·6d
🔲Proof Irrelevance
Rebuilding the spellchecker
zverok.space·4d
🌲Parse Trees
Rust 1.77 and 1.78: The Changes That Happened to u128/i128
hackernoon.com·4d
🦀Rust Borrowing
Differential Logic • 2
inquiryintoinquiry.com·5d
⚖️Constraint Logic
C, Golang and Rust for PS2 + N64 Online Super Mario 64 Co-op on Real Hardware
youtube.com·6d·
Discuss: r/golang, r/programming, r/rust
🕹️Retro Gaming
Flexible and Economical UTF-8 Decoder
bjoern.hoehrmann.de·4d
🔤Character Encoding
Advantages of Python Programming
dev.to·3d·
Discuss: DEV
📝Concrete Syntax
The Secret Life of Python: The Silent Type (Type Casting)
dev.to·6d·
Discuss: DEV
🔤Type Theory
Towards Real-World Industrial-Scale Verification: LLM-Driven Theorem Proving on seL4
arxiv.org·1d
✅Formal Methods
Impredicativity in Linear Dependent Type Theory
arxiv.org·1d
🏛️Constructive Type Theory
Weeknotes 2026-W06 › Project Pterodactyl: incremental architecture
jonmsterling.com·4d·
Discuss: Hacker News, r/Compilers
⚡Incremental Computation
Full-circle Test-driven Firmware Development with OpenClaw
blog.adafruit.com·4d·
Discuss: Hacker News
🔍Concolic Testing
Lightweight and extensible compatibility layer between dataframe libraries
narwhals-dev.github.io·3d·
Discuss: Hacker News
🌳B-tree Archaeology
Flow-Based Programming: Seminal Texts and Theoretical Foundations
repolex.ai·5d·
Discuss: Hacker News
💻Programming languages
What if writing tests was a joyful experience?
blog.janestreet.com·5d·
Discuss: Hacker News
🧪Property-Based Testing
Style tips for less experienced developers coding with AI
honnibal.dev·5d·
Discuss: Hacker News
🎯Gradual Typing
Fresh: A terminal text editor you can just use
getfresh.dev·5d·
Discuss: Hacker News
📺Terminal UI

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