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
112646
posts in
763.4
ms
Impredicativity
in Linear
Dependent
Type Theory
arxiv.org
·
3d
∀
Quantified Types
A
Weakest
Precondition
Calculus for Programs and Linear Temporal Specifications
arxiv.org
·
1d
🎭
Staged Interpreters
The missing
call-assign
operator
kevincox.ca
·
6h
·
Discuss:
Hacker News
😴
Lazy Evaluation
Show HN:
PolyMCP
–
Orchestrate
AI agents across Python tools and MCP servers
news.ycombinator.com
·
5h
·
Discuss:
Hacker News
🌙
Lua
EduC
++
Documentation
educplusplus.com
·
1d
·
Discuss:
r/cpp
🎓
Teaching Compilers
The programming language after
Kotlin
– with the
creator
of
Kotlin
newsletter.pragmaticengineer.com
·
1d
·
Discuss:
Lobsters
,
Hacker News
🌈
Gradual Languages
Addendum
: Data splitting against information leakage with
DataSAIL
nature.com
·
8h
🔄
Subinterpreters
Episode #284: Running Local LLMs With
Ollama
and
Connecting
With Python
realpython.com
·
9h
🌱
Minimal Schemes
A
RISC-V
vector
extension primer
blog.adafruit.com
·
1d
🔧
RISC-V
The
prehistory
of generative grammar and
Chomsky
’s debt to Emil Post
benjamins.com
·
1d
·
Discuss:
Hacker News
🎰
Parsing Machines
Associative
Methods
dev.to
·
1d
·
Discuss:
DEV
🔗
Lexical Scoping
How to think like a computer
scientist
: Learning with C
open.umn.edu
·
19h
·
Discuss:
r/C_Programming
🎭
Racket
Moltis
: Rust based AI assistant with memory, tools, and
self-extending
skills
moltis.org
·
1d
·
Discuss:
Hacker News
🚂
Cranelift Backend
Co-Routines
in 1-page of C (2013)
embeddedrelated.com
·
8h
·
Discuss:
Hacker News
🪄
C Metaprogramming
Introducing the
arXiv
Explorer
curtispoe.org
·
8h
💬
Interactive REPLs
Recursive
Language Models: Stop
Stuffing
the Context Window
nlp.elvissaravia.com
·
1d
🪜
Recursive Descent
Lost
Proofs
, Found
Proofs
: How AI
Unearthed
Forgotten Solutions
hackernoon.com
·
1d
🧩
Constraint Solvers
(Re)
Discovering
Natural
Laws
lesswrong.com
·
1d
🔗
Concatenative Theory
Lexer
, Parser,
Codegen
github.com
·
15h
·
Discuss:
DEV
📝
Lexer Generators
visual
feature board → AI-ready coding
prompts
magnetprompt.com
·
6h
·
Discuss:
Hacker News
🎭
Program Synthesis
Loading...
Loading more...
« Page 1
•
Page 3 »
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