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
74089
posts in
1.18
s
Gillian
Debugging:
Swinging
Through the (Compositional Symbolic Execution) Trees, Extended Version
arxiv.org
·
14h
🔍
KLEE
RustCompCert
: A Verified and Verifying Compiler for a Sequential
Subset
of Rust
arxiv.org
·
14h
🦀
Rust
Ari
Lamstein
: New GeoPandas Tutorial Published on
RealPython
arilamstein.com
·
23h
🐻❄️
Polars
A
Practitioner
’s Guide to
Taxonomies
, Part III
jessicatalisman.substack.com
·
15h
·
Discuss:
Substack
🏗️
Information Architecture
Adding Myers Diff To Share Link
Snapshots
In Big Sexy
Poems
bennadel.com
·
1d
📰
Feed Readers
Sneaky
quokka
: Testing and debugging with LLMs
honnibal.dev
·
10h
✅
Property Testing
Building Smarter AI: 16 RAG
Approaches
for
Accuracy
, Memory, and Reasoning
mvineetsharma.medium.com
·
1d
🔍
RAG
Show HN:
C-CMCP
–
Validated
AI development workflow with quality gates
news.ycombinator.com
·
1d
·
Discuss:
Hacker News
🏗️
Cranelift
hsutter/cppfront
: A personal experimental C++ Syntax 2 -> Syntax 1 compiler
github.com
·
1d
🔨
Incremental Compilation
The
Blurry
Boundaries
Between Programming and Direct Use
joshuahhh.com
·
3h
·
Discuss:
Hacker News
🎭
Program Synthesis
Quick
Comparison
of
JVM
Languages
jvmhost.com
·
6h
·
Discuss:
Hacker News
🏗️
Cranelift
Rust Memory Management: The
Playroom
Analogy
adacore.com
·
5h
·
Discuss:
Hacker News
🦀
Rust
Testing 80 LLMs on
spatial
reasoning on
grids
mihai.page
·
1d
·
Discuss:
Hacker News
🎲
Deterministic Simulation
Well-Typed.Com
:
hs-bindgen
0.1-alpha release
well-typed.com
·
19h
·
Discuss:
Lobsters
,
Hacker News
📦
Serde
SAST vs DAST vs (
IAST/RASP
): Quick AppSec Checklist
codereviewlab.com
·
5h
·
Discuss:
DEV
🔍
eBPF Verifier
I got tired of
copying
AI output between tools, so I built a system to keep context
intact
miniloop.ai
·
26m
·
Discuss:
DEV
🤖
Automation
Learn
Weird
Programming
Languages
okienko.day
·
1d
·
Discuss:
Hacker News
🔨
Compiler Design
Colab
marketplace.visualstudio.com
·
5h
🧮
Vector Databases
Import AI 444: LLM
societies
; Huawei makes kernels with AI;
ChipBench
importai.substack.com
·
1d
·
Discuss:
Substack
💬
Prompt Engineering
Scheme-JS: A Scheme
Interpreter
with Transparent JavaScript
Interoperability
furious-ideas.blogspot.com
·
1d
⚙️
SWC
Loading...
Loading more...
« Page 2
•
Page 4 »
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