OmniCloudMask: Cloud and shadow segmentation for satellite imagery
github.com·9h·
Discuss: Hacker News
🐫OCaml
How to Test
matklad.github.io·13h·
Discuss: Hacker News
🧪Property-Based Testing
Bootstrapping a Forth for Art
tia.mat.br·2d·
Discuss: Lobsters, Hacker News
🐫Embedded OCaml
What Unix Pipelines Got Right (and How We Can Do Better)
programmingsimplicity.substack.com·10h·
Discuss: Substack
⚙️Operating System Design
A type system for RCL (2024)
ruudvanasseldonk.com·2d·
Discuss: Lobsters, Hacker News
💎Refinement Types
Breaking Verifiable Abstractions
alperenkeles.com·13h·
Discuss: Hacker News, r/programming
🔍Formal Verification
Effective learning: Twenty rules of formulating knowledge (1999)
supermemo.com·10h·
Discuss: Hacker News
📚Automata Learning
Sandboxing AI-generated code: why we moved from WASM to AWS Lambda
quesma.com·1d·
Discuss: Hacker News
🔄Reproducible Builds
C3 Language at 0.7.5: Language tweaks and conveniences
reddit.com·8h·
Discuss: r/programming
🐫Embedded OCaml
A General Framework of Epistemic Forgetting and its Instantiation by Ranking Functions
arxiv.org·21h
🧠Automated Reasoning
Abstract Machine Models Also: what Rust got particularly right
dr-knz.net·1d·
Discuss: Hacker News
🔤DSLs
D as a Better C (2017)
dlang.org·2d·
Discuss: Hacker News
⚙️PL Implementation
The Origins of Python
inference-review.com·1d·
Discuss: Hacker News
🐫Embedded OCaml
Sharing Is Scaring: Linking Cloud File-Sharing to Programming Language Semantics
cs.brown.edu·2d·
Discuss: Hacker News
🌐NetworkProtocols
Solving Claude Code's API Blindness with Static Analysis
martinalderson.com·13h·
Discuss: Hacker News
💎Refinement Types
A Constructive Look at TempleOS (2015)
codersnotes.com·17h·
Discuss: Hacker News
🔬Unikernels
⿻ Plurality & 6pack.care
lesswrong.com·4h
🔬Unikernels
The Paradigm
nonint.com·4h·
Discuss: Hacker News
📚Automata Learning
DeepQuali: Determining Software Quality with AI
blog.qaware.de·18h·
Discuss: Hacker News
🔄Reproducible Builds
Art Index in ShannonBase
medium.com·2d·
Discuss: Hacker News
🔧Unikernel Development