Feeds to Scour
SubscribedAll
Scoured 7686 posts in 87.1 ms
Optimising Cylindrical Algebraic Coverings for use in SMT by Solving a Set Covering Problem with Reasons
arxiv.org·7h
🔍Datalog Engines
Preview
Report Post
MathGPT Graphing: fast interactive graphs with AI help
mathgpt.today·18h·
Discuss: Hacker News
🔗Dependent Types
Preview
Report Post
A Complexity Dichotomy for Temporal Valued Constraint Satisfaction Problems
arxiv.org·1d
λFunctional Programming
Preview
Report Post
Multi-Modal Program Verification in Velvet
proofsandintuitions.net·1d·
Discuss: Hacker News
🔗Dependent Types
Preview
Report Post
Four LLM Stress Tests
dev.to·15h·
Discuss: DEV
🔗CoT Prompting
Preview
Report Post
Making a Language
thunderseethe.dev·13h
🏭Code Generation
Preview
Report Post
Constraints Not Loops: Building Features in Reverse
coey.dev·1d
📝Parser Combinators
Preview
Report Post
Conversation: LLMs and the what/how loop
martinfowler.com·21h
🦀Rust Macros
Preview
Report Post
From 75% to 99.6%: The Math of LLM Ensembles
shibaprasadb.com·1d·
Discuss: Hacker News
💻Local LLMs
Preview
Report Post
understanding LSM trees via read, write, and space amplification
bitsxpages.com·13h·
Discuss: Substack
🧠Memory Models
Preview
Report Post
Setting Up A Cluster of Tiny PCs For Parallel Computing - A Note To Myself
kenkoonwong.com·16h·
Discuss: Hacker News
☁️Serverless Rust
Preview
Report Post
Qdrant - Vector Database
qdrant.tech·1d
🎯Vector Databases
Preview
Report Post
How to find things (an intro to binary search)
drmaciver.substack.com·2d·
Discuss: Substack
🌳B-Trees
Preview
Report Post
DiffuCoder: Understanding and Improving Masked Diffusion Models for Code Generation
machinelearning.apple.com·1d
⚡Incremental Computation
Preview
Report Post
AI Coding: Conversations and Bottlenecks
medium.com·1h·
Discuss: Hacker News
🤖AI Coding Tools
Preview
Report Post
PlummersSoftwareLLC/Primes: Prime number projects in 100+ programming languages, to compare their speed - and their programmer's cleverness
github.com·1d·
Discuss: Hacker News
🥖Bun
Preview
Report Post
Amazon shopping automation without vision: verification gate+local model (3B)
news.ycombinator.com·21h·
Discuss: Hacker News
🧠AI
Preview
Report Post
Kolmogorov Complexity
en.wikipedia.org·23h·
Discuss: Hacker News
🎯Hindley-Milner
Preview
Report Post
Evolution of LLMs use by a programmer
asfaload.com·19h·
Discuss: Hacker News
💬Language Servers
Preview
Report Post
Using Local LLMs to Discover High-Performance Algorithms
towardsdatascience.com·2d
⚙️LLVM
Preview
Report Post

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