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
🔨 Compilers
Parser Design, Code Generation, Optimization, Language Design
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
19470
posts in
899.5
ms
Transformers Are Born Biased: Structural
Inductive
Biases at Random
Initialization
and Their Practical Consequences
arxiv.org
·
1d
🧠
Machine Learning
Automatic
Design of Optimization Test
Problems
with Large Language Models
arxiv.org
·
3d
🧪
Property-Based Testing
Feb
28 2026
nycresistor.com
·
5d
🤖
Advanced OCR
A Prompting Workflow for Web Development That
Reduces
AI
Hallucinations
hackernoon.com
·
4d
⚔️
Lean Tactics
Beyond Two
Towers
:
Re-architecting
the Serving Stack for Next-Gen Ads Lightweight Ranking Models…
medium.com
·
5d
📊
Feed Optimization
Software
Engineer
andreasgerstmayr.at
·
6d
🔗
Concatenative Programming
Wirth
's
Revenge
jmoiron.net
·
3d
·
Discuss:
Lobsters
,
Hacker News
,
Hacker News
⚡
Incremental Computation
Next.js
Sucks
; or Why I Wrote My Own
SSG
pcmaffey.com
·
4d
·
Discuss:
Hacker News
🎯
Gradual Typing
When Claude Doesn't
Understand
Your Project: How I Built an Agent to Fix
Context
Issues
johnoct.github.io
·
3d
·
Discuss:
Hacker News
🌳
Incremental Parsing
Semantic
Operators
: Run LLM
Queries
Directly in SQL
tacnode.io
·
4d
·
Discuss:
Hacker News
🧮
Datalog
Coding Agents Need More Than
Examples
. They Need
Guardrails
.
medium.com
·
4d
·
Discuss:
Hacker News
🦋
Format Evolution
Calling
Lean
Functions
As Python
Functions
philipzucker.com
·
5d
·
Discuss:
Lobsters
,
Hacker News
⚔️
Lean Tactics
Show HN: 32KB
deductive
engine that catches LLM
hallucinations
news.ycombinator.com
·
3d
·
Discuss:
Hacker News
👑
Isabelle
LLMs versus the
Halting
Problem: Revisiting Program
Termination
Prediction
orensultan.com
·
4d
·
Discuss:
Hacker News
✅
Formal Methods
How to Build Safe
Natural
Language-Driven
APIs
techcommunity.microsoft.com
·
4d
·
Discuss:
Hacker News
🌀
Brotli Internals
Plan–Code–
Execute
:
Designing
Agents That Create Their Own Tools
towardsdatascience.com
·
3d
🔗
Constraint Handling
5 Open Source Image
Editing
AI Models
kdnuggets.com
·
3d
🖼️
JPEG XL
MichiAI
: A
530M
Full-Duplex Speech LLM with ~75ms Latency Using Flow Matching
ketsuilabs.io
·
4d
·
Discuss:
Hacker News
🎙️
Whisper
Formally
Verifying
PBS Kids with
Lean4
shadaj.me
·
5d
·
Discuss:
Hacker News
⚔️
Lean Tactics
LLMs as the new high level language
federicopereiro.com
·
4d
·
Discuss:
Lobsters
,
Hacker News
🧩
WASM Components
Loading...
Loading more...
« Page 13
•
Page 15 »
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