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
🐫 Embedded OCaml
Bare-metal Programming, Resource Constraints, Firmware Development
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
9688
posts in
501.9
ms
A Quick
Introduction
to
OxCaml
noelwelsh.com
·
2h
·
Discuss:
Hacker News
🐫
OCaml
RAL-Bench
: Benchmarking for Application-Level Functional
Correctness
and Non-Functional Quality Attributes
arxiv.org
·
9h
🔍
Formal Verification
Taming the Flat AST:
Ergonomics
in the Age of Zero
Allocations
modern-c.blogspot.com
·
19h
·
Discuss:
Lobsters
,
Hacker News
,
r/golang
🔀
Brzozowski Derivatives
Millets
: A practical memory-safety and thread-safety
experiment
eagledot.xyz
·
1d
·
Discuss:
Lobsters
,
Hacker News
🏃
Escape Analysis
My (very) fast zero-allocation
webserver
using
OxCaml
anil.recoil.org
·
2d
·
Discuss:
Lobsters
,
Hacker News
🏗️
Dune
A Black Box Made Less
Opaque
(part 2)
lesswrong.com
·
9h
🔢
Algebraic Data Types
I Am Not a
Functional
Programmer
blog.daniel-beskin.com
·
56m
·
Discuss:
r/programming
λ
Functional Programming
Streamlining
Authentication Flows in
Microservices
Using Go
dev.to
·
16h
·
Discuss:
DEV
🌐
NetworkProtocols
Ysgrifennu
Côd
yn Gymraeg (Writing Code in Welsh)
hackaday.com
·
19h
⚙️
Compiler Design
impl Rust: Avro
IDL
tool in Rust via
ANTLR
youtube.com
·
1d
🧩
Parser Combinators
Internal Flow
Signatures
for Self-Checking and
Refinement
in LLMs
arxiv.org
·
1d
📊
Runtime Verification
Mad Rust: The
JVM
Developer's Journey. Kotlin/Java Developer's Road to
Valhalla
sobolev.substack.com
·
17h
·
Discuss:
Substack
🔬
Static Analysis
Show HN: C discrete event SIM w
stackful
coroutines runs 45x faster than
SimPy
github.com
·
22h
·
Discuss:
Hacker News
🔀
OCaml Multicore
TI-99/4A
:
Revisiting
Implementation Strategies
bumbershootsoft.wordpress.com
·
3d
·
Discuss:
Hacker News
⚙️
PL Implementation
java
sucks
(2000)
jwz.org
·
20h
·
Discuss:
Lobsters
📝
Nix Language
How
LSP
Works: Building a
Grammar
Checker
LSP
from Scratch in Rust
aroy.sh
·
1d
·
Discuss:
Hacker News
📦
Module Systems
Show HN: 32KB
deductive
engine that catches LLM
hallucinations
news.ycombinator.com
·
4h
·
Discuss:
Hacker News
🧮
Z3
MiniCPM
: Unveiling the Potential of Small Language Models with Scalable
TrainingStrategies
dev.to
·
1d
·
Discuss:
DEV
⚙️
Compiler Design
De-mystifying
Agentic AI: Building a Minimal Agent Engine from Scratch with
Clojure
serefayar.substack.com
·
1d
·
Discuss:
Substack
⏳
LTL
My Experience with
Vibe
Coding
haskellforall.com
·
1d
·
Discuss:
Lobsters
,
Hacker News
,
r/programming
📦
Unikernel Systems
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