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
24255
posts in
1.59
s
On the way to step
functions
:
geneva
_drive
blog.julik.nl
·
4d
🦋
Format Metamorphosis
Automatic
Programming
notes.billmill.org
·
6d
⚡
Proof Automation
Deterministic
AI
Orchestration
: A Platform Architecture for Autonomous Development
praetorian.com
·
5d
⚙️
TLA+
[$]
Modernizing
swapping
: the end of the swap map
lwn.net
·
5d
🔗
Topological Sorting
Kubernetes Operator for automated
Jupyter
Notebook validation in
MLOps
pipelines
reddit.com
·
4d
·
Discuss:
r/kubernetes
✅
Archive Validation
Flexible and
Economical
UTF-8
Decoder
bjoern.hoehrmann.de
·
3d
🔤
Character Encoding
learning by
reverse
engineering
clymup.com
·
3d
🔓
Reverse engineering
How I Built a Random Number
Generator
(
Sort
Of)
dev.to
·
3d
·
Discuss:
DEV
🔢
Bitwise Algorithms
Aeon
: A Zero-Allocation Go Time Library That Treats Time as "Containers" Rather Than "
Offsets
"
dev.to
·
4d
·
Discuss:
DEV
🐚
Shell Calculus
Grounding Generative
Planners
in
Verifiable
Logic: A Hybrid Architecture for Trustworthy Embodied AI
arxiv.org
·
1d
📏
Linear Logic
Is Reasoning
Capability
Enough
for Safety in Long-Context Language Models?
arxiv.org
·
1d
🌳
Context free grammars
Understanding How GIL Affects
Checkpoint
Performance in
PyTorch
Training
shayon.dev
·
4d
·
Discuss:
Hacker News
⚡
Cache Coherence
Eclipse
: A
Hexagonal
Strategy Game
hermandaniel.com
·
5d
·
Discuss:
Hacker News
🎯
Emulation Accuracy
On The
Crank
Spectrum
exple.tive.org
·
4d
·
Discuss:
Lobsters
,
Hacker News
🖥️
Terminal Renaissance
Both GCC and
Clang
generate
strange/inefficient
code
codingmarginalia.blogspot.com
·
4d
·
Discuss:
Hacker News
,
Hacker News
🚀
Compiler Optimizations
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
I Built a 6
BIPS
JIT
in Five Months
unlikelyemphasis.substack.com
·
4d
·
Discuss:
Substack
⚙️
RISC-V Microcode
8-piece
tablebase
development on Lichess (
op1
partial)
lichess.org
·
3d
·
Discuss:
Hacker News
🎯
Proof Tactics
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