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
24180
posts in
1.45
s
Read more: Zurich sees rise in new
flats
despite more
demolitions
swissinfo.ch
·
11m
💿
FLAC Archaeology
Declarative
,
Reproducible
Emacs
irreal.org
·
3d
🧩
Shell Metaprogramming
On the way to step
functions
:
geneva
_drive
blog.julik.nl
·
4d
🦋
Format Metamorphosis
Issue 510
haskellweekly.news
·
5d
🛡️
Proof-Carrying Archives
An
in-kernel
machine-learning library
lwn.net
·
4d
🧠
Machine Learning
Built a tiny fast library for catching
obvious
prompt
injections
reddit.com
·
4d
·
Discuss:
r/golang
🧪
Binary Fuzzing
But .me can reveal actual values
pulled
from secret context without
revealing
the secret context.
dev.to
·
3d
·
Discuss:
DEV
🦠
Parasitic Archives
Flexible and
Economical
UTF-8
Decoder
bjoern.hoehrmann.de
·
3d
🔤
Character Encoding
learning by
reverse
engineering
clymup.com
·
3d
🔓
Reverse engineering
Quark
's
Outlines
: Python Code Blocks
dev.to
·
3d
·
Discuss:
DEV
🦀
Rust Macros
Is Reasoning
Capability
Enough
for Safety in Long-Context Language Models?
arxiv.org
·
1d
🌳
Context free grammars
Intermediate
Results on the Complexity of
STRIPS
$_{1}^{1}$
arxiv.org
·
1d
🎯
Performance Proofs
A Quick
Introduction
to
OxCaml
noelwelsh.com
·
6d
·
Discuss:
Hacker News
💧
Liquid Types
How to Program
Computers
(
KOS
)
fall.tr
·
5d
·
Discuss:
Lobsters
,
Hacker News
🔩
Systems Programming
Multi-Paxos
– Consensus in Distributed
Databases
arpitbhayani.me
·
4d
·
Discuss:
Hacker News
🤝
Paxos Consensus
8-piece
tablebase
development on Lichess (
op1
partial)
lichess.org
·
4d
·
Discuss:
Hacker News
🎯
Proof Tactics
I Built a 6
BIPS
JIT
in Five Months
unlikelyemphasis.substack.com
·
5d
·
Discuss:
Substack
⚙️
RISC-V Microcode
Compile
and Run Your First Program
emojicode.org
·
4d
·
Discuss:
Hacker News
🔗
Concatenative Programming
Profiling
Swift Applications on Windows and macOS with
Tracy
compositorapp.com
·
4d
·
Discuss:
Hacker News
🦀
Rust Macros
ahead-of-time wasm
gc
in
wastrel
wingolog.org
·
4d
·
Discuss:
Lobsters
,
Hacker News
⚙️
WASM Runtime
Loading...
Loading more...
« Page 14
•
Page 16 »
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