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
📝 Lexer Generators
Flex, Regular Expressions, DFA Construction, Scanner Generation
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
80146
posts in
529.3
ms
Towards Real-World Industrial-Scale Verification: LLM-Driven Theorem
Proving
on
seL4
arxiv.org
·
10h
🧮
Theorem Provers
Number
Builder
: can you build up from 1 to the target?
aperiodical.com
·
1d
🌿
Trie Variants
LOCA-bench
: Benchmarking Language Agents Under
Controllable
and Extreme Context Growth
arxiv.org
·
10h
🔄
Incremental Parsers
If you
touch
PDFs
at all, you’ll want this all-in-one tool
mashable.com
·
1d
📝
Text Editors
Learn
Java
Online: A Step-by-Step Guide for
Beginners
wscubetech.com
·
1d
·
Discuss:
DEV
🎓
Teaching Compilers
IEEVis
submission
template
notes.billmill.org
·
23h
📋
Backus-Naur Form
Modernizing
my 150-line Python search engine: Yahoo!
dumps
-> Hugging Face 🤗
bart.degoe.de
·
20h
·
Discuss:
Hacker News
🌱
Minimal ML
Stop Writing
Boilerplate
: How I Built a Code Generator to Automate
NestJS
Development
dev.to
·
2d
·
Discuss:
DEV
🤖
Code Generation
Writing a
ledger-cli
Language Server
Protocol
with claude
frdmtoplay.com
·
1d
🔒
Rust Borrowing
AI for
PHP
Developers. Practical Use of
TransformersPHP
dev.to
·
17h
·
Discuss:
DEV
🌉
Language Bridges
Differential
Logic
• 4
inquiryintoinquiry.com
·
2d
∫
Mathematical DSLs
Relay
Lang –
Async
first programming language
harrisonerd.com
·
15h
·
Discuss:
Hacker News
🌊
Async Compilers
llama.cpp
guide - Running LLMs
locally
, on any hardware, from scratch
blog.steelph0enix.dev
·
1d
🏗️
LLVM
Built an AI pitch deck generator in 3 months. Not sure if it's
useful
or just another thing
nobody
needs
pitchh.app
·
1d
·
Discuss:
r/SideProject
🌪️
V8 TurboFan
From
NLS
: Many Faces of BARD: Advanced Searching on the
DA2
; Thursday, February 12, 7:00 PM Eastern Time
groups.io
·
2d
💬
Interactive REPLs
Learning Rust:
Custom
Error
types
that actually work!
rup12.net
·
16h
·
Discuss:
Lobsters
,
Hacker News
🛡️
Error Handling
Show HN:
Merlin
(
trymerlin.ai
) – Exam creation tool for educators
news.ycombinator.com
·
22h
·
Discuss:
Hacker News
💬
Interactive REPLs
Building a Scalable
URL
Shortener
github.com
·
3h
·
Discuss:
DEV
⚡
Incremental Parsing
Drop #769 (2026-02-09):
Mostly
Mail And
Meetings
dailydrop.hrbrmstr.dev
·
1d
💬
Smalltalk VMs
Mastering
Authentication
in MCP: An AI Engineer’s Comprehensive Guide
pub.towardsai.net
·
1d
🔗
Hash Functions
Loading...
Loading more...
« Page 6
•
Page 8 »
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