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
115791
posts in
4.93
s
Making an
archer
automaton
blog.adafruit.com
·
13h
📝
Rope Editors
PyBites
: How Dependency Injection makes your FastAPI Code Better
Testable
pybit.es
·
1d
🔧
API Design
Piloting
Wikidata
as an Authority Identifier: The (In)visible Women Project at the Smithsonian Institution
openhumanitiesdata.metajnl.com
·
1d
📇
Symbol Tables
Extractional
AI as
Opposed
to Conversational AI
normain.com
·
21h
·
Discuss:
Hacker News
🧠
Semantic Parsing
Adding Myers Diff To Share Link
Snapshots
In Big Sexy
Poems
bennadel.com
·
1d
📝
Editor Buffers
andywingo/wastrel
: WebAssembly-to-C compiler
codeberg.org
·
1d
🌐
WASM Runtimes
FOSDEM
2026
blogs.igalia.com
·
7h
💬
Smalltalk VMs
Learnings
from Creating a
GUI
Library
blog.s-schoener.com
·
2d
·
Discuss:
Lobsters
,
Hacker News
🎮
Language Ergonomics
How2Everything
: Mining the web to evaluate and improve LLMs on real-world
procedures
allenai.org
·
17h
·
Discuss:
Hacker News
🪜
Recursive Descent
Coding with Style
yamlscript.org
·
4d
✨
Code Formatting
Ai’s ‘
steering
’ Made Far More
Precise
With New Fine-Tuning Technique
quantumzeitgeist.com
·
1d
🪜
Recursive Descent
Railway
Oriented
Programming
fsharpforfunandprofit.com
·
4d
·
Discuss:
Hacker News
🚂
Error Monads
Hands-Free
Claude Code with the Agent
SDK
yberreby.com
·
13h
·
Discuss:
Hacker News
🔄
Incremental Lexing
An automated geometric space
curve
approach for designing dynamically
corrected
gates
nature.com
·
17h
⚡
Control Synthesis
LocalGPT
: A local AI assistant with
persistent
memory in a single binary
localgpt.app
·
1d
·
Discuss:
Hacker News
💬
Smalltalk VMs
Redefining
Go
Functions
pboyd.io
·
20h
·
Discuss:
Lobsters
,
Hacker News
,
r/golang
,
r/programming
🐹
Minimal Go
Tip of the Week #158:
Abseil
Associative
containers and contains()
abseil.io
·
3d
🗂️
Type Indexing
Tip of the Week #218:
Designing
Extension Points With
FTADLE
abseil.io
·
3d
🪆
Embedded DSLs
Interfaces
vs
Inheritance
(or, watch out for Go!)
artima.com
·
3d
🔗
Go Generics
Lists
and for-in
loops
github.com
·
2d
·
Discuss:
DEV
🔗
Concatenative Languages
Loading...
Loading more...
« Page 13
•
Page 15 »
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