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
121635
posts in
2.09
s
Multiplex
Thinking: Reasoning via Token-wise
Branch-and-Merge
gmlr-penn.github.io
·
3d
🗺️
Region Inference
DASL
: Web
Tiles
dasl.ing
·
1d
·
Discuss:
Hacker News
🌐
WASM Runtimes
User:
Yayimhere/Cleverxia
Collab
esolangs.org
·
2d
✨
Gleam
Logic
Puzzles
: Why the
Liar
Is the Helpful One
blog.szczepan.org
·
5d
·
Discuss:
Hacker News
⚖️
Inference Rules
LLM Performance in
Astro
, React,
Tailwind
and Cloudflare
10xbench.ai
·
1d
·
Discuss:
Hacker News
⚡
Performance
The Future of Software Engineering
poberezkin.com
·
3d
·
Discuss:
Hacker News
🎭
Program Synthesis
Just-in-Time
Ontological
Reframing
: Teaching Gemini to Route Around Its Own Safety Infrastructure
recursion.wtf
·
2d
🔄
Subinterpreters
Functional
Optics
for Modern Java
blog.scottlogic.com
·
3d
✨
Gleam
Why I Spent 5 Hours Finding a 20-Minute Fix: A Case for
Structured
Logging
nandishdave.world
·
2d
·
Discuss:
DEV
🎮
Language Ergonomics
I’m experimenting with a
stricter
way to handle AI answers that might not be
justified
.
layal-production.up.railway.app
·
3d
·
Discuss:
r/SideProject
🛡️
Parser Security
Tutorial
on
Agentic
Engine
pori.vanangamudi.org
·
3d
·
Discuss:
r/LocalLLaMA
🎭
Erlang OTP
Fragments
: February 9
martinfowler.com
·
2d
🎨
Domain-Specific Languages
Distributed
vs
centralized
agents
lesswrong.com
·
2d
📡
Protocol Buffers
The Adventures of a
Pythonista
in
Schemeland/30
artima.com
·
4d
🔧
Scheme Macros
On Meta-Level Adversarial
Evaluations
of (White-Box) Alignment
Auditing
lesswrong.com
·
1d
🎲
Parser Fuzzing
— ### Abstract In safety‑critical control systems, the formal verification of distributed consensus protocols is a
bottleneck
in achieving
certificatio
...
freederia.com
·
6d
🧩
SAT Solvers
Spider-Sense for LLM Agents:
Detect
Weird Stuff Before It
Owns
You
hackernoon.com
·
1d
🎭
Racket
Show HN: Self-hosted MCP server for SQL, SSH, and
FAISS
indexing
github.com
·
1d
·
Discuss:
Hacker News
🛡️
Capability VMs
Deciding the
Satisfiability
of Combined
Qualitative
Constraint Networks
arxiv.org
·
2d
🎯
Constraint Solving
What I’m Learning in Data Structures: The Algorithm Behind
Compression
(
bzip
, etc.)
dev.to
·
8h
·
Discuss:
DEV
📦
Compression Algorithms
Loading...
Loading more...
« Page 12
•
Page 14 »
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