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
72.8
ms
NUASM
— Neuro‑Universal‑ASM: The World's First Native Multi‑Language
Assembler
dev.to
·
4d
·
Discuss:
DEV
⚙️
Compiler Design
How I Built My Project in
Haskell
dev.to
·
4d
·
Discuss:
DEV
λ
Functional Programming
State of
Scala
2026
devnewsletter.com
·
2d
·
Discuss:
r/programming
📦
Opam
Specification
Vibing
for Automated Program Repair
arxiv.org
·
2d
🤖
Program Synthesis
Towards Real-World Industrial-Scale Verification: LLM-Driven Theorem
Proving
on
seL4
arxiv.org
·
2d
🛡️
seL4
Copilot
SDK
in Technical Preview
github.blog
·
2d
·
Discuss:
Hacker News
🔌
IOKit
Pxlpal
on
CrowdSupply
crowdsupply.com
·
2d
·
Discuss:
Hacker News
🔧
Microcontrollers
Khronos
at 25:
Shaping
Visual Computing with Open Standards
khronos.org
·
2d
·
Discuss:
Hacker News
🔧
Unikernel Development
Sandwich
Bill of
Materials
nesbitt.io
·
4d
·
Discuss:
Hacker News
📦
Opam
How I Use
ActivitySmith
While
Deploying
ActivitySmith
activitysmith.com
·
2d
·
Discuss:
Hacker News
🌐
ActivityPub
Introduction to
Abject-Oriented
Programming (2007)
typicalprogrammer.com
·
4d
·
Discuss:
Hacker News
🔤
Language Design
LocalGPT
: A local AI assistant with
persistent
memory in a single binary
localgpt.app
·
3d
·
Discuss:
Hacker News
🔬
Unikernels
Show HN:
Biology
Tools for Rust
athanorlab.com
·
2d
·
Discuss:
Hacker News
🏗️
Dune
Jacob
Boxerman
- Declarative,
Reproducible
Emacs with straight.el and use-package
jakebox.github.io
·
5d
·
Discuss:
Lobsters
,
Hacker News
❄️
NixOS
Go 1.26 is released
go.dev
·
2d
·
Discuss:
Lobsters
,
Hacker News
📦
Opam
Poison2
rnsaffn.com
·
3d
·
Discuss:
Hacker News
❓
Existential Types
Learning Rust:
Custom
Error
types
that actually work!
rup12.net
·
2d
·
Discuss:
Lobsters
,
Hacker News
🎯
GADT
Circumstantial
Complexity
, LLMs and Large Scale Architecture
datagubbe.se
·
3d
·
Discuss:
Hacker News
⚙
Operational Semantics
My Experience at the North American
Haskell
Hackathon
AmeriHac
thedeveloper101.github.io
·
3d
·
Discuss:
Hacker News
λ
Functional Programming
Show HN:
Tandem
– An open-source, local-first AI
workspace
(Rust and React)
news.ycombinator.com
·
4d
·
Discuss:
Hacker News
🔀
OCaml Multicore
Loading...
Loading more...
« Page 8
•
Page 10 »
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