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
🌳 Context free grammars
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
22999
posts in
231.8
ms
The AI
hater
’s guide to code with LLMs. This is an
interesti
...
kottke.org
·
19h
λ
Lambda Formalization
January 2026
Retrospective
:
Refactoring
English: Month 14
mtlynch.io
·
2d
⚡
Proof Automation
Table of
Contents
- Data Engineering for Large Models: Architecture,
Algorithms
& Projects
datascale-ai.github.io
·
12h
·
Discuss:
Lobsters
📋
Document Grammar
Barriers to Discrete Reasoning with Transformers: A Survey Across Depth,
Exactness
, and
Bandwidth
arxiv.org
·
1d
📼
Tape Combinators
A Unified Treatment of Substitution for
Presheaves
,
Nominal
Sets, Renaming Sets, and so on
arxiv.org
·
1d
🔲
Proof Irrelevance
Brand-Safe Image Gen: Custom
LoRAs
With
qwen-image-trainer-v2
hackernoon.com
·
15h
🗜️
LZW Variants
The Fastest Way to Prototype Agents:
Declare
the “What,” Let
ADK
Run the “How”
hackernoon.com
·
15h
⚡
Proof Automation
Show HN: Built
Vokab
: a vocabulary learning app built with
SwiftUI
vokab.net
·
5h
·
Discuss:
Hacker News
🌀
Brotli Dictionary
Presentation: Building
Embedding
Models for Large-Scale Real-World
Applications
infoq.com
·
1d
🧮
Vector Embeddings
Pratt
Parsers
: Expression Parsing Made Easy
journal.stuffwithstuff.com
·
6d
📝
Concrete Syntax
The
Fourth
Wave
of Computing
lucibrowser.com
·
1d
·
Discuss:
Hacker News
🖥️
Terminal Renaissance
Copyright office will not find human
authorship
where AI program
generates
works
congress.gov
·
1d
·
Discuss:
Hacker News
🗜️
LZW Variants
Lean
4 and the Curry–Howard
correspondence
wildonblog.wordpress.com
·
4d
⚔️
Lean Theorem
Turn natural language into
E2E
web app
tests
using AI
agenqa.com
·
1d
·
Discuss:
Hacker News
⚡
Proof Automation
Domain
Specific
Languages
martinfowler.com
·
4d
🗣️
Domain-Specific Languages
Painless
Activation
Steering
(PAS): Automated, Lightweight Post‑Training for LLM Behavior
sashacui.substack.com
·
9h
·
Discuss:
Substack
✨
Effect Handlers
What I’m Learning in Data Structures: The Algorithm Behind
Compression
(
bzip
, etc.)
dev.to
·
2d
·
Discuss:
DEV
📝
Text Compression
Chuck
Moore's Wonderful
colorForth
Programming Language and Operating System
colorforth.github.io
·
1d
·
Discuss:
Hacker News
📟
Terminal Typography
Something Big Is (Not)
Happening
aricolaprete.com
·
19h
·
Discuss:
Hacker News
⚖️
Hoare Logic
CodeCraft
IDE: An Open Source Platform for Interpretation, Conversion and Modernization of Legacy Systems in
Informix
4GL
dev.to
·
22h
·
Discuss:
DEV
⚙️
PL Implementation
Sign up or log in to see more results
Sign Up
Login
« 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