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
9161
posts in
175.6
ms
Building
Reliable
AI Applications: A
Validation
Strategy
dev.to
·
4d
·
Discuss:
DEV
🔀
Brzozowski Derivatives
What Does The
Sonatype
2026 State of the Software Supply
Chain
Report Reveal?
i-programmer.info
·
3d
·
Discuss:
r/devops
,
r/programming
🔄
Reproducible Builds
We Build Software for
Humans
— Not for
Machines
. And That’s a Problem.
medium.com
·
3d
·
Discuss:
r/programming
🔧
DevOps
miniKanren.org
minikanren.org
·
3d
·
Discuss:
Lobsters
📦
Module Systems
Toward Linking
Declined
Proposals and Source Code: An
Exploratory
Study on the Go Repository
arxiv.org
·
1d
🔄
Reproducible Builds
Towards Real-World Industrial-Scale Verification: LLM-Driven Theorem
Proving
on
seL4
arxiv.org
·
2d
🛡️
seL4
Technical
Details of My
LLM-Generated
Book
mattbruenig.com
·
2d
·
Discuss:
Hacker News
⚙️
Compiler Design
My Experience at the North American
Haskell
Hackathon
AmeriHac
thedeveloper101.github.io
·
3d
·
Discuss:
Hacker News
λ
Functional Programming
Poison2
rnsaffn.com
·
3d
·
Discuss:
Hacker News
❓
Existential Types
Lightweight and
extensible
compatibility layer between
dataframe
libraries
narwhals-dev.github.io
·
4d
·
Discuss:
Hacker News
🔢
Algebraic Data Types
Local-first
Markdown
notes app built with Rust and
Tauri
helixnotes.com
·
2d
·
Discuss:
Hacker News
💾
Classic Mac OS
Allium
is an LLM-native language for
sharpening
intent alongside implementation
juxt.github.io
·
3d
·
Discuss:
Hacker News
⚙️
PL Implementation
Web Framework for
Dart
jaspr.site
·
2d
·
Discuss:
Hacker News
🔌
APIs
Show HN: EU AI Act
Layer
x-loop3.com
·
3d
·
Discuss:
Hacker News
🤖
Program Synthesis
Regime-Declared
Mathematics
as Survivor Sets
zboralski.github.io
·
3d
·
Discuss:
Hacker News
🧠
Automated Reasoning
The Potential of
RLMs
dbreunig.com
·
3d
·
Discuss:
Hacker News
⏳
LTL
A
Newbie
's First
Contribution
to (Rust for) Linux
blog.buenzli.dev
·
4d
·
Discuss:
Hacker News
🏗️
Dune
Report on the
subject
of
Manufacturers
(1791) [pdf]
constitution.org
·
2d
·
Discuss:
Hacker News
🔀
Brzozowski Derivatives
We
recreated
the Anthropic C
compiler
agent
vizops.ai
·
3d
·
Discuss:
Hacker News
🔧
ppx
Humanity
's last
programming
language
xeiaso.net
·
2d
·
Discuss:
Lobsters
,
Hacker News
🔤
Language Design
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