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
24258
posts in
324.8
ms
San Jose parents rally to protest
elementary
school
closures
mercurynews.com
·
14m
💻
Local first
Tech bull Dan
Ives
says Wall Street's software skepticism is 'the most
disconnected
call that I've ever seen'
businessinsider.com
·
26m
🍎
Apple Computing
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
Aeon
: A Zero-Allocation Go Time Library That Treats Time as "Containers" Rather Than "
Offsets
"
dev.to
·
4d
·
Discuss:
DEV
🐚
Shell Calculus
Quark
's
Outlines
: Python Code Blocks
dev.to
·
3d
·
Discuss:
DEV
🦀
Rust Macros
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
A Neuro Symbolic Architecture For Induced
Epistemic
Agency and System 2 Reasoning in
Quantized
Large Language Models
papers.ssrn.com
·
5d
·
Discuss:
Hacker News
🔗
Constraint Handling
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
LLMs could be, but
shouldn
't be
compilers
alperenkeles.com
·
4d
·
Discuss:
Lobsters
,
Hacker News
💧
Liquid Types
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
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