Feeds to Scour
SubscribedAll
Fast Sequence Iteration in Common Lisp
world-playground-deceit.net·1d·
Discuss: Hacker News
🧠Lisp Dialects
Preview
Report Post
Go From Zero to Depth — Part 4: Pointers in Go (Not Scary, Just Misunderstood)
dev.to·8h·
Discuss: DEV
🔒Type Safety
Preview
Report Post
ClickHaskell 1.0.0 is out
github.com·12h·
Discuss: Lobsters
🔗Functional Compilers
Preview
Report Post
Advent of Swift
leahneukirchen.org·4h
🔗Lisp
Preview
Report Post
REshare Ramblings - Bad Vibes with IDA
scrapco.de·1d
🔧KAITAI
Preview
Report Post
MCP Writing Code to Call MCP: MCPs All the Way Down
rouxbot.com·22h·
Discuss: Hacker News
🛡️WASM Sandboxing
Preview
Report Post
Translating Informal Proofs into Formal Proofs Using a Chain of States
arxiv.org·2d
⚔️Lean Tactics
Preview
Report Post
L5: a New Creative Coding Library in Lua, in the family of Processing/p5 Languages
leetusman.com·22h
🔗Concatenative Programming
Preview
Report Post
Gist of Go: Concurrency is out!
antonz.org·2d
⚔️Lean Tactics
Preview
Report Post
I accidentally made a git client in rust with no prior experience. Here are my thoughts on all that!
reddit.com·1d·
Discuss: r/rust
🦀Rust Macros
Preview
Report Post
Rich Headers: leveraging this mysterious artifact of the PE format
virusbulletin.com·1d·
Discuss: Hacker News
🏺Format Archaeology
Preview
Report Post
From Zero to QED: An informal introduction to formality with Lean 4
sdiehl.github.io·21h·
Discuss: Hacker News
⚔️Lean Tactics
Preview
Report Post
Indexed Reverse Polish Notation, an Alternative to AST
burakemir.ch·2d·
Discuss: Hacker News
🔗Concatenative Programming
Preview
Report Post
Closures as Win32 window procedures
nullprogram.com·2d
🚀Compiler Optimizations
Preview
Report Post
A very unscientific guide to the security of various PQC algorithms
keymaterial.net·20h·
Discuss: Lobsters
🔲Lattice Cryptography
Preview
Report Post
Type Stripping with Zero Dependencies
termer.net·1d·
Discuss: Hacker News
🎯Gradual Typing
Preview
Report Post
Fighting the Client Spaghetti Monster with Rust Traits
gnunicorn.org·5d·
Discuss: Hacker News
🦀Rust Borrowing
Preview
Report Post
The Coming Need for Formal Specification
benjamincongdon.me·1d
📋Formal Verification
Preview
Report Post
Unswitching loops for fun and profit
xania.org·2d
🚀Compiler Optimizations
Preview
Report Post
A Simple Framework for Understanding Complex Code Faster
dev.to·2d·
Discuss: DEV
📏Code Metrics
Preview
Report Post