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
Type-level Programming, Proof-carrying Code, Agda, Type Safety
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
24115
posts in
1.18
s
ABC-Bench
and the Real Test for AI
Engineers
: Can It Run End-to-End?
hackernoon.com
·
2d
🔍
Concolic Testing
Introducing
TealTiger
: AI Security & Cost Control Made Simple
dev.to
·
2d
·
Discuss:
DEV
🌀
Brotli Internals
CReact
:
JSX
meta-execution engine v0.3.0
dev.to
·
3d
·
Discuss:
DEV
🦀
Rust Macros
Why Large Language Models Make Terrible
Compilers
— And Why the Industry Keeps Trying
Anyway
webpronews.com
·
4d
🏗️
Compiler Archaeology
🎲
Piecemeal
Formal Verification: Cloudflare, Java Exceptions, and Rust
Mutexes
gavinhoward.com
·
6d
🦀
Rust Verification
Dynamical
sequences
: closure properties and automatic identity
proving
arxiv.org
·
1d
🎯
Performance Proofs
Is Reasoning
Capability
Enough
for Safety in Long-Context Language Models?
arxiv.org
·
1d
🌳
Context free grammars
Why you should
consider
F#
asfaload.com
·
5d
·
Discuss:
Hacker News
🔒
Type Safety
Dependency
Resolution
Methods
nesbitt.io
·
4d
·
Discuss:
Hacker News
🔗
Dependency Resolution
31-year old
VT220
terminfo
curses bug
lists.gnu.org
·
2d
·
Discuss:
Hacker News
📺
VT100
Turing's Parsing and
Brute
Force Are
Incorrect
zenodo.org
·
4d
·
Discuss:
Hacker News
🧮
Kolmogorov Complexity
A
Newbie
's First
Contribution
to (Rust for) Linux
blog.buenzli.dev
·
2d
·
Discuss:
Hacker News
🦀
Rust Macros
C and
Undefined
Behaviour
lelanthran.com
·
2d
·
Discuss:
Hacker News
,
r/C_Programming
,
r/programming
🦀
Rust Macros
First
Proof
| Research-Level
Math
for AI Evaluation
1stproof.org
·
5d
·
Discuss:
Hacker News
🎯
Performance Proofs
Portable
C
Compiler
en.wikipedia.org
·
3d
·
Discuss:
Hacker News
🏗️
Compiler Archaeology
From
Flops
to
Finality
: Solving Proof-of-Compute with Verifiable Intelligence
daifi.ai
·
6d
·
Discuss:
Hacker News
🎯
Performance Proofs
Notepad
++
DLL
Hijack (2017)
wikileaks.org
·
2d
·
Discuss:
Hacker News
🏺
Format Archaeology
Extracting
Xcode
's Claude Code Prompt
jackpearce.co.uk
·
3d
·
Discuss:
Hacker News
🌳
Incremental Parsing
Style tips for less
experienced
developers
coding with AI
honnibal.dev
·
5d
·
Discuss:
Hacker News
🎯
Gradual Typing
Introduction to
Abject-Oriented
Programming (2007)
typicalprogrammer.com
·
2d
·
Discuss:
Hacker News
🛠
Language Design
Loading...
Loading more...
« Page 9
•
Page 11 »
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