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
9138
posts in
61.6
ms
[Paper] How does information access affect LLM
monitors
' ability to detect
sabotage
?
lesswrong.com
·
1d
📊
Runtime Verification
Token-Efficient
Change Detection in LLM
APIs
arxiv.org
·
17h
📊
Runtime Verification
I built an open source DJI Drone log data analyzer and
organizer
with Rust and
Tauri
i.redd.it
·
1d
⚙️
Compiler Design
Toward Linking
Declined
Proposals and Source Code: An
Exploratory
Study on the Go Repository
arxiv.org
·
1d
🔄
Reproducible Builds
six
thoughts
on
generating
c
wingolog.org
·
3d
·
Discuss:
Lobsters
,
Hacker News
,
r/programming
🐫
Embedded OCaml
PyG
Documentation —
pytorch
_geometric documentation
pytorch-geometric.readthedocs.io
·
3d
·
Discuss:
Hacker News
🏗️
Dune
Quick
Comparison
of
JVM
Languages
jvmhost.com
·
2d
·
Discuss:
Hacker News
📝
Nix Language
Compare
up to 5 LLMs side-by-side, then
fuse
the best answers
llmcode.ai
·
2d
·
Discuss:
Hacker News
🧩
SAT Solvers
Notepad
++
DLL
Hijack (2017)
wikileaks.org
·
4d
·
Discuss:
Hacker News
📦
Opam
Building a
Slack
Bot
siivikko.fi
·
2d
·
Discuss:
Hacker News
🎮
Verification Games
DFlash
: Block Diffusion for Flash
Speculative
Decoding
z-lab.ai
·
2d
·
Discuss:
Hacker News
🔀
OCaml Multicore
Show HN: Deterministic
linguistic
enrichment
pipeline for Node.js
npmjs.com
·
2d
·
Discuss:
Hacker News
🧩
Parser Combinators
The Evolution of a
Lean
Programmer
unnamed.website
·
4d
·
Discuss:
Hacker News
📝
Nix Language
cysqlite
- a new
sqlite
driver
charlesleifer.com
·
2d
·
Discuss:
Lobsters
,
Hacker News
🎯
GADT
Custom
ESLint
rules as AI guardrails: turning repeated mistakes into structural
impossibilities
jw.hn
·
2d
·
Discuss:
Hacker News
,
r/SoftwareEngineering
,
r/coding
,
r/node
,
r/typescript
🔍
Formal Verification
Turn any
codebase
into interactive, multi-level
documentation
revibe.codes
·
3d
·
Discuss:
Hacker News
🤖
Program Synthesis
Show HN:
Self-healing
data pipeline for F1
telemetry
(Python and Type Inference)
news.ycombinator.com
·
3d
·
Discuss:
Hacker News
👁️
Observability
Domain
Knowledge Is the New
Syntax
blog.melashri.net
·
3d
·
Discuss:
Hacker News
🔤
Language Design
I don't like
imports
kevincox.ca
·
3d
·
Discuss:
Hacker News
📦
Module Systems
Solene
'% :
Declaratively
manage containers on Linux
dataswamp.org
·
2d
·
Discuss:
Hacker News
🐳
Containerization
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
