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
🗺️ Region Inference
Memory Safety, Lifetime Analysis, MLKit, Region Types
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
81314
posts in
379.8
ms
Near-Oracle
KV
Selection via Pre-hoc
Sparsity
for Long-Context Inference
arxiv.org
·
16h
📋
JSON Parsing
Towards Real-World Industrial-Scale Verification: LLM-Driven Theorem
Proving
on
seL4
arxiv.org
·
16h
🧮
Theorem Provers
What I've Learned From
Digitizing
20 Million
Historical
Documents
noahdasanaike.github.io
·
1d
·
Discuss:
r/LocalLLaMA
🚀
Tokenizer Performance
The
JSNLV
Receptacle
jsnlxndrlv.neocities.org
·
14h
🔄
Bootstrapping
Interesting things about the
Lua
interpreter
thesephist.com
·
50m
🌙
Lua
Advancing
AI
benchmarking
with Game Arena
dev.to
·
3h
·
Discuss:
DEV
🏁
Language Benchmarks
Concurrency
Deep Dive: Memory Models, Lock-Free, and
RCU
dev.to
·
3d
·
Discuss:
DEV
🧠
Memory Models
models - A fast CLI and
TUI
for
browsing
AI models and coding agents.
terminaltrove.com
·
2h
🔮
Type Inference Visualization
Automated Reasoning checks
rewriting
chatbot
reference
implementation
aws.amazon.com
·
1d
✅
Type Checking
Fast
Autoscheduling
for Sparse ML
Frameworks
ajroot.pl
·
5d
·
Discuss:
Hacker News
,
r/Compilers
🚀
MLton
January 2026 Monthly report | Alternative Rust
Compiler
for
GCC
rust-gcc.github.io
·
8h
·
Discuss:
r/rust
🦀
MIR Optimization
Coding A PoS
Tagger
from Scratch — A Statistical Part-of-Speech
Tagger
|
NLP
pub.towardsai.net
·
23h
🔤
Language Tokenizers
ubiquitycluster/ubiquity
github.com
·
4h
🛡️
Capability VMs
Simplifying
assertions
with
lenses
blog.ploeh.dk
·
1d
🚂
Error Monads
coleifer/pysqlite3
: SQLite3 DB-API 2.0 driver from Python 3, packaged separately, with improvements
github.com
·
20m
💾
Minimal Databases
MiRAGE
: Open-source framework for multimodal
RAG
evaluation
news.ycombinator.com
·
6h
·
Discuss:
Hacker News
🔮
Metacircular Evaluators
A $
10K
Mac Studio Won’t
Replace
Your API Bill
iain.so
·
2d
🔄
Subinterpreters
A
Normalized
Gaussian
Wasserstein
Distance for Tiny Object Detection
paperium.net
·
2d
·
Discuss:
DEV
🌱
Minimal ML
Hey guys! I've been working on solving the bootstrap problem in
epistemic
uncert
...
news.ycombinator.com
·
7h
·
Discuss:
Hacker News
🔄
Bootstrapping
DeepChopper
model improves RNA sequencing research by mitigating
chimera
artifacts
phys.org
·
1d
📋
JSON Parsing
Loading...
Loading more...
« Page 7
•
Page 9 »
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