Feeds to Scour
SubscribedAll
Scoured 74375 posts in 939.3 ms
Optimal Abstractions for Verifying Properties of Kolmogorov-Arnold Networks (KANs)
arxiv.org·8h
🧮SMT Solvers
What should I program?
jamesmcm.github.io·1d
🦀Rust
ValkDB/postgresparser: ANTLR-based PostgreSQL query parser for Go. Extracts tables, columns, joins, CTEs, parameters, DDL actions, and full column-usage metadata from SQL into a structured IR.
github.com·4h·
Discuss: r/devops, r/golang
🔥DataFusion
C and Undefined Behaviour
lelanthran.com·22h·
Discuss: Hacker News, r/C_Programming, r/programming
📚Stack Unwinding
AI Code Generation Tools Repeat Security Flaws, Creating Predictable Software Weaknesses
quantumzeitgeist.com·1h
🛡️AI Security
Style tips for less experienced developers coding with AI
honnibal.dev·3d·
Discuss: Hacker News
λFunctional Programming
Reducing the Costs of Proof Synthesis on Rust Systems by Scaling Up a Seed Training Set
arxiv.org·3d
🦀Rust
A GTM guide to AI models
revengine.substack.com
·1d·
Discuss: Substack
💬Prompt Engineering
Tutorial on Agentic Engine
pori.vanangamudi.org·12h·
Discuss: r/LocalLLaMA
📝Poem
From CS230 Theory to Production Android: Building a Privacy-First Credit Risk Classifier
pub.towardsai.net
·7h
💰TigerBeetle
Profiling Go programs with pprof
jvns.ca·1d
📊Profiling Tools
Private Data Space Model
privatedata.space·4d
🔗Intrusive Containers
How StrongDM’s AI team build serious software without even looking at the code
simonw.substack.com·1d·
Discuss: Substack
🚀MLOps
Show HN: Elysia JIT "Compiler", why it's one of the fastest JavaScript framework
elysiajs.com·1d·
Discuss: Hacker News, r/javascript, r/node
🏗️Pavex
Building a Dynamic Multilanguage System Without Rebuilds
kuldeepmodi.vercel.app·22h·
Discuss: DEV
🍱Nom
How I Approach a System I Have Never Seen Before
dev.to·5h·
Discuss: DEV
📝Write-Ahead Logging
I Built a Python CLI Tool for RAG Over Any Document Folder
dev.to·6h·
Discuss: DEV
📦uv
Both GCC and Clang generate strange/inefficient code
codingmarginalia.blogspot.com·2d·
Discuss: Hacker News, Hacker News
🎯Escape Analysis
Experiments in building bespoke tools with AI
knlb.dev·12h·
Discuss: Hacker News
💬Prompt Engineering
Differential Logic • 4
inquiryintoinquiry.com·1d
🔍Type Inference

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