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, Contract Programming, SMT Integration, Type Safety
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
18393
posts in
299.0
ms
Declarative
,
Reproducible
Emacs
irreal.org
·
2d
🧩
Shell Metaprogramming
Adaptive
Protein
Tokenization
arxiv.org
·
18h
📐
Binary Grammars
Using Large Language Models to Support Automation of Failure Management in CI/CD
Pipelines
: A Case Study in SAP
HANA
arxiv.org
·
18h
⚙️
Batch Processing
What
Bleeds
Through
futurisold.github.io
·
1d
·
Discuss:
Hacker News
🧪
Binary Fuzzing
React
Compiler
and why class objects can work against
memoization
anita-app.com
·
3d
·
Discuss:
Hacker News
🎯
Gradual Typing
I
Wrote
a
Scheme
in 2025
maplant.com
·
23h
·
Discuss:
Hacker News
🐚
Bash Combinators
brynary/attractor
: Full implementation of
StrongDM
Attractor specs in TypeScript
github.com
·
1d
·
Discuss:
Hacker News
🔗
Topological Sorting
Jacob
Boxerman
- Declarative,
Reproducible
Emacs with straight.el and use-package
jakebox.github.io
·
3d
·
Discuss:
Lobsters
,
Hacker News
🐚
Bash Combinators
Building a “
Bflix-Style
” Streaming Backend with Python (
FastAPI
+ Async Magic)
dev.to
·
19h
·
Discuss:
DEV
🌊
Streaming Systems
Show HN:
Elysia
JIT
"Compiler", why it's one of the fastest JavaScript framework
elysiajs.com
·
1d
·
Discuss:
Hacker News
,
r/javascript
,
r/node
🏗️
Compiler Archaeology
Electrobun
v1: Build fast, tiny, and cross-platform desktop apps with
TypeScript
blackboard.sh
·
1d
·
Discuss:
Hacker News
🔌
Interface Evolution
learning by
reverse
engineering
clymup.com
·
2d
🔓
Reverse engineering
10-Part Series on
Breadth-First
Traversals
in Haskell
doisinkidney.com
·
4d
·
Discuss:
Hacker News
🔗
Functional Compilers
Kubernetes Operator for automated
Jupyter
Notebook validation in
MLOps
pipelines
reddit.com
·
3d
·
Discuss:
r/kubernetes
✅
Archive Validation
The Hidden Cost of “Event-Driven Everything”: Why Most Systems Don’t Need
Kafka
(Yet)
dev.to
·
13h
·
Discuss:
DEV
🌊
Streaming Systems
abdimoallim/alloc
: A header-only C allocator library
github.com
·
1d
·
Discuss:
Hacker News
,
r/C_Programming
🧠
Memory Allocators
🎲
Piecemeal
Formal Verification: Cloudflare, Java Exceptions, and Rust
Mutexes
gavinhoward.com
·
4d
🦀
Rust Verification
Soft
Delete
Is a
Workaround
docs.eventsourcingdb.io
·
1d
·
Discuss:
Hacker News
⛏️
SQL Archaeology
stdlib
v7.2
erlang.org
·
3d
·
Discuss:
Hacker News
🦀
Rusty Databases
Python’s
Truthiness
: A Code Smell Worth
Sniffing
owl.billpg.com
·
3d
·
Discuss:
Hacker News
🧪
Binary Fuzzing
Loading...
Loading more...
« Page 5
•
Page 7 »
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