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
19295
posts in
180.2
ms
Automatic
Design of Optimization Test
Problems
with Large Language Models
arxiv.org
·
4d
🧪
Property-Based Testing
Gradually
Compacting
Large Language Models for Reasoning Like a Boiling Frog
arxiv.org
·
2d
🌳
Context free grammars
Feb
28 2026
nycresistor.com
·
5d
🤖
Advanced OCR
A Prompting Workflow for Web Development That
Reduces
AI
Hallucinations
hackernoon.com
·
5d
⚔️
Lean Tactics
Beyond Two
Towers
:
Re-architecting
the Serving Stack for Next-Gen Ads Lightweight Ranking Models…
medium.com
·
5d
📊
Feed Optimization
Semantic
Operators
: Run LLM
Queries
Directly in SQL
tacnode.io
·
5d
·
Discuss:
Hacker News
🧮
Datalog
Calling
Lean
Functions
As Python
Functions
philipzucker.com
·
6d
·
Discuss:
Lobsters
,
Hacker News
⚔️
Lean Tactics
LLMs versus the
Halting
Problem: Revisiting Program
Termination
Prediction
orensultan.com
·
5d
·
Discuss:
Hacker News
✅
Formal Methods
Show HN: Build a coding agent in 500 lines (Pure Python, No
Vector
DBs
)
news.ycombinator.com
·
5d
·
Discuss:
Hacker News
⚔️
Lean Tactics
RFC 3284: The
VCDIFF
Generic
Differencing
and Compression Data Format
datatracker.ietf.org
·
5d
·
Discuss:
Hacker News
△
Delta Compression
How to Build Safe
Natural
Language-Driven
APIs
techcommunity.microsoft.com
·
5d
·
Discuss:
Hacker News
🌀
Brotli Internals
Plan–Code–
Execute
:
Designing
Agents That Create Their Own Tools
towardsdatascience.com
·
4d
🔗
Constraint Handling
5 Open Source Image
Editing
AI Models
kdnuggets.com
·
4d
🖼️
JPEG XL
MichiAI
: A
530M
Full-Duplex Speech LLM with ~75ms Latency Using Flow Matching
ketsuilabs.io
·
5d
·
Discuss:
Hacker News
🎙️
Whisper
Formally
Verifying
PBS Kids with
Lean4
shadaj.me
·
6d
·
Discuss:
Hacker News
⚔️
Lean Tactics
LLMs as the new high level language
federicopereiro.com
·
5d
·
Discuss:
Lobsters
,
Hacker News
🧩
WASM Components
Programming
with AI, Without the
Hype
albertovarela.net
·
4d
·
Discuss:
Hacker News
🏗️
Compiler Archaeology
Forcing
Rust: How Big Tech
Lobbied
the Government into a Language Mandate
medium.com
·
4d
·
Discuss:
Hacker News
🦀
Embedded Rust
The Architecture of Open Source Applications (Volume 1)
Berkeley
DB
aosabook.org
·
5d
·
Discuss:
Hacker News
📦
CBOR Extensions
Custom
tuning
parameters
futhark-lang.org
·
5d
·
Discuss:
Hacker News
🦀
Rust Macros
Loading...
Loading more...
« Page 15
•
Page 17 »
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