Feeds to Scour
SubscribedAll
Scoured 23139 posts in 888.1 ms
The Return of Algol 68
jxself.org·3d
🦀Rust Borrowing
Differential Logic • 4
inquiryintoinquiry.com·3d
⚔️Lean Theorem
Fastfood: Approximate Kernel Expansions in Loglinear Time
dev.to·4d·
Discuss: DEV
🌊Streaming Algorithms
Parallel Composition for Statistical Privacy
arxiv.org·1d
🛡️Differential Privacy
S - Glossary (Python)
dev.to·4d·
Discuss: DEV
🧠Lisp Dialects
Static Analysis Under Non-Deterministic Program Assumptions
arxiv.org·2d
🧪Property-Based Testing
Building a Dynamic Multilanguage System Without Rebuilds
kuldeepmodi.vercel.app·3d·
Discuss: DEV
🔄Language Evolution
**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
Electrobun v1: Build fast, tiny, and cross-platform desktop apps with TypeScript
blackboard.sh·3d·
Discuss: Hacker News
🔌Interface Evolution
Lightweight and extensible compatibility layer between dataframe libraries
narwhals-dev.github.io·4d·
Discuss: Hacker News
🌳B-tree Archaeology
Deep dive into Hierarchical Navigable Small Worlds
amandeepsp.github.io·4d·
Discuss: Hacker News, r/Zig, r/programming
🔶Voronoi Diagrams
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
Recursive Deductive Verification: A framework for reducing AI hallucinations
news.ycombinator.com·3d·
Discuss: Hacker News
⚖️Hoare Logic
To Be Determined
anekstein.com·3d·
Discuss: Hacker News
🧮Z3 Solver
Introduction to Abject-Oriented Programming (2007)
typicalprogrammer.com·3d·
Discuss: Hacker News
🛠Language Design
Memory-Safe Jule language emerges as C/C++ alternative
thenewstack.io·4d·
Discuss: Hacker News
🦀Rust Macros
A Newbie's First Contribution to (Rust for) Linux
blog.buenzli.dev·3d·
Discuss: Hacker News
🦀Rust Macros
From Prediction to Compilation: A Manifesto for Intrinsically Reliable AI
news.ycombinator.com·3d·
Discuss: Hacker News
⚖️Hoare Logic
Unlocking core memories with GoldSrc engine and CS 1.6 (2025)
danielbrendel.com·3d·
Discuss: Hacker News
⚡Homebrew CPUs

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