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

MirageOS, dune, functional

Tom Lehrer Satirized the National Security State From the Inside
reason.com·14h·
Discuss: Hacker News
🔬Unikernels
More Women Than Expected Are Genetically Men
novonordiskfonden.dk·13h·
Discuss: Hacker News
❄️Nix
The Quality of CPI Data Continues to Deteriorate
apolloacademy.com·1d·
Discuss: Hacker News, r/Economics
🧪Property-Based Testing
rqlite – Highly-Available, Distributed Relational Database Built on SQLite
rqlite.io·2d·
Discuss: Hacker News
🔄Reproducible Builds
Building an MCP Server with FastAPI and FastMCP
speakeasy.com·3d·
Discuss: Hacker News
🏠HomeLab
Linux Kernel: I Just Wanted the File List Now I'm Neck-Deep in Makefiles
carminatialessandro.blogspot.com·3d·
Discuss: Hacker News
❄️Nixified Development
S3-Compatible XML on GCS Tricked Me
new.anupshinde.com·1d·
Discuss: Hacker News
⎈Kubernetes
Mantle contributions to global tungsten recycling and mineralization
nature.com·12h·
Discuss: Hacker News
❄️Nix
Tool Poisoning Attacks in MCPs
blog.dailydoseofds.com·1d·
Discuss: Hacker News
🎮Verification Games
Remix Your Logo Like It’s 1999 with Adobe Firefly AI
spin.atomicobject.com·1d·
Discuss: Hacker News
🍎Apple
Show HN: A tiny Linux tool for clearing Steam achievements
github.com·16h·
Discuss: Hacker News
🛡️seL4
Project Lyra – Exploring Interstellar Objects
i4is.org·6d·
Discuss: Hacker News
🔬Unikernels
18 months. 12,000 questions. A whole lot of anxiety. What I learned from reading students’ ChatGPT logs
theguardian.com·1d·
Discuss: Hacker News, Hacker News
🎮Verification Games
M720q vs M75q
reddit.com·16h·
Discuss: r/homelab
💾Retro Computing
Data-Driven Adaptive Gradient Recovery for Unstructured Finite Volume Computations
arxiv.org·6d
🏹Effect Systems
EVOLVE-X: Embedding Fusion and Language Prompting for User Evolution Forecasting on Social Media
arxiv.org·5d
🎮Verification Games
CompLeak: Deep Learning Model Compression Exacerbates Privacy Leakage
arxiv.org·5d
🛡️seL4
Simulating multiple human perspectives in socio-ecological systems using large language models
arxiv.org·5d
🔠Type-Level Programming
Remembering the Markov Property in Cooperative MARL
arxiv.org·4d
🧪Property-Based Testing
Information Entropy-Based Framework for Quantifying Tortuosity in Meibomian Gland Uneven Atrophy
arxiv.org·4d
➡️Category Theory
Loading...Loading more...
AboutBlogChangelogRoadmap