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
19453
posts in
156.5
ms
Differential
Logic
• 1
inquiryintoinquiry.com
·
2d
📏
Linear Logic
TimelyFreeze
: Adaptive Parameter Freezing Mechanism for Pipeline
Parallelism
arxiv.org
·
1d
🌊
Stream Processing
Steering
Large Reasoning Models towards
Concise
Reasoning via Flow Matching
arxiv.org
·
1d
🧮
Z3 Solver
Yet Another Set of Claude Code
Plugins
(But Maybe
Useful
?)
dev.to
·
1h
·
Discuss:
DEV
⚡
Proof Automation
Why Your Next AI Agent Should Be a
Microservice
(And How to Build It with C# &
Docker
)
dev.to
·
1d
·
Discuss:
DEV
🏠
Homelab Orchestration
🎉🎉🎉
NativePHP
for Mobile is Now Free 🎉🎉🎉
nativephp.com
·
2d
·
Discuss:
Hacker News
🌀
Brotli Internals
Building Highly Efficient Inference System for
Recommenders
Using
PyTorch
pytorch.org
·
1d
·
Discuss:
Hacker News
📊
Quantization
Show HN:
OpenSymbolicAI
– Agents with typed variables, not just context
stuffing
news.ycombinator.com
·
4d
·
Discuss:
Hacker News
⚔️
Lean Tactics
Show HN: I built a
dashboard
to stop AI agents from
burning
my API credits
github.com
·
1d
·
Discuss:
Hacker News
🏠
Homelab Pentesting
C Isn't A
Programming
Language
Anymore
faultlore.com
·
1d
·
Discuss:
Hacker News
🔩
Systems Programming
microsoft/litebox
: A security-focused library OS
supporting
kernel- and user-mode execution
github.com
·
1d
·
Discuss:
Hacker News
,
r/programming
🔌
Operating system internals
Introducing the
Metaflow-Kubeflow
Integration
blog.kubeflow.org
·
3d
·
Discuss:
Hacker News
🌊
Streaming Systems
How not to program in
Dyalog
APL
toolofthought.com
·
3d
·
Discuss:
Lobsters
,
Hacker News
✅
Format Verification
Handling
the Dual-Write Problem in
Distributed
Systems
auth0.com
·
2d
·
Discuss:
Hacker News
📝
Database WAL
Writing
the Code That
Powers
Your Code
thelinell.com
·
3d
·
Discuss:
Hacker News
📜
Proof Carrying Code
The LLM
spectrum
and
responsible
LLM use
martin.janiczek.cz
·
2d
·
Discuss:
Lobsters
,
Hacker News
💧
Liquid Types
Building a scalable code
modernization
solution with AWS
Transform
custom
aws.amazon.com
·
23h
🏠
Homelab Orchestration
My Experience with
Vibe
Coding
haskellforall.com
·
5d
·
Discuss:
Lobsters
,
Hacker News
,
r/programming
🦀
Rust Macros
Building
Production-Grade
AI Systems: The
Observability
Library That Actually Works
medium.com
·
2d
·
Discuss:
Hacker News
👁️
System Observability
Clankers
with
Claws
world.hey.com
·
2d
·
Discuss:
Hacker News
⚔️
Lean Tactics
Loading...
Loading more...
« Page 7
•
Page 9 »
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