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
73154
posts in
743.0
ms
TreeTensor
: Boost AI System on
Nested
Data with Constrained Tree-Like Tensor
arxiv.org
·
8h
🌳
Tree-sitter
Beyond Function-Level Analysis: Context-Aware Reasoning for
Inter-Procedural
Vulnerability
Detection
arxiv.org
·
1d
🧪
Jepsen Testing
Onboarding
in the
Ever-Changing
World of AI
playfulprogramming.com
·
1d
⚓
Anchors
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
Software Design by
Example
: A File
Viewer
third-bit.com
·
2d
📚
Stack Unwinding
Data-Oriented
Programming for
Java
: Beyond Records
openjdk.org
·
4d
🏗️
FoundationDB Layers
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
·
4d
·
Discuss:
Hacker News
🗺️
OpenStreetMap
Simplifying
State Management in
Flutter
with Command and Result
dev.to
·
17h
·
Discuss:
DEV
📝
Poem
Modern
JavaScript
Features You're Still Not Using (But Should) 🐍
dev.to
·
9h
·
Discuss:
DEV
🔮
Folly Futures
hanig/engram
: Personal knowledge graph and automation system
github.com
·
2d
🗂️
Obsidian
Groverkss/mlir-tutor
: Exercises for Learning MLIR (Originally written for
PPoPP
2026)
github.com
·
5d
·
Discuss:
Hacker News
,
r/Compilers
🚀
MLOps
Context
Is Part of the Game
joy.pm
·
2d
·
Discuss:
Hacker News
💬
Prompt Engineering
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
Toggling
Between Let and Let*
irreal.org
·
1d
🔁
eBPF Tail Calls
Loading...
Loading more...
« Page 15
•
Page 17 »
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