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
🐫 ocaml
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
2514
posts in
55.6
ms
A Quick
Introduction
to
OxCaml
noelwelsh.com
·
3d
·
Discuss:
Hacker News
🔄
compilers
Railway
Oriented
Programming
fsharpforfunandprofit.com
·
1d
·
Discuss:
Hacker News
✅
formal methods
Type
Variance
en.wikipedia.org
·
1d
·
Discuss:
Hacker News
🔄
compilers
stdlib
v7.2
erlang.org
·
1d
·
Discuss:
Hacker News
✅
formal methods
Building Interactive C/C++ workflows in Jupyter through
Clang-REPL
[video]
fosdem.org
·
24m
·
Discuss:
Hacker News
🔄
compilers
LFortran
Compiles
Lapack
lfortran.org
·
1d
·
Discuss:
Hacker News
🔄
compilers
Local Agent
Bench
: Test 11 small LLMs on tool-calling
judgment
, on CPU, no GPU
github.com
·
1h
·
Discuss:
Hacker News
,
r/LocalLLaMA
⚙️
systems programming
impl Rust: Avro
IDL
tool in Rust via
ANTLR
youtube.com
·
17h
·
Discuss:
Hacker News
✅
formal methods
C Isn't A
Programming
Language
Anymore
faultlore.com
·
1d
·
Discuss:
Hacker News
🔄
compilers
Compile
and Run Your First Program
emojicode.org
·
1d
·
Discuss:
Hacker News
🔄
compilers
Jacob
Boxerman
-
Declarative
, Reproducible Emacs with straight.el and use-package
jakebox.github.io
·
17h
·
Discuss:
Lobsters
,
Hacker News
🔄
compilers
10-Part Series on
Breadth-First
Traversals
in Haskell
doisinkidney.com
·
1d
·
Discuss:
Hacker News
✅
formal methods
Agentic
Proof-Oriented
Programming
risemsr.github.io
·
1d
·
Discuss:
Lobsters
,
Hacker News
✅
formal methods
LLMs could be, but
shouldn
't be
compilers
alperenkeles.com
·
1d
·
Discuss:
Lobsters
,
Hacker News
🔄
compilers
codx-dev/msgpacker
: MessagePack serializer implementation for Rust / msgpack.org[Rust]
github.com
·
1d
·
Discuss:
Hacker News
🔄
compilers
[
RFC
PATCH v1 0/4] Machine Learning (
ML
) library in Linux kernel
lore.kernel.org
·
19h
·
Discuss:
Lobsters
,
Hacker News
⚙️
systems programming
ahead-of-time wasm
gc
in
wastrel
wingolog.org
·
23h
·
Discuss:
Lobsters
,
Hacker News
🔄
compilers
Building a battle tested C
compiler
in a new language using
Codex
moonbitlang.com
·
1d
·
Discuss:
Hacker News
🔄
compilers
clojure.spec
-
Rationale
and Overview
clojure.org
·
5d
·
Discuss:
Hacker News
✅
formal methods
EarlyBinder
and
instantiating
parameters - Rust Compiler Development Guide
rustc-dev-guide.rust-lang.org
·
2d
·
Discuss:
Lobsters
,
Hacker News
✅
formal methods
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