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

MirageOS, dune, functional

Acquire-By-Hash for APT packages repositories, and the lack of it in Kali Linux
arnaudr.io·2d·
Discuss: Hacker News
❄️Nixified Development
How TPMs Work and Why We Added Support in Bottlerocket
molnett.com·1d·
Discuss: Hacker News, r/linux
💾Retro Computing
Tell HN: Humanloop acquired, sunsetting Sept 8th
news.ycombinator.com·1d·
Discuss: Hacker News
🍎Apple
OpenAI, Google DeepMind and Anthropic sound alarm: ‘We may be losing the ability to understand AI’
venturebeat.com·3d·
Discuss: Hacker News, r/technews
✓Automated Theorem Proving
Open Source Maintainers Feeling the Weight of the EU’s Cyber Resilience Act
socket.dev·1d·
Discuss: Hacker News
📦Unikernel Systems
Power to the people: How Snapdragon's smartphone DNA is disrupting the PC market
theregister.com·19h·
Discuss: Hacker News
⚙️Operating System Design
Who Wants to Be Acquired: 5 AI/Dev MVPs (1 Monetized, Full Code, Domains
news.ycombinator.com·18h·
Discuss: Hacker News
⎈Kubernetes
Quantum code breaking? You'd get further with an 8-bit computer, an abacus, and a dog
theregister.com·1d·
Discuss: Hacker News
🔬Unikernels
Talk me into a return or recommend a case
reddit.com·19h·
Discuss: r/homelab
🔬Unikernels
Would this be a good setup for a beginner Homelab?
reddit.com·1d·
Discuss: r/homelab
🏠HomeLab
Ilion Framework: A Public Layer for Semantic Alignment with Truth
zenodo.org·6d·
Discuss: Hacker News
🛡️seL4
RemVerse: Supporting Reminiscence Activities for Older Adults through AI-Assisted Virtual Reality
arxiv.org·1d
💾Retro Computing
LF: Online Multi-Robot Path Planning Meets Optimal Trajectory Control
arxiv.org·3d
🔄Finite State Machines
Toward Improving fNIRS Classification: A Study on Activation Functions in Deep Neural Architectures
arxiv.org·3d
➡️Category Theory
My (temp) budget homelab
reddit.com·2d·
Discuss: r/homelab
🏠HomeLab
Continuous Spiking Graph Neural Networks
arxiv.org·4d
💻CS
The Man Behind the Sound: Demystifying Audio Private Attribute Profiling via Multimodal Large Language Model Agents
arxiv.org·4d
🌐NetworkProtocols
BrainFLORA: Uncovering Brain Concept Representation via Multimodal Neural Embeddings
arxiv.org·4d
➡️Category Theory
Graph-based Multi-Modal Interaction Lightweight Network for Brain Tumor Segmentation (GMLN-BTS) in Edge Iterative MRI Lesion Localization System (EdgeIMLocSys)
arxiv.org·4d
➡️Category Theory
An Offline Mobile Conversational Agent for Mental Health Support: Learning from Emotional Dialogues and Psychological Texts with Student-Centered Evaluation
arxiv.org·3d
🎮Verification Games
Loading...Loading more...
AboutBlogChangelogRoadmap