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
🔗 Dependent Types
Idris, Agda, Proof Assistants, Type-Level Programming
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
73154
posts in
941.3
ms
Uncovering
Hidden
Informations
whiteravendev.itch.io
·
1d
🔍
Reverse Engineering
Optimal
Abstractions
for Verifying Properties of Kolmogorov-Arnold Networks (
KANs
)
arxiv.org
·
1d
🧮
SMT Solvers
Implementing
Grassroots
Logic Programs with
Multiagent
Transition Systems and AI
arxiv.org
·
1d
🗳️
Raft Consensus
Build an AI RAG
Chatbot
with
n8n
, Google Drive & Gemini
lumberjack.so
·
2d
💬
Prompt Engineering
Weeknote
06/2026
blog.dougbelshaw.com
·
1d
📔
Journaling
learning by
reverse
engineering
clymup.com
·
2d
🔍
Reverse Engineering
Show HN:
Elysia
JIT
"Compiler", why it's one of the fastest JavaScript framework
elysiajs.com
·
2d
·
Discuss:
Hacker News
,
r/javascript
,
r/node
🏗️
Pavex
Running
Pydantic
’s Monty Rust
sandboxed
Python subset in WebAssembly
simonwillison.net
·
3d
·
Discuss:
Hacker News
🕸️
WebAssembly
Jacob
Boxerman
- Declarative,
Reproducible
Emacs with straight.el and use-package
jakebox.github.io
·
3d
·
Discuss:
Lobsters
,
Hacker News
📦
uv
Taming the Regex Monster: Optimizing Massive
Literal
Alternations
modern-c.blogspot.com
·
4d
·
Discuss:
r/golang
🔤
Suffix Automata
Continual
learning and the post
monolith
AI era
baseten.co
·
3d
·
Discuss:
Hacker News
📱
Edge AI
Finding My
Spark
Again: A Month With
Codex
dev.to
·
1d
·
Discuss:
DEV
🔧
DevOps
iczelia/kamilalisp
: a functional, flexible and concise lisp.
github.com
·
6d
🧮
MKL
Cross
compiling
made easy, using
Clang
and LLVM
mcilloni.ovh
·
2d
🔨
LLVM
Unravel
Engine: Cross-Platform C++20 Game Engine with
Wysiwyg
Editor
github.com
·
1d
·
Discuss:
Hacker News
🎮
Game Engines
Software design is now
cheap
dottedmag.net
·
2d
·
Discuss:
Hacker News
🎨
Design Systems
Kubernetes Operator for automated
Jupyter
Notebook validation in
MLOps
pipelines
reddit.com
·
3d
·
Discuss:
r/kubernetes
🚀
MLOps
How to set up Claude Code: a
context-first
approach
dhirajtourani.com
·
2d
·
Discuss:
Hacker News
,
r/programming
🎭
Program Synthesis
*META‑Discover: An Automated Knowledge‑Graph‑Driven Pipeline for Emergent Topological
Invariants
in High‑Dimensional Random
Simplicial
Complexes*
freederia.com
·
3d
🔀
Topological Sorting
Experiments
in building
bespoke
tools with AI
knlb.dev
·
1d
·
Discuss:
Hacker News
💬
Prompt Engineering
Loading...
Loading more...
« Page 17
•
Page 19 »
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