Feeds to Scour
SubscribedAll
Scoured 18453 posts in 540.6 ms
Optimal Abstractions for Verifying Properties of Kolmogorov-Arnold Networks (KANs)
arxiv.org·14h
🧮Kolmogorov Bounds
Topological Semantics for Common Inductive Knowledge
arxiv.org·14h
🔢Denotational Semantics
tkr: Reflecting on my first hobby software project
goodinternetmagazine.com·3d
🦀Rusty Databases
Boost LLM Security: automated Red Teaming at Scale with Promptfoo
blog.nviso.eu·4d
⚡Proof Automation
Michael Tsai - Blog - LLMs and Software Development Roundup
mjtsai.com·2d
📏Code Metrics
How I Stopped Rewriting My Code Every Time I Switched LLM Providers
dev.to·3d·
Discuss: DEV
⚡gRPC
Long-Sought Proof Tames Some of Math’s Unruliest Equations
quantamagazine.org·3d·
Discuss: Hacker News, Hacker News
⚔️Lean Theorem
Millets: A practical memory-safety and thread-safety experiment
eagledot.xyz·6d·
Discuss: Lobsters, Hacker News
🦀Rust Borrowing
michaelhelvey/lilfuture: Educational async runtime for Rust
github.com·3d
🦀Rust Macros
Waterloo Style
theprogrammersparadox.blogspot.com·3d·
Discuss: Hacker News
🕹Emulation Theory
Performance Tip of the Week #62: Identifying and reducing memory bandwidth needs
abseil.io·1d
💨Cache Analysis
Local Agent Bench: Test 11 small LLMs on tool-calling judgment, on CPU, no GPU
github.com·2d·
Discuss: Hacker News, r/LocalLLaMA
⚡Performance Mythology
Unlocking the Power of Python Generators: A Comprehensive Guide
dev.to·1d·
Discuss: DEV
⚙️Parser Generators
Should small Rust structs be passed by-copy or by-borrow?
forrestthewoods.com·1d
🦀Rust Borrowing
Opus 4.5 really changed things
kylerush.org·19h·
Discuss: Hacker News
📚MARC Evolution
Issues with AI: Toxic Dependencies
blog.mathieui.net·3d·
Discuss: Hacker News
🦀Rust Macros
Functional Programming Bits in Python
martynassubonis.substack.com·6d·
Discuss: Substack, r/programming, r/webdev
🔗Functional Compilers
Exactly Once Operations: Why Idempotency Belongs in the Business Layer
equatorops.com·3d·
Discuss: Hacker News
💾Persistence Strategies
Portable C Compiler
en.wikipedia.org·1d·
Discuss: Hacker News
🏗️Compiler Archaeology
The Security Gap in MCP: The Hidden Risks No One Is Talking About
memgraph.com·2d·
Discuss: Hacker News
🔒WASM Capabilities

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