Feeds to Scour
SubscribedAll
Scoured 23854 posts in 790.7 ms
The Return of Algol 68
jxself.org·3d
🦀Rust Borrowing
Fastfood: Approximate Kernel Expansions in Loglinear Time
dev.to·3d·
Discuss: DEV
🌊Streaming Algorithms
Gillian Debugging: Swinging Through the (Compositional Symbolic Execution) Trees, Extended Version
arxiv.org·1d
🔗Functional Compilers
S - Glossary (Python)
dev.to·4d·
Discuss: DEV
🧠Lisp Dialects
Parallel Composition for Statistical Privacy
arxiv.org·19h
🛡️Differential Privacy
**Abstract:** This research introduces a novel framework for formally verifying distributed consensus protocols, specifically Raft, using Lean 4 and dependen...
freederia.com·5d
🤝Consensus Protocols
Pratt Parsers: Expression Parsing Made Easy
journal.stuffwithstuff.com·4d
📝Concrete Syntax
Paths of MySQL, vector search edition
theconsensus.dev·4d·
Discuss: Hacker News
🦀Rusty Databases
Why you should consider F#
asfaload.com·5d·
Discuss: Hacker News
🔒Type Safety
Electrobun v1: Build fast, tiny, and cross-platform desktop apps with TypeScript
blackboard.sh·3d·
Discuss: Hacker News
🔌Interface Evolution
Deep dive into Hierarchical Navigable Small Worlds
amandeepsp.github.io·4d·
Discuss: Hacker News, r/Zig, r/programming
🔶Voronoi Diagrams
Lightweight and extensible compatibility layer between dataframe libraries
narwhals-dev.github.io·3d·
Discuss: Hacker News
🌳B-tree Archaeology
Fast Properties in V8 (2017)
v8.dev·3d·
Discuss: Hacker News
🌀Brotli Dictionary
C and C++ dependencies, don't dream it, be it!
nibblestew.blogspot.com·4d·
Discuss: Hacker News, nibblestew.blogspot.com, r/cpp
🔗Dependency Resolution
Type Variance
en.wikipedia.org·5d·
Discuss: Hacker News
🧮Algebraic Datatypes
To Be Determined
anekstein.com·3d·
Discuss: Hacker News
🧮Z3 Solver
Memory-Safe Jule language emerges as C/C++ alternative
thenewstack.io·4d·
Discuss: Hacker News
🦀Rust Macros
Recursive Deductive Verification: A framework for reducing AI hallucinations
news.ycombinator.com·3d·
Discuss: Hacker News
⚖️Hoare Logic
A Newbie's First Contribution to (Rust for) Linux
blog.buenzli.dev·3d·
Discuss: Hacker News
🦀Rust Macros
Agentic Proof-Oriented Programming
risemsr.github.io·6d·
Discuss: Lobsters, Hacker News
⚔️Lean Tactics

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