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
📜 Proof Languages
Curry-Howard, Proposition Types, Constructive Logic, Verification
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
115091
posts in
1.51
s
DASL
: Web
Tiles
dasl.ing
·
11h
·
Discuss:
Hacker News
🌐
WASM Runtimes
Multiplex
Thinking: Reasoning via Token-wise
Branch-and-Merge
gmlr-penn.github.io
·
2d
🗺️
Region Inference
User:
Yayimhere/Cleverxia
Collab
esolangs.org
·
1d
✨
Gleam
DCP-o-matic • Re: CPL as
compositions
and multiple
CPLs
dcpomatic.com
·
6h
🔧
Assembly DSLs
LLM Performance in
Astro
, React,
Tailwind
and Cloudflare
10xbench.ai
·
7h
·
Discuss:
Hacker News
⚡
Performance
Machine Learning Based
SPAM
Detection Using
ONNX
in Java
foojay.io
·
22h
🔤
Language Tokenizers
Why I Spent 5 Hours Finding a 20-Minute Fix: A Case for
Structured
Logging
nandishdave.world
·
21h
·
Discuss:
DEV
🎮
Language Ergonomics
Rewrote
my Node.js data generator in Rust. 20x faster, but the 15MB binary (vs 500MB node_
modules
) is the real win.
algomimic.com
·
7h
·
Discuss:
r/rust
📋
Tablegen
The
Friendly
Functional
Programming Language
ivylang.net
·
5d
⚡
functional programming
Agentic
Proof-Oriented
Programming
risemsr.github.io
·
5d
·
Discuss:
Lobsters
,
Hacker News
π
Pi Calculus
The Future of Software Engineering
poberezkin.com
·
2d
·
Discuss:
Hacker News
🎭
Program Synthesis
Differential
Logic
• 4
inquiryintoinquiry.com
·
2d
∫
Mathematical DSLs
wordchipper
- my next-gen LLM tokenizer; looking for
LTR
release help
docs.rs
·
1d
·
Discuss:
r/rust
🔤
Language Tokenizers
Secret
Criticism
medium.com
·
20h
·
Discuss:
Hacker News
🔗
Concatenative Theory
Just-in-Time
Ontological
Reframing
: Teaching Gemini to Route Around Its Own Safety Infrastructure
recursion.wtf
·
1d
🔄
Subinterpreters
Functional
Optics
for Modern Java
blog.scottlogic.com
·
2d
✨
Gleam
punctilio
: the best text
prettifier
lesswrong.com
·
36m
✨
Code Formatting
Pratt
Parsers
: Expression Parsing Made Easy
journal.stuffwithstuff.com
·
3d
📊
Pratt Parsers
JoostdeJonge/Know
: An open protocol for compiling proven LLM reasoning patterns into lightweight, reusable, human-readable
executables
.
github.com
·
1d
·
Discuss:
Hacker News
📐
Standard ML
First
Proof
| Research-Level
Math
for AI Evaluation
1stproof.org
·
4d
·
Discuss:
Hacker News
🧩
Constraint Solvers
Loading...
Loading more...
« Page 5
•
Page 7 »
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