Feeds to Scour
SubscribedAll
Scoured 23907 posts in 1.07 s
Viewing Nested Lists with `xfun::tabset()`
yihui.org·3d
🔗Lisp
Apple II Reference Manual 1978 (apple2history.org)
apple2history.org·3d
🌏Character Sets
Should small Rust structs be passed by-copy or by-borrow?
forrestthewoods.com·3d
🦀Rust Borrowing
Taming the Regex Monster: Optimizing Massive Literal Alternations
modern-c.blogspot.com·5d·
Discuss: r/golang
🔍RegEx Engines
Monty: A minimal, secure Python interpreter written in Rust for use by AI
dev.to·4d·
Discuss: DEV
🦀Rust Macros
InfraBuilder: The Deterministic Hardware Architect
dev.to·3d·
Discuss: DEV
🧱Immutable Infrastructure
Impredicativity in Linear Dependent Type Theory
arxiv.org·1d
🏛️Constructive Type Theory
Towards Real-World Industrial-Scale Verification: LLM-Driven Theorem Proving on seL4
arxiv.org·1d
✅Formal Methods
Notes for February 2-7
taoofmac.com·4d·
Discuss: Hacker News
🐚Bash Monads
C Isn't A Programming Language Anymore
faultlore.com·5d·
Discuss: Hacker News
🔩Systems Programming
An attempt at a First-Proof AI challenge
abhvio.us·3d·
Discuss: Hacker News
🎯Performance Proofs
Compile and Run Your First Program
emojicode.org·5d·
Discuss: Hacker News
🔗Concatenative Programming
Building a battle tested C compiler in a new language using Codex
moonbitlang.com·5d·
Discuss: Hacker News
🏗️Compiler Archaeology
Type Variance
en.wikipedia.org·5d·
Discuss: Hacker News
🧮Algebraic Datatypes
SecretSpec 0.7: Declarative Secret Generation
devenv.sh·2d·
Discuss: Lobsters, Hacker News, r/NixOS, r/programming
🦠Parasitic Archives
Extracting Xcode's Claude Code Prompt
jackpearce.co.uk·3d·
Discuss: Hacker News
🌳Incremental Parsing
Ask HN: How would you design an LLM-unfriendly language?
news.ycombinator.com·3d·
Discuss: Hacker News
🌳Context free grammars
[RFC PATCH v1 0/4] Machine Learning (ML) library in Linux kernel
lore.kernel.org·5d·
Discuss: Lobsters, Hacker News
🎵Audio ML
Jacob Boxerman - Declarative, Reproducible Emacs with straight.el and use-package
jakebox.github.io·4d·
Discuss: Lobsters, Hacker News
🐚Bash Combinators
How to Program Computers (KOS)
fall.tr·5d·
Discuss: Lobsters, Hacker News
🔩Systems Programming

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