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

MirageOS, dune, functional

Samsung Galaxy Z Fold 7 review: Quantum leap
arstechnica.com·1d·
Discuss: Hacker News, r/Android
🔬Unikernels
Deep research for healthcare revenue cycle
writing.kunle.app·15h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Anaconda Raises 150M Series C
anaconda.com·1d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
'CurXecute' – RCE in Cursor IDE via MCP Auto‑Start
aim.security·11h·
Discuss: Hacker News
👁️System Observability
Build Your Own Minisforum N5 Inspired Mini NAS: A Comprehensive Guide
jackharvest.com·2d·
Discuss: Lobsters, Hacker News
💾Retro Computing
Why Postgres CDC to Iceberg isn't a solved problem: lessons from production
risingwave.com·3d·
Discuss: Hacker News
🔄Reproducible Builds
Symposium Driven Development: A Not So New Paradigm for Software Creation
medium.com·1d·
Discuss: Hacker News
🤖Program Synthesis
Convergent Weight and Activation Dynamics in Memristor Neural Networks
arxiv.org·4d
🏹Effect Systems
Customize Multi-modal RAI Guardrails with Precedent-based predictions
arxiv.org·4d
🎮Verification Games
Analyzing the Sensitivity of Vision Language Models in Visual Question Answering
arxiv.org·3d
🔄Finite State Machines
Graph-R1: Towards Agentic GraphRAG Framework via End-to-end Reinforcement Learning
arxiv.org·3d·
Discuss: Hacker News
🎮Verification Games
Whilter: A Whisper-based Data Filter for "In-the-Wild" Speech Corpora Using Utterance-level Multi-Task Classification
arxiv.org·3d
🔠Type-Level Programming
Roboboy, a mobile web application to control and interact with ROS2-based robots
github.com·2d·
Discuss: Hacker News
🧱Immutable Infrastructure
ProMemAssist: Exploring Timely Proactive Assistance Through Working Memory Modeling in Multi-Modal Wearable Devices
arxiv.org·3d
💻CS
Enhancing Complex Injection Mold Design Validation Using Multicombined RV Environments
arxiv.org·4d
🎮Verification Games
Efficient Nearest Neighbor Search Using Dynamic Programming
arxiv.org·3d
🔠Type-Level Programming
People Are Highly Cooperative with Large Language Models, Especially When Communication Is Possible or Following Human Interaction
arxiv.org·5d
💻CS
Show HN: Gradient-Free ML Algorithm (Available for Contract Work)
news.ycombinator.com·3d·
Discuss: Hacker News
✓Automated Theorem Proving
Divergence-free Preserving Mix Finite Element Methods for Fourth-order Active Fluid Model
arxiv.org·3d
💻CS
Efficient Self-Supervised Neuro-Analytic Visual Servoing for Real-time Quadrotor Control
arxiv.org·4d
🔄Finite State Machines
Loading...Loading more...
AboutBlogChangelogRoadmap