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
📦 OPAM
OCaml Packages, Dependency Management, Package Repository
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
9043
posts in
97.7
ms
wiseprobe/patchpal
: An agentic coding and automation assistant, supporting both local and cloud LLMs.
github.com
·
13h
·
Discuss:
Hacker News
🧱
Immutable Infrastructure
IMITATOR4AMAS
: Strategy Synthesis for
STCTL
arxiv.org
·
21h
🐫
Embedded OCaml
Cross Compiling
CGO
with
Dagger
and Zig
johncodes.com
·
14h
·
Discuss:
Hacker News
🏗️
Dune
Proof-oriented
Programming in F*
fstar-lang.org
·
22h
·
Discuss:
Lobsters
🔗
Curry-Howard
Diagnosing
Structural
Failures
in LLM-Based Evidence Extraction for Meta-Analysis
arxiv.org
·
21h
📦
Opam
Allocators
from C to
Zig
antonz.org
·
14h
·
Discuss:
Lobsters
,
Hacker News
🏃
Escape Analysis
A
Conceptual
Framework for Exploration
Hacking
lesswrong.com
·
10h
🐫
OCaml
Go -
Unit
&
Integration
Testing
linkedin.com
·
1d
·
Discuss:
r/programming
🧪
Property-Based Testing
Rust
Standard
Library Challenges
rustfinity.com
·
1d
·
Discuss:
r/rust
🏗️
Dune
D
Programming
Language
dlang.org
·
21h
·
Discuss:
Hacker News
⚙️
Compiler Design
OPP
– An open protocol for AI image
provenance
that survives screenshots
github.com
·
2h
·
Discuss:
Hacker News
🔒
Protocol Verification
The
12-Factor
App - 15 Years later. Does it Still Hold Up in 2026?
lukasniessen.medium.com
·
14h
·
Discuss:
r/node
,
r/programming
🧱
Immutable Infrastructure
JUXT
Blog: From
specification
to stress test: a weekend with Claude
juxt.pro
·
2d
·
Discuss:
Hacker News
🛡️
seL4
The programming language after
Kotlin
– with the
creator
of
Kotlin
newsletter.pragmaticengineer.com
·
6h
·
Discuss:
Lobsters
⚙️
Compiler Design
models have some pretty
funny
attractor
states
lesswrong.com
·
5h
🔲
Cellular Automata
Show HN:
PolyMCP
–
Expose
Python functions as MCP tools
news.ycombinator.com
·
1d
·
Discuss:
Hacker News
🔀
OCaml Multicore
Dyad
2.0: What Agentic AI means for the Future of Computer
Languages
- Blog
juliahub.com
·
7h
·
Discuss:
Hacker News
🤖
Program Synthesis
Deferred
member
initialization
in C++
sandordargo.com
·
2d
·
Discuss:
Lobsters
📝
Nix Language
Show HN: Latent-k –
Persistent
dependency
map to reduce AI coding token usage
latentk.org
·
1d
·
Discuss:
Hacker News
🔧
ppx
Technical "
whitepaper
" for
afl-fuzz
lcamtuf.coredump.cx
·
11h
·
Discuss:
Lobsters
🔧
Unikernel Development
Loading...
Loading more...
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