🐿️ Scour
Browse
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
🐫 OCaml
MirageOS, dune, functional
Hot
Past Hour
Today
This Week
This Month
Subscribed Feeds
All Feeds
Binding Application in Idris
andrevidela.com
·
11h
·
Discuss:
Hacker News
🔠
Type-Level Programming
Text to model via SysML: Automated generation of dynamical system computational models from unstructured natural language text via enhanced System Modeling Lang...
arxiv.org
·
1d
✓
Automated Theorem Proving
I created a programming language in Go with built-in BDD testing. Looking for feedback and contributors!
reddit.com
·
12h
·
Discuss:
r/programming
➡️
Category Theory
Reframe – Open‑Source ISO20022 Message Transformer in Rust
github.com
·
20h
·
Discuss:
Hacker News
🔤
DSLs
C++ with no classes?
pvs-studio.com
·
2d
·
Discuss:
r/cpp
,
r/programming
🔠
Type-Level Programming
Introducing Rudy: A Toolchain for Rust Debuginfo
samjs.io
·
20h
·
Discuss:
Lobsters
,
Hacker News
,
r/programming
🐫
Embedded OCaml
ATC/OSDI'25 Technical Sessions
muratbuffalo.blogspot.com
·
3h
·
Discuss:
Hacker News
👁️
System Observability
LLM Inference Handbook
bentoml.com
·
7h
·
Discuss:
Hacker News
🛡️
seL4
Representing Guardedness in Call-by-Value and Guarded Parametrized Monads
arxiv.org
·
3d
➡️
Category Theory
LLM Failures
funcall.blogspot.com
·
2d
·
Discuss:
Hacker News
🔠
Type-Level Programming
Show HN: Cactus – Ollama for Smartphones
news.ycombinator.com
·
15h
·
Discuss:
Hacker News
🐫
Embedded OCaml
Specification Grounding: The Missing Link in Vibe Coding
unstract.com
·
17h
·
Discuss:
Lobsters
,
Hacker News
🔍
Formal Verification
Towards an Efficient Shifted Cholesky QR for Applications in Model Order Reduction using pyMOR
arxiv.org
·
6h
🔍
Formal Verification
Writing Bounds-Safe Code in C with Arrays
uecker.codeberg.page
·
17h
·
Discuss:
Hacker News
🔬
Static Analysis
HMQ: Principal Type Inference Under a Prefix
microsoft.com
·
1d
·
Discuss:
Hacker News
🔠
Type-Level Programming
Variadic Generics ideas that won't work for Rust
poignardazur.github.io
·
2d
·
Discuss:
Lobsters
,
Hacker News
,
r/programming
🔠
Type-Level Programming
Towards Solving More Challenging IMO Problems via Decoupled Reasoning and Proving
arxiv.org
·
1d
✓
Automated Theorem Proving
Galois field instructions on 2021 CPUs
corsix.org
·
23h
·
Discuss:
Hacker News
🐫
Embedded OCaml
Programming Extensible Data Types in Rust with CGP - Part 1: Modular App Construction and Extensible Builders
contextgeneric.dev
·
3d
·
Discuss:
Lobsters
,
Hacker News
,
r/programming
🔠
Type-Level Programming
Every AI Integration Is Held Together with Parsing Logic and Prayer
blog.dottxt.co
·
22h
·
Discuss:
Hacker News
🤖
Program Synthesis
Loading...
Loading more...
Page 2 »