Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Close
You're currently offline. Some features may not work.
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
🌳 Pattern Match Compilation
Decision Trees, Exhaustiveness, Guards, ML Compilers
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
112451
posts in
992.7
ms
Task 17:
Implement
property-based
invariant
tests · Issue #30
github.com
·
19h
🎲
Property Testing
SoftMatcha
2: A Fast and Soft Pattern
Matcher
for Trillion-Scale Corpora
arxiv.org
·
1d
·
Discuss:
Hacker News
🔤
String Algorithms
CodeSpeak
: Software Engineering with AI
codespeak.dev
·
10h
·
Discuss:
Lobsters
,
Hacker News
🎭
Program Synthesis
Lexer
, Parser,
Codegen
github.com
·
49m
·
Discuss:
DEV
📝
Lexer Generators
LateOn-Code
&
ColGrep
: LightOn unveils state-of-the-art code retrieval models and code search tooling
huggingface.co
·
14h
·
Discuss:
Hacker News
🔤
Language Tokenizers
Functional
Programming
in an LLM World
notes.druchan.com
·
2d
🔍
ML Language
Implementation of Polynomial
NP-Complete
Algorithms Based on the
NP
Verifier
Simulation Framework
arxiv.org
·
1d
🧩
SAT Solvers
Recursive
Language Models: Stop
Stuffing
the Context Window
nlp.elvissaravia.com
·
10h
🪜
Recursive Descent
Zvec
: SQLite-like
simplicity
in an embedded vector database (By Alibaba)
zvec.org
·
18h
·
Discuss:
Hacker News
💾
Minimal Databases
Proof-oriented
Programming in F*
fstar-lang.org
·
1d
·
Discuss:
Lobsters
⚡
functional programming
Structure Beats
Prose
:
Specs
for Coding Agents That Actually Work
dev.to
·
1d
·
Discuss:
DEV
🎮
Language Ergonomics
Building a
Regex
Engine with a team of parallel
Claudes
lesswrong.com
·
2d
🔤
Regex Engines
The hidden reason
database
debt is ten times
harder
to fix than code
thenewstack.io
·
16h
🗄️
Database Engines
A Note on
Flat
Abstract
Syntax
Trees
gist.github.com
·
3d
·
Discuss:
Hacker News
🌳
Tree Walking
Must-Know Software
Architecture
Patterns
blog.bytebytego.com
·
14h
✅
Configuration Validation
Building a Production ML Inference Stack with
KServe
, vLLM, and
Karmada
dev.to
·
4h
·
Discuss:
DEV
🗺️
Region Inference
Built a Hybrid RAG API with
FastAPI
&
Ollama
– Sparse + Dense retrieval in action.
youtu.be
·
21h
·
Discuss:
DEV
🚀
Tokenizer Performance
Formal
Verification Fundamentals Remain
Non-Negotiable
In The New Verification Revolution
semiengineering.com
·
22h
🧩
SAT Solvers
How to think like a computer
scientist
: Learning with C
open.umn.edu
·
4h
·
Discuss:
r/C_Programming
🎭
Racket
AI Code’s Logic Can Now Be
Checked
From Within,
Bypassing
External Tests
quantumzeitgeist.com
·
1d
🎭
Program Synthesis
Loading...
Loading more...
Page 2 »
Keyboard Shortcuts
Navigation
Next / previous item
j
/
k
Open post
o
or
Enter
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
g
h
Interests
g
i
Feeds
g
f
Likes
g
l
History
g
y
Changelog
g
c
Settings
g
s
Browse
g
b
Search
/
Pagination
Next page
n
Previous page
p
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc
Press
?
anytime to show this help