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
183893
posts in
11.6
ms
Extending Formal Verification to
Sequential
Circuits (U. of
Bremen
)
semiengineering.com
·
15h
📈
Monotonic Logic
TurboSparse
Efficiency: Achieving 97% Parameter Sparsity in
Mixtral-47B
hackernoon.com
·
5h
🚀
Tokenizer Performance
Show HN:
Btrc
– I built a language with AI in a few weeknights that outputs
C11
github.com
·
14h
·
Discuss:
Hacker News
🧸
Toy Compilers
Agentic Design
Patterns
: The 2026 Guide to Building
Autonomous
Systems
sitepoint.com
·
12h
🎭
Program Synthesis
extended C*-
algebra
in
nLab
ncatlab.org
·
12h
🔗
Category Theory
How to
efficiently
learn the
necessary
tools and methods _around_ programming itself?
en.wikipedia.org
·
12h
·
Discuss:
r/learnprogramming
📐
Mathematical Computing
Grammar-Constrained (
CFL
) Reachability:
Subcubic
Preprocessing, Indexing Trade-offs, and Structured Decoding Semantics
arxiv.org
·
1d
🔗
Lexical Scoping
Empirical
, a language for time-series analysis
empirical-soft.com
·
9h
·
Discuss:
Hacker News
🔢
Algebraic Datatypes
Differential
Logic
• 15
inquiryintoinquiry.com
·
14h
🧩
Constraint Logic
FGRPO
: Fine-grained reasoning preference optimization with iterative
stabilization
for mathematical reasoning in large language model
sciencedirect.com
·
1d
🎯
Constraint Solving
Bridging
the Semantic Gap in Neural Network Execution and
Verification
for Safety-Critical Systems
dev.to
·
12h
·
Discuss:
DEV
🗺️
Region Inference
BinEnhance
: An Enhancement Framework Based on External Environment
Semantics
for Binary Code Search
papers.cool
·
1d
🔄
Binary Translation
Show HN:
Deterministic
symbolic memory layer for
grounding
LLMs
github.com
·
23h
·
Discuss:
Hacker News
📏
Linear Memory
Can Unified Generation and Understanding Models Maintain Semantic
Equivalence
Across Different Output
Modalities
?
arxiv.org
·
1d
🌉
Cross-Language AST
Structured
Outputs
for LLMs
ternarysearch.blogspot.com
·
1d
·
Discuss:
Hacker News
,
ternarysearch.blogspot.com
🪜
Recursive Descent
An AI Odyssey, Part 1:
Correctness
Conundrum
johndcook.com
·
5h
🚂
Error Propagation
The
Worst
Language Won
theoryvc.com
·
23m
·
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
Qwen 3.5 9B, 4B models beating
30B
,
80B
models
huggingface.co
·
12h
·
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