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

MirageOS, dune, functional

Arm introduces Lumex platform with SME2-enabled C1 CPU for Edge AI, Mali-G1 GPU
cnx-software.com·4h·
Discuss: Hacker News
🔧Unikernel Development
Prompts are Operating Systems
helloscribe.medium.com·2d·
Discuss: r/programming
⚙️Operating System Design
What Is a Modular Monolith And Why You Should Care? 🔥
thetshaped.dev·8h·
Discuss: r/programming
🧱Immutable Infrastructure
OCR and RAG for Tables
mrm1001.github.io·1d·
Discuss: Hacker News, Hacker News
🐫Embedded OCaml
Rendering the Mandelbulb
4rknova.com·1d·
Discuss: Hacker News
🔄Finite State Machines
Ask HN: Feedback on a new framework aiming at the classic RPC headaches
news.ycombinator.com·1d·
Discuss: Hacker News
🌐NetworkProtocols
Belzebub.ai: AI Deception Platform
beelzebub.ai·10h·
Discuss: Hacker News
🖥Self-Hosting
A Fragile Number Sense: Probing the Elemental Limits of Numerical Reasoning in LLMs
arxiv.org·1d
📚Automata Learning
Hnfm: Building a local-first AI podcast generator for Hacker News
briancaffey.github.io·14h·
Discuss: Hacker News
🐳Containerization
Yet Another TypeSafe and Generic Programming Candidate for C
github.com·4d·
Discuss: Hacker News
🐫Embedded OCaml
Show HN: A local first AI engine and orchestrator
krionis.com·2d·
Discuss: Hacker News
👁️System Observability
Pulling an Inverse Conway Maneuver at Netflix (2023)
jivimberg.io·2d·
Discuss: Hacker News
👁️System Observability
The LLM Has Left The Chat: Evidence of Bail Preferences in Large Language Models
arxiv.org·2d·
Discuss: Hacker News
📚Automata Learning
Science is not Complex, just consider it as chain-of-thoughts
lightcapai.medium.com·4h·
Discuss: Hacker News
➡️Category Theory
Experimenting with local LLMs on macOS
blog.6nok.org·2d·
Discuss: Lobsters, Hacker News
📺Vintage Apple
The Little Book of Everything
github.com·2d·
Discuss: Hacker News
➡️Category Theory
MM-DINOv2: Adapting Foundation Models for Multi-Modal Medical Image Analysis
arxiv.org·1d
🧮Lambda Calculus
We Badly Need Frameworks
koolcodez.com·4d·
Discuss: Hacker News
📐Denotational Semantics
Scaling behavior of large language models in emotional safety classification across sizes and tasks
arxiv.org·2d
🧩Parser Combinators
On the Same Wavelength? Evaluating Pragmatic Reasoning in Language Models across Broad Concepts
arxiv.org·1d
✓Automated Theorem Proving
Loading...Loading more...
AboutBlogChangelogRoadmap