Feeds to Scour
SubscribedAll
Scoured 112035 posts in 709.8 ms
Task 17: Implement property-based invariant tests · Issue #30
github.com·23h
🎲Property Testing
Programming languages
mothcodes.bearblog.dev·1h
🔬programming language theory
SoftMatcha 2: A Fast and Soft Pattern Matcher for Trillion-Scale Corpora
arxiv.org·1d·
Discuss: Hacker News
🔤String Algorithms
Breaking the Tractability Barrier: A Generic Low-Level Solver for NP-Hard Instances (N=63) on Commodity 64-Bit Silicon
zenodo.org·5h·
Discuss: r/programming
🧩Constraint Solvers
Recursive Language Models: Stop Stuffing the Context Window
nlp.elvissaravia.com·15h
🪜Recursive Descent
LateOn-Code & ColGrep: LightOn unveils state-of-the-art code retrieval models and code search tooling
huggingface.co·19h·
Discuss: Hacker News
🔤Language Tokenizers
keplertech/kepler-formal: LEC - Logic Equivalence Checking - Formal Verification
github.com·31m·
Discuss: Hacker News
📐Standard ML
CodeSpeak: Software Engineering with AI
codespeak.dev·15h·
Discuss: Lobsters, Hacker News
🎭Program Synthesis
Zvec: SQLite-like simplicity in an embedded vector database (By Alibaba)
zvec.org·23h·
Discuss: Hacker News
💾Minimal Databases
Functional Programming in an LLM World
notes.druchan.com·2d
🔍ML Language
Making Databases Faster with LLM Evolutionary Sampling
arxiv.org·1d
📈Query Optimization
Building a Production ML Inference Stack with KServe, vLLM, and Karmada
dev.to·8h·
Discuss: DEV
🗺️Region Inference
Formal Verification First: How AI Supports But Cannot Replace It
semiengineering.com·3h
🎭Program Synthesis
Proof-oriented Programming in F*
fstar-lang.org·1d·
Discuss: Lobsters
⚡functional programming
BalatroBench Benchmarks Large Language Models Playing Balatro
balatrobench.com·25m·
Discuss: Hacker News
🏁Language Benchmarks
Must-Know Software Architecture Patterns
blog.bytebytego.com
·19h
✅Configuration Validation
Paper: Prompt Optimization Makes Misalignment Legible
lesswrong.com·15h
💬Interactive REPLs
The hidden reason database debt is ten times harder to fix than code
thenewstack.io·20h
🗄️Database Engines
Evaluating Claude’s C Compiler Against GCC
shbhmrzd.github.io·1d·
Discuss: r/C_Programming
🚀Code Motion
A Note on Flat Abstract Syntax Trees
gist.github.com·3d·
Discuss: Hacker News
🌳Tree Walking

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