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
19465
posts in
388.9
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
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
Beating context
rot
in Claude Code with
GSD
thenewstack.io
·
6d
·
Discuss:
Hacker News
🦀
Rust Macros
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
Writing an optimizing
tensor
compiler
from scratch
michaelmoroz.github.io
·
6d
·
Discuss:
Hacker News
🧮
Compute Optimization
Why AI
Deserves
Continuity
– A Framework for Persistent AI Relationships
news.ycombinator.com
·
5d
·
Discuss:
Hacker News
💾
Persistence Strategies
Scalable Power Sampling: Training-Free Reasoning for LLMs via
Distrib
Sharpening
medium.com
·
6d
·
Discuss:
Hacker News
🧠
Intelligence Compression
TI-99/4A
:
Revisiting
Implementation Strategies
bumbershootsoft.wordpress.com
·
6d
·
Discuss:
Hacker News
⚡
Homebrew CPUs
pydantic/monty
: A minimal, secure Python interpreter written in Rust for use by AI
github.com
·
6d
·
Discuss:
Lobsters
,
Hacker News
,
Hacker News
,
Hacker News
🦀
Rust Macros
Cycle
Time for
Agentic
Coding
cameronwestland.com
·
6d
·
Discuss:
Hacker News
🌊
Stream Processing
What
ICLR
2026
Taught
Us About Multi-Agent Failures
llmsresearch.substack.com
·
6d
·
Discuss:
Substack
,
r/LocalLLaMA
🤝
Consensus Networks
The
Innocent
ToList
() That’s Killing Your API
mhztoai.substack.com
·
6d
·
Discuss:
Substack
🧠
Memory Allocators
The Three
Abstractions
That Make AI Agents Real
vivekhaldar.com
·
6d
·
Discuss:
Hacker News
✨
Algebraic Effects
Narrowing
the
Cone
of Error in AI Development Workflows
drew.thecsillags.com
·
6d
·
Discuss:
Hacker News
⚡
Proof Automation
Lazy
imports using
wrapt
grahamdumpleton.me
·
6d
👑
Dependent Haskell
How to Run Claude Code for Free with Local and Cloud Models from
Ollama
towardsdatascience.com
·
6d
⟷
Bidirectional Programming
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