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

MirageOS, dune, functional

TypeScript vs JavaScript Explained with Real-Life Examples
codewithvinod.com·26s·
Discuss: r/programming
🔬Static Analysis
Sharing an OMV folder across VLANs, how vulnerable would this be?
i.redd.it·14h·
Discuss: r/homelab
🏠HomeLab
Guessing the Player's Sunrise
docs.getlost.gg·14h·
Discuss: Hacker News
🎮Verification Games
From Prompt to Plant Shutdown: Agent Context Contamination in MCP
veganmosfet.github.io·1d·
Discuss: Hacker News
🛡️seL4
Introducing PooLA Filament: Grass Fiber-Reinforced PLA
hackaday.com·8h
⚙️PL Implementation
Interview with Alan Kay
web.archive.org·1d·
Discuss: Hacker News
💾Retro Computing
Discover tools that work with Claude
anthropic.com·1d·
Discuss: Hacker News
✓Automated Theorem Proving
Help validate a new open-source prototyping platform!
reddit.com·2d·
Discuss: r/homelab
🐫Embedded OCaml
Trace LLM workflows at your app's semantic level, not at the OpenAI API boundary
engineeringideas.substack.com·4d·
Discuss: Substack
🔍Formal Verification
Unmixing Optical Signals from Undersampled Volumetric Measurements by Filtering the Pixel Latent Variables
arxiv.org·6h
🐫Embedded OCaml
Could you be wrong: Debiasing LLMs using a metacognitive prompt for improving human decision making
arxiv.org·6h
✓Automated Theorem Proving
Investigating the Robustness of Extreme Precipitation Super-Resolution Across Climates
arxiv.org·6h
🧱Immutable Infrastructure
Incomplete Multiview Learning via Wyner Common Information
arxiv.org·6h
🔠Type-Level Programming
Next-Generation Travel Demand Modeling with a Generative Framework for Household Activity Coordination
arxiv.org·6h
🔄Finite State Machines
BioAnalyst: A Foundation Model for Biodiversity
arxiv.org·6h
🔠Type-Level Programming
Safe Deep Reinforcement Learning for Resource Allocation with Peak Age of Information Violation Guarantees
arxiv.org·1d
📡Network Protocol Design
HNOSeg-XS: Extremely Small Hartley Neural Operator for Efficient and Resolution-Robust 3D Image Segmentation
arxiv.org·1d
➡️Category Theory
1u Bare Metal Suggestions
reddit.com·4h·
Discuss: r/homelab
🏠HomeLab
What Matters Most? A Quantitative Meta-Analysis of AI-Based Predictors for Startup Success
arxiv.org·6h
🏹Effect Systems
Overview of the TREC 2023 deep learning track
arxiv.org·6h
✓Automated Theorem Proving
Loading...Loading more...
AboutBlogChangelogRoadmap