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
⚙ Automata Theory
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
23088
posts in
1.05
s
Structured
Context Engineering for File-Native
Agentic
Systems
simonwillison.net
·
2d
📋
Document Grammar
Double
Maths
First Thing: Issue
4B
aperiodical.com
·
1d
🔬
Lean
When is a
bug
not a
bug
?
blog.zarfhome.com
·
1d
🧪
Binary Fuzzing
The Return of
Algol
68
jxself.org
·
3d
🦀
Rust Borrowing
Fragments
: February 9
martinfowler.com
·
2d
🗣️
Domain-Specific Languages
A
practical
systems engineering guide:
Architecting
AI-ready infrastructure for the agentic era
thenewstack.io
·
2d
⚙️
TLA+
Fluent
mlajtos.github.io
·
1d
·
Discuss:
Lobsters
🔗
Concatenative Programming
A Small-Scale System for
Autoregressive
Program Synthesis Enabling Controlled
Experimentation
arxiv.org
·
1d
📼
Tape Combinators
Digitizing
the "
Shokunin
": How we encoded a Master's hammer strike into AI
yusukekaizen.substack.com
·
2h
·
Discuss:
Substack
🤖
AI Paleography
Information-Theoretic
Derivation
of Energy, Speed Bounds, and Quantum Theory
link.aps.org
·
20h
⚛️
Information Physics
Handwriting
vs AI: Real Performance of AI on Handwritten
Documents
hackernoon.com
·
1d
🤖
Manuscript AI
Building a
Regex
Engine with a team of parallel
Claudes
lesswrong.com
·
1d
🔍
RegEx Engines
Struggling
Towards an
Algebraic
Theory of Music
reasonablypolymorphic.com
·
1d
·
Discuss:
Hacker News
🎼
Audio Lambda Calculus
Computational
Explorations
on
Semifields
arxiv.org
·
1d
🌐
Computational Topology
Differential
Logic
• 3
inquiryintoinquiry.com
·
4d
⚡
Circuit Design
Architectural and Mathematical
Foundations
of Machine Learning: A
Rigorous
Synthesis of Theory, Geometry, and Implementation
chizkidd.github.io
·
19h
·
Discuss:
Hacker News
🧠
Machine Learning
The Solution to Prompt Injection: Mapping
SSL/TLS
Trust Architecture onto LLMs [pdf]
solvingpromptinjection.com
·
6h
·
Discuss:
Hacker News
🌐
NetworkProtocols
A
note
on
parameterized
testing
blog.gnoack.org
·
9h
🧪
Property-Based Testing
Architecture
of
SQLite
sqlite.org
·
21h
·
Discuss:
Hacker News
🗄️
SQLite Internals
maja0027/xi-lang
: A binary graph-based programming language designed for AI authorship, machine execution, and mathematical
completeness
.
github.com
·
1d
·
Discuss:
Hacker News
💻
Programming languages
Loading...
Loading more...
« Page 2
•
Page 4 »
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