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
17152
posts in
206.1
ms
Declarative
,
Reproducible
Emacs
irreal.org
·
2d
🧩
Shell Metaprogramming
Adaptive
Protein
Tokenization
arxiv.org
·
1d
📐
Binary Grammars
Using Large Language Models to Support Automation of Failure Management in CI/CD
Pipelines
: A Case Study in SAP
HANA
arxiv.org
·
1d
⚙️
Batch Processing
Introducing
mjmx
: a custom
JSX
runtime for mjml
yieldcode.blog
·
3d
·
Discuss:
Hacker News
🧩
WASM Components
What
Bleeds
Through
futurisold.github.io
·
1d
·
Discuss:
Hacker News
🧪
Binary Fuzzing
Show HN:
A2A
Protocol
– Infrastructure for an Agent-to-Agent Economy
news.ycombinator.com
·
1d
·
Discuss:
Hacker News
🌐
Protocol Synthesis
How the GNU C Compiler became the
Clippy
of
cryptography
theregister.com
·
18h
·
Discuss:
Hacker News
,
r/programming
🔓
Password Cracking
A
Newbie
's First
Contribution
to (Rust for) Linux
blog.buenzli.dev
·
1d
·
Discuss:
Hacker News
🦀
Rust Macros
Some
thoughts
on LLM coding
blog.dave.tf
·
1d
·
Discuss:
Hacker News
📏
Code Metrics
An
attempt
at a
First-Proof
AI challenge
abhvio.us
·
1d
·
Discuss:
Hacker News
🎯
Performance Proofs
pavelsukhachev/hybrid-orchestrator
: Hybrid AI orchestration framework for reliable financial services automation. Design patterns for
coordinating
human workers and AI agents.
github.com
·
6h
·
Discuss:
Hacker News
🏠
Homelab Orchestration
Extracting
Xcode
's Claude Code Prompt
jackpearce.co.uk
·
2d
·
Discuss:
Hacker News
🌳
Incremental Parsing
React
Compiler
and why class objects can work against
memoization
anita-app.com
·
3d
·
Discuss:
Hacker News
🎯
Gradual Typing
Building a battle tested C
compiler
in a new language using
Codex
moonbitlang.com
·
4d
·
Discuss:
Hacker News
🏗️
Compiler Archaeology
Jacob
Boxerman
- Declarative,
Reproducible
Emacs with straight.el and use-package
jakebox.github.io
·
3d
·
Discuss:
Lobsters
,
Hacker News
🐚
Bash Combinators
I
Wrote
a
Scheme
in 2025
maplant.com
·
1d
·
Discuss:
Hacker News
🐚
Bash Combinators
Building a “
Bflix-Style
” Streaming Backend with Python (
FastAPI
+ Async Magic)
dev.to
·
1d
·
Discuss:
DEV
🌊
Streaming Systems
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
·
19h
·
Discuss:
DEV
🌊
Streaming Systems
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