🛡️ seL4

Formal Verification, Microkernel, Capability Security, Isabelle/HOL

Round Up and Reflections for Ennie Award for Best Adventure
tasker.land·2d·
Discuss: Hacker News
📦Unikernel Systems
Our Small Agency Generated 11 Tons of CO2 Using AI–Here's Our Next Step
davidlambauer.de·2d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Pair Programming With ChatGPT: An Experience Report
brainbaking.com·6d·
Discuss: Hacker News
⚙️PL Implementation
He worked with artificial limbs for decades. Then a lorry ripped off his right arm. What happened when the expert became the patient?
theguardian.com·1h·
Discuss: Hacker News
💾Retro Computing
All About The New Stack’s New Registration Feature
thenewstack.io·1d
🍎Apple
Systolic Array-based Accelerator for State-Space Models
arxiv.org·3d
🐫Embedded OCaml
Cling – Instant fuzzy find any file on macOS
github.com·4d·
Discuss: Hacker News
🍎Apple
MIMII-Agent: Leveraging LLMs with Function Calling for Relative Evaluation of Anomalous Sound Detection
arxiv.org·4d
✓Automated Theorem Proving
Self-Propelled Agents and Group Social Force
arxiv.org·4d
🎮Verification Games
Applications Of Zero-Knowledge Proofs On Bitcoin
arxiv.org·3d
🌐NetworkProtocols
Integrating Activity Predictions in Knowledge Graphs
arxiv.org·4d
➡️Category Theory
Beyond Binary Moderation: Identifying Fine-Grained Sexist and Misogynistic Behavior on GitHub with Large Language Models
arxiv.org·4d
🔄Reproducible Builds
Automating Thematic Review of Prevention of Future Deaths Reports: Replicating the ONS Child Suicide Study using Large Language Models
arxiv.org·4d
🔬Static Analysis
Safety Features for a Centralised AGI Project
arxiv.org·3d
📦Unikernel Systems
Ask HN: Emojiboard – Ultra-lightweight emoji feedback widget for websites
news.ycombinator.com·7h·
Discuss: Hacker News
🍎Apple
Microsoft catches Russian hackers targeting foreign embassies
arstechnica.com·1d·
Discuss: Hacker News, r/technews
🌐NetworkProtocols
DeepC4: Deep Conditional Census-Constrained Clustering for Large-scale Multitask Spatial Disaggregation of Urban Morphology
arxiv.org·2d
🔠Type-Level Programming
FGFP: A Fractional Gaussian Filter and Pruning for Deep Neural Networks Compression
arxiv.org·2d
🐫OCaml
Explainable artificial intelligence model predicting the risk of all-cause mortality in patients with type 2 diabetes mellitus
arxiv.org·1d
✓Automated Theorem Proving
X-NeMo: Expressive Neural Motion Reenactment via Disentangled Latent Attention
arxiv.org·1d
➡️Category Theory