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
🔍 Refinement Types
Liquid Haskell, SMT Integration, Verification, Predicate Types
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
83198
posts in
245.5
ms
Learning to Repair
Lean
Proofs
from Compiler Feedback
arxiv.org
·
3d
🌳
Pattern Match Compilation
On The
Crank
Spectrum
exple.tive.org
·
21h
🔬
Nanopasses
Efficient
Benchmarking
of
Logical
Magic State
link.aps.org
·
2d
⚡
Interpreter Optimization
Plugging
into
MariaDB
tidesdb.com
·
1d
·
Discuss:
Hacker News
📋
Tablegen
Differential
Logic
• 1
inquiryintoinquiry.com
·
2d
🧩
Constraint Logic
Pydantic
Performance: 4 Tips on How to Validate Large
Amounts
of Data Efficiently
towardsdatascience.com
·
1d
📋
JSON Parsing
Parity
,
Sensitivity
, and Transformers
arxiv.org
·
1d
⚡
Partial Evaluation
Revisiting
DSA
Through Mini Projects #2: HTML Syntax
Validator
amelia2802.github.io
·
2d
·
Discuss:
DEV
⚡
Incremental Parsing
Learning
Swift
-
Generics
troz.net
·
4d
🦉
Swift Generics
To
Consume
or
Reference
in Rust
meejah.ca
·
1d
🔒
Rust Borrowing
ahead-of-time wasm
gc
in
wastrel
wingolog.org
·
1d
·
Discuss:
Lobsters
,
Hacker News
🌐
WASM Runtimes
Concurrency
Deep Dive: Memory Models, Lock-Free, and
RCU
dev.to
·
7h
·
Discuss:
DEV
🧠
Memory Models
Implementing
Automated Rules-Based
Evaluations
for LLM Applications
dev.to
·
2d
·
Discuss:
DEV
💬
Interactive REPLs
Rewriting
pycparser
with the help of an LLM
eli.thegreenplace.net
·
2d
·
Discuss:
Lobsters
,
Hacker News
🌲
Tree-sitter
What I
wish
I
knew
before building a vibe coding platform
imagine.dev
·
1d
·
Discuss:
Hacker News
⚡
Live Coding
codx-dev/msgpacker
: MessagePack serializer implementation for Rust / msgpack.org[Rust]
github.com
·
1d
·
Discuss:
Hacker News
🪆
Embedded DSLs
Clean
Coder
: The Dark Path (2017)
blog.cleancoder.com
·
3d
·
Discuss:
Hacker News
🚂
Error Propagation
AI +
Clojure
Functions in
YAML
yamlscript.org
·
16h
🔮
Clojure
Building Highly Efficient Inference System for
Recommenders
Using
PyTorch
pytorch.org
·
1d
·
Discuss:
Hacker News
✨
Gleam
Build LLM-Powered
Documentation
that Always Stays True to latest
codebeases
pub.towardsai.net
·
1d
📚
Self-Documenting Code
Loading...
Loading more...
« Page 6
•
Page 8 »
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