Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
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
8042
posts in
8.2
ms
bbatsov/neocaml
: A modern, TreeSitter-powered, Emacs major mode for OCaml
github.com
·
1h
·
Discuss:
Hacker News
🐫
OCaml
Array-Carrying
Symbolic
Execution for Function Contract Generation
arxiv.org
·
17h
📦
Module Systems
μpack
: Faster & more flexible
integer
compression
blog.cf8.gg
·
20h
·
Discuss:
r/programming
,
r/rust
🔀
OCaml Multicore
I Built an Interactive System
Verilog
Tutorial
thomasnormal.github.io
·
1d
·
Discuss:
r/programming
⚙️
PL Implementation
Some notes on
unreliability
of LLM
APIs
andrewpwheeler.com
·
5h
·
Discuss:
Hacker News
🧩
Parser Combinators
Contextual Memory
Virtualisation
: DAG-Based State Management and
Structurally
Lossless Trimming for LLM Agents
arxiv.org
·
17h
🧩
Separation Logic
Coherent
Care
lesswrong.com
·
38m
≤
Order Theory
Working on
Pharo
Smalltalk:
BPatterns
: Rewrite Engine with Smalltalk Style
dionisiydk.blogspot.com
·
13h
·
Discuss:
Hacker News
,
r/programming
🔧
ppx
Driving
WS2812Bs
With Pure
Logic
hackaday.com
·
1d
🔧
Microcontrollers
Vibe-coding a
debugger
for a
DSL
joachim-breitner.de
·
2d
·
Discuss:
Lobsters
🔬
Static Analysis
[ANN]
mnet
, a new TCP/IP stack for
unikernels
in OCaml
discuss.ocaml.org
·
1d
·
Discuss:
Hacker News
📦
Unikernel Systems
Prosaic
Continual
Learning
lesswrong.com
·
2d
🔲
Cellular Automata
Saving LLM
tokens
with quiet
Makefiles
edleeman.co.uk
·
1d
·
Discuss:
Hacker News
⚙️
Compiler Design
Show HN:
BreakMyAgent
– Open-source
red-teaming
sandbox for LLM system prompts
news.ycombinator.com
·
1d
·
Discuss:
Hacker News
🛡️
seL4
C3
0.7.10:
constdef
Takes Shape
c3-lang.org
·
23h
·
Discuss:
Hacker News
🐫
OCaml
Brave
new C#
pvs-studio.com
·
22h
·
Discuss:
r/programming
⚙️
Compiler Design
Neural Guitar
Pedal
– Optimizing NAM for Daisy Seed Arm
Cortex-M7
tone3000.com
·
1d
·
Discuss:
Hacker News
💻
QEMU
TeXCCChess
: How Coding Agents Wrote a
Chess
Engine in Pure TeX
blog.mathieuacher.com
·
11h
·
Discuss:
Hacker News
🔧
ppx
[Self-interest] Re:
Vibecoding
a Self
VM
port to 64 bit and my own
VM
lists.selflanguage.org
·
7h
·
Discuss:
Hacker News
💻
QEMU
everythingability/HyperCod
: An attempt at a HyperCard clone but as a PWA
github.com
·
6h
·
Discuss:
Hacker News
📦
OPAM
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