Feeds to Scour
SubscribedAll
Scoured 9498 posts in 152.7 ms
Railway Oriented Programming
fsharpforfunandprofit.com·2d·
Discuss: Hacker News
📝Nix Language
How I Built My Project in Haskell
dev.to·22h·
Discuss: DEV
λFunctional Programming
wareya/pred_recdec: Predicated LL (recursive descent) parser in pure rust
github.com·1h·
Discuss: Hacker News
🧩Parser Combinators
Memory-Safe Jule language emerges as C/C++ alternative
thenewstack.io·1d
⚙️Compiler Design
Week 1: Why did I start learning Rust?
vitaliihonchar.com·1d·
Discuss: r/programming
🔬Static Analysis
SEAL: Symbolic Execution with Separation Logic (Competition Contribution)
arxiv.org·2d
🧩Separation Logic
The Next Big Language (2007) by Steve Yegge
steve-yegge.blogspot.com·14h·
Discuss: Hacker News
⚙️Compiler Design
A Quick Introduction to OxCaml
noelwelsh.com·4d·
Discuss: Hacker News
🐫Embedded OCaml
The Machine Learned Our Language
medium.com·1d·
Discuss: r/programming
📚Automata Learning
[RFC PATCH v1 0/4] Machine Learning (ML) library in Linux kernel
lore.kernel.org·2d·
Discuss: Lobsters, Hacker News
🔧Unikernel Development
A Newbie's First Contribution to (Rust for) Linux
blog.buenzli.dev·2h·
Discuss: Hacker News
🏗️Dune
Fast Properties in V8 (2017)
v8.dev·6h·
Discuss: Hacker News
❓Existential Types
impl Rust: Avro IDL tool in Rust via ANTLR
youtube.com·2d·
Discuss: Hacker News, r/rust
🐫Embedded OCaml
Introduction to Abject-Oriented Programming (2007)
typicalprogrammer.com·8h·
Discuss: Hacker News
🔤Language Design
Recursive Deductive Verification: A framework for reducing AI hallucinations
news.ycombinator.com·8h·
Discuss: Hacker News
📐Hoare Logic
C and C++ dependencies, don't dream it, be it!
nibblestew.blogspot.com·1d·
Discuss: Hacker News, nibblestew.blogspot.com
📦OPAM
creact-labs/creact: CReact is a meta-runtime for building domain-specific, reactive execution engines.
github.com·17h·
Discuss: r/node, r/reactjs
🔧ppx
I built a Python LSP in Go!
reddit.com·22h·
Discuss: r/golang
🏢Jane Street Core
Chasing a Zig AVR Segfault Down to LLVM
sourcery.zone·1d·
Discuss: r/Zig
🐫Embedded OCaml
Building Interactive C/C++ workflows in Jupyter through Clang-REPL [video]
fosdem.org·1d·
Discuss: Hacker News
⚙️Compiler Design

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