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

MirageOS, dune, functional

JavaScript is easy, but how good is Claude Code at writing Malbolge code?
somethingwithai.substack.com·12h·
Discuss: Substack
🐫Embedded OCaml
LLDB's TypeSystems Part 2: PDB
walnut356.github.io·3d·
Discuss: r/programming
🐫Embedded OCaml
Prompt Engineering for Requirements Engineering: A Literature Review and Roadmap
arxiv.org·2h
🔍Formal Verification
Swiss boffins just trained a 'fully open' LLM on the Alps supercomputer
theregister.com·1d·
Discuss: Hacker News
📦Unikernel Systems
SAND: Boosting LLM Agents with Self-Taught Action Deliberation
arxiv.org·2h
🎮Verification Games
Show HN: Optiverse – Evolving Code with LLMs
mathieularose.com·15h·
Discuss: Hacker News
🔠Type-Level Programming
We solved AI API interoperability
supermemory.ai·2d·
Discuss: Hacker News
🐫Embedded OCaml
A 2-categorical approach to the semantics of dependent type theory with computation axioms
arxiv.org·2h
➡️Category Theory
ANN: Miso-lynx, create iOS apps with Haskell and LynxJS
github.com·1d·
Discuss: Hacker News
❄️Nix
Sound Interval-Based Synthesis for Probabilistic Programs
arxiv.org·1d
🤖Program Synthesis
Single-to-mix Modality Alignment with Multimodal Large Language Model for Document Image Machine Translation
arxiv.org·2h
🐫Embedded OCaml
When Large Language Models Meet Law: Dual-Lens Taxonomy, Technical Advances, and Ethical Governance
arxiv.org·2h
✓Automated Theorem Proving
FrugalRAG: Learning to retrieve and reason for multi-hop QA
arxiv.org·2h
➡️Category Theory
A Refreshing SQL Injection Discovery in Z-Push
xbow.com·13h·
Discuss: Hacker News
🛡️seL4
Practical Bitwise Tricks in Everyday Code (Opinioned)
maltsev.space·8h·
Discuss: r/programming
🔬Static Analysis
Book review: A New Kind of Science (2005)
bactra.org·1d·
Discuss: Hacker News
💻CS
Lambda calculus cooked N ways: Benchmarks for capture-avoiding substitution
github.com·3d·
Discuss: Hacker News
🛡️seL4
The REM-arkable Misadventures of LIST
masswerk.at·3d·
Discuss: Hacker News
🐫Embedded OCaml
Semantically Separating Nominal Wyvern for Usability and Decidability
arxiv.org·3d
🔠Type-Level Programming
Critical Analysis of the Meshtastic Protocol
disk91.com·13h·
Discuss: Hacker News
📡Network Protocol Design
Loading...Loading more...
AboutBlogChangelogRoadmap