Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
🤖 Abstract Machines
CESK Machine, WAM, Evaluation Models, Operational Semantics
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
184372
posts in
61.8
ms
AI
Runtime
Infrastructure
arxiv.org
·
4h
🔥
JIT Compilers
Extending Formal Verification to
Sequential
Circuits (U. of
Bremen
)
semiengineering.com
·
16h
📈
Monotonic Logic
Show HN:
Btrc
– I built a language with AI in a few weeknights that outputs
C11
github.com
·
15h
·
Discuss:
Hacker News
🧸
Toy Compilers
ACPBench
: Reasoning about Action, Change, and
Planning
arxiv.org
·
4h
🧩
Constraint Logic
TurboSparse
Efficiency: Achieving 97% Parameter Sparsity in
Mixtral-47B
hackernoon.com
·
6h
🚀
Tokenizer Performance
extended C*-
algebra
in
nLab
ncatlab.org
·
13h
🔗
Category Theory
Agentic Design
Patterns
: The 2026 Guide to Building
Autonomous
Systems
sitepoint.com
·
13h
🎭
Program Synthesis
How to
efficiently
learn the
necessary
tools and methods _around_ programming itself?
en.wikipedia.org
·
14h
·
Discuss:
r/learnprogramming
📐
Mathematical Computing
Empirical
, a language for time-series analysis
empirical-soft.com
·
10h
·
Discuss:
Hacker News
🔢
Algebraic Datatypes
Differential
Logic
• 15
inquiryintoinquiry.com
·
15h
🧩
Constraint Logic
Bridging
the Semantic Gap in Neural Network Execution and
Verification
for Safety-Critical Systems
dev.to
·
13h
·
Discuss:
DEV
🗺️
Region Inference
BinEnhance
: An Enhancement Framework Based on External Environment
Semantics
for Binary Code Search
papers.cool
·
1d
🔄
Binary Translation
FGRPO
: Fine-grained reasoning preference optimization with iterative
stabilization
for mathematical reasoning in large language model
sciencedirect.com
·
1d
🎯
Constraint Solving
Show HN:
Deterministic
symbolic memory layer for
grounding
LLMs
github.com
·
1d
·
Discuss:
Hacker News
📏
Linear Memory
An AI Odyssey, Part 1:
Correctness
Conundrum
johndcook.com
·
6h
🚂
Error Propagation
The
Worst
Language Won
theoryvc.com
·
1h
·
Discuss:
Hacker News
🌱
Tiny Languages
Show HN:
Timber
–
Ollama
for classical ML models, 336x faster than Python
news.ycombinator.com
·
1d
·
Discuss:
Hacker News
🌱
Minimal ML
Structured
Outputs
for LLMs
ternarysearch.blogspot.com
·
1d
·
Discuss:
Hacker News
,
ternarysearch.blogspot.com
🪜
Recursive Descent
Qwen 3.5 9B, 4B models beating
30B
,
80B
models
huggingface.co
·
13h
·
Discuss:
Hacker News
🏁
Language Benchmarks
A language
designed
for
machines
to write
negroniventurestudios.com
·
1d
·
Discuss:
Hacker News
✨
Gleam
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