Feeds to Scour
SubscribedAll
Scoured 83018 posts in 917.2 ms
A Neighborhood of Infinity: You Could Have Invented Monads! (And Maybe You Already Have.)
blog.sigfpe.com·18h
🧩Monadic Parsing
ReflectCxx/ReflectionTemplateLibrary-CPP: Powerful C++ runtime reflection with compile-time guarantees – and ZERO performance compromise.
github.com·1d·
Discuss: r/AskProgramming
🪆Embedded DSLs
Refactoring 038
dev.to·1d·
Discuss: DEV
🌈Gradual Languages
Flow-Based Programming: Seminal Texts and Theoretical Foundations
repolex.ai·1d·
Discuss: Hacker News
🌊Reactive Languages
Structured outputs on Amazon Bedrock: Schema-compliant AI responses
aws.amazon.com·16h
📋JSON Parsers
Debugging Kotlin Multiplatform Apps with Better Observability
dev.to·7h·
Discuss: DEV
🦉Swift Interpreters
🎲 Piecemeal Formal Verification: Cloudflare, Java Exceptions, and Rust Mutexes
gavinhoward.com·2d
🚂Error Propagation
The control layer for AI
blog.dottxt.ai·12h·
Discuss: Hacker News
🔀Control Structures
SEAL: Symbolic Execution with Separation Logic (Competition Contribution)
arxiv.org·1d
🎯Symbolic Execution
**Abstract:** This research introduces a novel framework for formally verifying distributed consensus protocols, specifically Raft, using Lean 4 and dependen...
freederia.com·20h
📡Erlang BEAM
Reducing the Costs of Proof Synthesis on Rust Systems by Scaling Up a Seed Training Set
arxiv.org·1d
🔒Rust Borrowing
Jacob Boxerman - Declarative, Reproducible Emacs with straight.el and use-package
jakebox.github.io·14h·
Discuss: Lobsters, Hacker News
⚙️TOML Parsers
On Linguistic Precision
blog.firedrake.org·3h
🧪Parser Testing
Built a tiny fast library for catching obvious prompt injections
reddit.com·19h·
Discuss: r/golang
🛡️Parser Security
Hoot: Scheme on WebAssembly
spritely.institute·24m·
Discuss: Hacker News
🌐Browser Compilers
The Rise of Spec Driven Development
dbreunig.com·20h·
Discuss: Hacker News
🥾Compiler Bootstrapping
Presentation: Expanding Swift from Apps to Services
infoq.com
·1d
🦉Swift Generics
Clojure’s Persistent Data Structures: Immutability Without the Performance Hit
javacodegeeks.com·1d
🌳Persistent Data
Naughty is Nice!
yamlscript.org·7h
🧼Lisp Hygiene
Show HN: ZigZag – A Bubble Tea-Inspired TUI Framework for Zig
github.com·9h·
Discuss: Hacker News
💬Smalltalk VMs

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