Feeds to Scour
SubscribedAll
Scoured 9655 posts in 404.1 ms
From Separate Compilation to Sound Language Composition
arxiv.org·2h
🔤Language Design
Preview
Report Post
Ysgrifennu Côd yn Gymraeg (Writing Code in Welsh)
hackaday.com·12h
🔀Brzozowski Derivatives
Preview
Report Post
Taming the Flat AST: Ergonomics in the Age of Zero Allocations
modern-c.blogspot.com·12h·
🐫Embedded OCaml
Preview
Report Post
Failure-Aware Enhancements for Large Language Model (LLM) Code Generation: An Empirical Study on Decision Framework
arxiv.org·2h
🔨Compilers
Preview
Report Post
iree-org/wave: Wave: Python Domain-Specific Language for High Performance Machine Learning
github.com·16h·
Discuss: Hacker News
🐫OCaml
Preview
Report Post
Mad Rust: The JVM Developer's Journey. Kotlin/Java Developer's Road to Valhalla
sobolev.substack.com·11h·
Discuss: Substack
🔬Static Analysis
Preview
Report Post
Verifying coding AIs for LLM powered software
aunhumano.com·11h·
Discuss: Hacker News
🔍Formal Verification
Preview
Report Post
java sucks (2000)
jwz.org·13h·
Discuss: Lobsters
📝Nix Language
Preview
Report Post
Tokenizers The Building Blocks of Generative AI
dev.to·4h·
Discuss: DEV
🧩Parser Combinators
Preview
Report Post
How LSP Works: Building a Grammar Checker LSP from Scratch in Rust
aroy.sh·1d·
Discuss: Hacker News
📦Module Systems
Preview
Report Post
Millets: A practical memory-safety and thread-safety experiment
eagledot.xyz·19h·
🏃Escape Analysis
Preview
Report Post
Taking on Anthropic's Public Performance Engineering Interview Challenge
matthewtejo.substack.com·5h·
Discuss: r/programming
🏃Escape Analysis
Preview
Report Post
Maiasa: A next-gen, fast, robust, ethical language model (that can only say "a")
maiasa.ai·15h·
Discuss: Hacker News
📚Automata Learning
Preview
Report Post
The Advantages of C Language in Today’s Programming World
dev.to·16h·
Discuss: DEV
🔨Compilers
Preview
Report Post
impl Rust: Avro IDL tool in Rust via ANTLR
youtube.com·1d
🧩Parser Combinators
Preview
Report Post
A Black Box Made Less Opaque (part 2)
lesswrong.com·3h
🔢Algebraic Data Types
Preview
Report Post
My Experience with Vibe Coding
haskellforall.com·1d·
📦Unikernel Systems
Preview
Report Post
RFC 3284: The VCDIFF Generic Differencing and Compression Data Format
datatracker.ietf.org·21h·
Discuss: Hacker News
🌐NetworkProtocols
Preview
Report Post
Small Projects
reddit.com·1d·
Discuss: r/golang
⚙️PL Implementation
Preview
Report Post
Flavours of Reflection
semantics.bernardteo.me·1d·
Discuss: Lobsters, r/cpp
Existential Types
Preview
Report Post

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