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

MirageOS, dune, functional

Why isn't packaging part of Python core development?
pydevtools.com·18h·
Discuss: Hacker News
❄️Nixified Development
Building production-ready apps with LLMs
blog.leap.new·1d·
Discuss: r/programming
🔄Reproducible Builds
Let Me Cook You a Vulnerability: Exploiting the Thermomix TM5
synacktiv.com·21h·
Discuss: Lobsters, Hacker News
💾Retro Computing
A Recap on May/June Stability at Neon
neon.com·12h·
Discuss: Hacker News
🔄Reproducible Builds
Huawei's star AI model was built on burnout and plagiarism
the-open-source-ward.ghost.io·1d·
Discuss: Hacker News
🔬Unikernels
Pluralistic: Ellen Ullman's "Close to the Machine" (16 Jul 2025)
pluralistic.net·16h·
Discuss: Hacker News
🔬Unikernels
From Alerts to Intelligence: A Novel LLM-Aided Framework for Host-based Intrusion Detection
arxiv.org·1d
🛡️seL4
Time series classification of satellite data using LSTM networks: an approach for predicting leaf-fall to minimize railroad traffic disruption
arxiv.org·5h
💻CS
Lightweight Safety Guardrails via Synthetic Data and RL-guided Adversarial Training
arxiv.org·3d
🤖Program Synthesis
ToMacVF : Temporal Macro-action Value Factorization for Asynchronous Multi-Agent Reinforcement Learning
arxiv.org·2d
🔄Finite State Machines
ViSP: A PPO-Driven Framework for Sarcasm Generation with Contrastive Learning
arxiv.org·2d
✓Automated Theorem Proving
S2SRec2: Set-to-Set Recommendation for Basket Completion with Recipe
arxiv.org·2d
🔠Type-Level Programming
Meta-Reinforcement Learning for Fast and Data-Efficient Spectrum Allocation in Dynamic Wireless Networks
arxiv.org·1d
⚙️Operating System Design
EquiContact: A Hierarchical SE(3) Vision-to-Force Equivariant Policy for Spatially Generalizable Contact-rich Tasks
arxiv.org·1d
🏹Effect Systems
Looking for Resources on Agentic Coding for Game Development
news.ycombinator.com·1d·
Discuss: Hacker News
🛡️seL4
I built a real AI-first OS solo – with a functional, learning "brain system"
news.ycombinator.com·15h·
Discuss: Hacker News
🔬Unikernels
Multimodal Coordinated Online Behavior: Trade-offs and Strategies
arxiv.org·5h
🏹Effect Systems
Vertex-Guided Redundant Constraints Identification for Unit Commitment
arxiv.org·2d
🤖Program Synthesis
AI, Humans, and Data Science: Optimizing Roles Across Workflows and the Workforce
arxiv.org·5h
🤖Program Synthesis
Modeling Partially Observed Nonlinear Dynamical Systems and Efficient Data Assimilation via Discrete-Time Conditional Gaussian Koopman Network
arxiv.org·3d
💻CS
Loading...Loading more...
AboutBlogChangelogRoadmap