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
🔠 Type-Level Programming
Dependent Haskell, GADTs, Type Families, Kind System
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
19460
posts in
302.4
ms
AgentXRay
: White-Boxing Agentic Systems via Workflow
Reconstruction
arxiv.org
·
1d
📼
Tape Combinators
Evaluating Large Language Models on Solved and
Unsolved
Problems in Graph Theory:
Implications
for Computing Education
arxiv.org
·
1d
💻
Programming languages
How I Stopped
Babysitting
Claude Code (And Started
Walking
Away)
xr0am.substack.com
·
6d
·
Discuss:
Substack
🦀
Rust Macros
Show HN:
PolyMCP
– Expose
Python/TS
functions as MCP tools easily
news.ycombinator.com
·
6d
·
Discuss:
Hacker News
🔗
Functional Compilers
The
Bus
Factor
of Zero
arturdryomov.dev
·
6d
·
Discuss:
Hacker News
📏
Code Metrics
Swift
is a more
convenient
Rust
nmn.sh
·
6d
·
Discuss:
Hacker News
🔒
Type Safety
Introduction to
Algorithms
and Machine Learning from
Sorting
to Strategic Agents
justinmath.com
·
6d
·
Discuss:
Hacker News
🔲
Cellular Automata
Russ
Olsen
deprogrammaticaipsum.com
·
5d
🔒
Linear Types
Why AI
Deserves
Continuity
– A Framework for Persistent AI Relationships
news.ycombinator.com
·
6d
·
Discuss:
Hacker News
💾
Persistence Strategies
TI-99/4A
:
Revisiting
Implementation Strategies
bumbershootsoft.wordpress.com
·
6d
·
Discuss:
Hacker News
⚡
Homebrew CPUs
Cycle
Time for
Agentic
Coding
cameronwestland.com
·
6d
·
Discuss:
Hacker News
🌊
Stream Processing
The Three
Abstractions
That Make AI Agents Real
vivekhaldar.com
·
6d
·
Discuss:
Hacker News
✨
Algebraic Effects
Lazy
imports using
wrapt
grahamdumpleton.me
·
6d
👑
Dependent Haskell
Why you should
consider
F#
asfaload.com
·
1d
·
Discuss:
Hacker News
🔒
Type Safety
A Field Guide to
Federated
Optimization
dev.to
·
28m
·
Discuss:
DEV
🤐
Secure Multiparty
Top 5 Programming
Languages
Dominating
2026
dev.to
·
5h
·
Discuss:
DEV
🔩
Systems Programming
Towards self-driving
codebasesWe
're making a part of our multi-agent research
harness
available to try today in preview.research
cursor.com
·
2d
·
Discuss:
Hacker News
,
Hacker News
⚡
Incremental Computation
A
Journey
into Understanding the
IDE
Bus
crowdsupply.com
·
2d
·
Discuss:
Hacker News
🧲
RISC-V Archaeology
Thoughts
on a UI for building trust in
LLM-generated
code
shreyaw.com
·
6d
·
Discuss:
Hacker News
📏
Code Metrics
Italian police fire
tear
gas as protesters clash near Winter Olympics hockey
venue
the-independent.com
·
29m
🎫
Kerberos Attacks
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