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
72752
posts in
778.4
ms
Adventures
in
Guix
packaging
osnews.com
·
1d
❄️
Nix
Writing a
ledger-cli
Language Server
Protocol
with claude
frdmtoplay.com
·
1d
💼
Thrift
Fibonacci
numbers and time-space
tradeoffs
johndcook.com
·
1d
⚖️
Y-Fast Tries
Writing a
ONNX
Neural Network Inference Engine from Scratch in C to run image classification with
MobileNetV2
flexw.github.io
·
1d
·
Discuss:
r/C_Programming
📱
Edge AI
Week 1: Why did I start learning Rust?
vitaliihonchar.com
·
2d
·
Discuss:
r/programming
🦀
Rust
Automatic
Programming
notes.billmill.org
·
5d
🎭
Program Synthesis
Protean
Compiler: An
Agile
Framework to Drive Fine-grain Phase Ordering
arxiv.org
·
1d
📊
Profile-Guided Optimization
Adaptive
Uncertainty-Aware
Tree Search for
Robust
Reasoning
arxiv.org
·
1d
⚖️
Y-Fast Tries
Software Design by
Example
: A File
Viewer
third-bit.com
·
2d
📚
Stack Unwinding
My Second Brain Never
Worked
. Then I Gave It a
Gardener
.
robdodson.me
·
1d
·
Discuss:
Hacker News
🌿
Digital Gardens
AWS
Lambda
with Rust and Closure
Syntax
aws.amazon.com
·
1d
·
Discuss:
r/rust
🦀
Rust Async
GeoGPT
– Chat-controlled
GIS
app built from a Jupyter Notebook
mljar.com
·
3d
·
Discuss:
Hacker News
🗺️
OpenStreetMap
Why I use
Typetify
: A Type-Safe Alternative to
Lodash
dev.to
·
2d
·
Discuss:
DEV
🦕
Deno
Building
Reliable
AI Applications: A
Validation
Strategy
dev.to
·
1d
·
Discuss:
DEV
🦙
Ollama
abdimoallim/alloc
: A header-only C allocator library
github.com
·
1d
·
Discuss:
Hacker News
,
r/C_Programming
💾
Memory Allocators
ctanas/tiles
:
Tagged
Instant Lightweight Emacs Snippets (TILES)
github.com
·
1d
·
Discuss:
Hacker News
🚀
Spacemacs
The Five
Types
of
Programmers
(2010)
stevenbenner.com
·
1d
·
Discuss:
Hacker News
🔨
Incremental Compilation
Next
Moca
Releases Agent Definition Language as an Open Source
Specification
infoq.com
·
1d
🦙
Ollama
I am
happier
writing code by
hand
abhinavomprakash.com
·
2d
·
Discuss:
Lobsters
,
Hacker News
🦀
Rust Macros
Mastering
Authentication
in MCP: An AI Engineer’s Comprehensive Guide
pub.towardsai.net
·
1d
🔑
Kanidm
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