🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
🐫 OCaml

MirageOS, dune, functional

Automated Catamorphism Synthesis for Solving Constrained Horn Clauses over Algebraic Data Types
arxiv.org·2d
🤖Program Synthesis
Hask Is Not a Category
math.andrej.com·12h·
Discuss: Hacker News
➡️Category Theory
Revolutionary ECC-256 Key Recovery via Quantum Collapse Algorithm
quantumtopology.substack.com·9h·
Discuss: Substack
📦Unikernel Systems
Laurence Tratt: Which Parsing Approach?
tratt.net·1d·
Discuss: r/programming
🔬Static Analysis
Encoding SAT in OCaml GADTs
farlow.dev·3d·
Discuss: Hacker News
🔍Formal Verification
No more Erlang manuals
blog.whenhen.com·2d·
Discuss: Lobsters, Hacker News
🌐NetworkProtocols
[RFC] Upstream target support for CHERI-enabled architectures
discourse.llvm.org·14h·
Discuss: Lobsters, Hacker News
🐫Embedded OCaml
I built my blog with C preprocessor macros
wheybags.com·7h·
Discuss: Lobsters, Hacker News
🐫Embedded OCaml
Can you trust your friendly neighborhood LLM?
chrisbeckman.dev·12h·
Discuss: Hacker News
🛡️seL4
Tropical solution of discrete best approximation problems
arxiv.org·2h
➡️Category Theory
Overarch – model your software system as data
github.com·2d·
Discuss: Hacker News
🔤DSLs
RePaCA: Leveraging Reasoning Large Language Models for Static Automated Patch Correctness Assessment
arxiv.org·2h
🔬Static Analysis
2000 words about arrays and tables
buttondown.com·17h·
Discuss: Lobsters, Hacker News
🏹Effect Systems
Concrete Security Bounds for Simulation-Based Proofs of Multi-Party Computation Protocols
arxiv.org·2h
🛡️seL4
Bay Area startup Harmonic gets gold medal at 2025 IMO with formal verification
harmonic.fun·1d·
Discuss: Hacker News
✓Automated Theorem Proving
Spec-VLA: Speculative Decoding for Vision-Language-Action Models with Relaxed Acceptance
arxiv.org·2h
🔍Formal Verification
Codestral 25.08 and the Complete Mistral Coding Stack for Enterprise
mistral.ai·14h·
Discuss: Hacker News, r/LocalLLaMA
🔄Reproducible Builds
Modelling Arbitrary Computations in the Symbolic Model using an Equational Theory for Bounded Binary Circuits
arxiv.org·1d
🔍Formal Verification
From Sufficiency to Reflection: Reinforcement-Guided Thinking Quality in Retrieval-Augmented Reasoning for LLMs
arxiv.org·2h
🎮Verification Games
PHP-ORT: Machine Learning Inference for the Web
krakjoe.github.io·1d·
Discuss: Lobsters, Hacker News
⚙️PL Implementation
Loading...Loading more...
AboutBlogChangelogRoadmap