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
🏗️ Dune
OCaml Build System, Package Management, Compilation, Monorepos
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
8575
posts in
106.3
ms
Dockerizing
Proxmox Backup Server: Solving RAM Squeeze and Circular
Dependencies
in my homelab, including pre-build image
ramon.vanraaij.eu
·
11h
·
Discuss:
r/homelab
🐳
Containerization
Paper: Prompt Optimization Makes
Misalignment
Legible
lesswrong.com
·
1d
✓
Automated Theorem Proving
Compiler-Guided
Inference-Time Adaptation: Improving GPT-5 Programming Performance in
Idris
arxiv.org
·
1d
⚙️
PL Implementation
A Unified Treatment of Substitution for
Presheaves
,
Nominal
Sets, Renaming Sets, and so on
arxiv.org
·
1d
🔁
Fixed-Point Theory
Dyad
2.0: What Agentic AI means for the Future of Computer
Languages
- Blog
juliahub.com
·
1d
·
Discuss:
Hacker News
🤖
Program Synthesis
A
stack-buffer-overflow
exercise with
AddressSanitizer
and PostgreSQL
enterprisedb.com
·
1d
·
Discuss:
Lobsters
,
Hacker News
🎯
GADT
Find the right local LLM for your
exact
hardware
localclaw.io
·
23h
·
Discuss:
Hacker News
🐫
Embedded OCaml
OpenClaw
Hub: A Platform for
Managing
OpenClaw
Skills
openclawskill.net
·
22h
·
Discuss:
Hacker News
🔧
DevOps
The programming language after
Kotlin
– with the
creator
of
Kotlin
newsletter.pragmaticengineer.com
·
1d
·
Discuss:
Lobsters
,
Hacker News
⚙️
Compiler Design
Forge
: Scalable Agent
RL
Framework and Algorithm
minimax.io
·
22h
·
Discuss:
Hacker News
🔲
Cellular Automata
From 34% to 96%: The
Porting
Initiative
Delivers
hologram.page
·
2d
·
Discuss:
Hacker News
🌐
NetworkProtocols
Garnix
Blog:
Forwardly-evaluated
build systems
garnix.io
·
2d
·
Discuss:
Lobsters
,
Hacker News
💾
Cachix
Why Production-Like Data Is the Real Bottleneck by
Claudiu
Dascalescu
xata.io
·
11h
·
Discuss:
Hacker News
🔄
Reproducible Builds
Resurrecting
_why's
Dream
schwadlabs.io
·
1d
·
Discuss:
Hacker News
💾
Retro Computing
Show HN: Latent-k –
Persistent
dependency
map to reduce AI coding token usage
latentk.org
·
2d
·
Discuss:
Hacker News
📦
OPAM
Claug
: A public log of Claude Code
sessions
howinator.io
·
14h
·
Discuss:
Hacker News
💬
Mach Messages
SMTLIB
as a
Compiler
IR I
philipzucker.com
·
5d
·
Discuss:
Hacker News
🔧
ppx
LangChain
Agent Testing Guide Tool (Free)
news.ycombinator.com
·
15h
·
Discuss:
Hacker News
🧪
Property-Based Testing
Design Decision:
Technical
Debt in
BillaBear
iain.rocks
·
19h
·
Discuss:
Hacker News
,
r/programming
🔬
Static Analysis
Zvec
: SQLite-like
simplicity
in an embedded vector database (By Alibaba)
zvec.org
·
1d
·
Discuss:
Hacker News
🧮
Z3 Solver
Sign up or log in to see more results
Sign Up
Login
« Page 2
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