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
📝 Parser Combinators
Parsing, Language Design, nom, Recursive Descent
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
112268
posts in
530.1
ms
Don't Eliminate Cut:
Exponential
Separations
in LLM-Based Theorem Proving
arxiv.org
·
1d
🧮
SMT Solvers
Moltis
: Rust based AI assistant with memory, tools, and
self-extending
skills
moltis.org
·
13h
·
Discuss:
Hacker News
🦀
Rust
The programming language after
Kotlin
– with the
creator
of
Kotlin
newsletter.pragmaticengineer.com
·
12h
·
Discuss:
Lobsters
⚙️
SWC
Synergistic
Enhancement of Requirement-to-Code
Traceability
: A Framework Combining Large Language Model based Data Augmentation and an Advanced Encoder
chipublib.idm.oclc.org
·
16h
⚓
Anchors
The
Mechanics
of Autonomous Software
Translation
alperenkeles.com
·
2d
🎭
Program Synthesis
Differential
Logic
• 6
inquiryintoinquiry.com
·
16h
🔍
Type Inference
Trace
Length
is a Simple Uncertainty Signal in Reasoning Models
machinelearning.apple.com
·
9h
🔍
DTrace
Cuentos
: A Large-Scale Eye-Tracking Reading
Corpus
on Spanish Narrative Texts
nature.com
·
1d
🎴
Anki
Functional
Optics
for Modern Java
blog.scottlogic.com
·
1d
🛡️
Error Handling
Space Alignment Matters: The Missing Piece for
Inducing
Neural Collapse in
Long-Tailed
Learning
sonomarpa.sonoma.lib.ca.us
·
9h
🧮
Embeddings
Savior
: Low-Level Design
dev.to
·
2h
·
Discuss:
DEV
🔨
Incremental Compilation
models have some pretty
funny
attractor
states
lesswrong.com
·
11h
🔲
Cellular Automata
dnaHNet
: A Scalable and Hierarchical Foundation Model for
Genomic
Sequence Learning
arxiv.org
·
1d
🔄
Burrows-Wheeler Transform
January 2026
Retrospective
:
Refactoring
English: Month 14
mtlynch.io
·
1d
🌳
Tree-sitter
Functional
Programming
in an LLM World
notes.druchan.com
·
2d
λ
Functional Programming
Quick
Stack
Tiedown
artlu.bearblog.dev
·
1d
🏗️
Cranelift
Pratt
Parsers
: Expression Parsing Made Easy
journal.stuffwithstuff.com
·
5d
🌳
Pratt Parsing
Larger
AI Models Are Not Always Better At
Remembering
Facts, Research Reveals
quantumzeitgeist.com
·
16h
🗜️
Huffman Coding
rouzbehsbz/spenta
: Fast data-parallel iterator for Go
github.com
·
13h
·
Discuss:
r/golang
⏭️
Skip Lists
wordchipper
- my next-gen LLM tokenizer; looking for
LTR
release help
docs.rs
·
3d
·
Discuss:
r/rust
🍱
Nom
Loading...
Loading more...
« Page 1
•
Page 3 »
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