🛡️ seL4

Formal Verification, Microkernel, Capability Security, Isabelle/HOL

The Beginner's Guide to Subtitling (2001)
armitage.crinkle.net·22h·
Discuss: Hacker News
⚙️PL Implementation
RFC 9773: Acme Renewal Information (ARI) Extension
datatracker.ietf.org·4d·
Discuss: Lobsters, Hacker News
📡Network Protocol Design
AAAI Launches AI-Powered Peer Review Assessment System
aaai.org·2d·
Discuss: Hacker News
✓Automated Theorem Proving
‘We want Starlink’: from isolation to integration – what happened to the Korubo people after contact?
theguardian.com·11h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Downloading arbitrary Apple Podcast episode transcripts
blog.alexbeals.com·4d·
Discuss: Hacker News
🍎Apple
Launching OpenCommunity Software License (OCSL) Version 1.0
madalin.me·5d·
Discuss: Hacker News
📦Unikernel Systems
[Request] Seeking Developers who can help me with this
arcsideai.com·4d·
Discuss: r/programming
🍎Apple
The Gory Details of Finetuning SDXL and Wasting $16k
aerial-toothpaste-34a.notion.site·3d·
Discuss: Hacker News
🐫Embedded OCaml
Algos and Code Performance: Your Code Works but Can It Handle Real Traffic?
beon.tech·5d·
Discuss: Hacker News
👁️System Observability
Using my home as a Tailscale exit node abroad poisoned my IP geolocation. Now YouTube thinks I’m in Trinidad 😩
reddit.com·2d·
Discuss: r/homelab
🍎Apple
VPNs Top App Store Charts as UK Age Verification Kick In
bbc.co.uk·7h·
Discuss: Hacker News
🍎Apple
ICML Statement about subversive hidden LLM prompts
icml.cc·5d·
Discuss: Hacker News
✓Automated Theorem Proving
Factors Impacting Faculty Adoption of Project-Based Learning in Computing Education: a Survey
arxiv.org·3d
📡Network Protocol Design
How to setup based on available hardware?
reddit.com·2d·
Discuss: r/homelab
🏠HomeLab
Optimising Call Centre Operations using Reinforcement Learning: Value Iteration versus Proximal Policy Optimisation
arxiv.org·3d
📡Network Protocol Design
Deals: M4 MacBook Air from $799, M4 MacBook Pro all-time low at $300 off, Apple Watch Ultra 2 $150 off, more
9to5mac.com·4h
🍎Apple
Optimizing Metachronal Paddling with Reinforcement Learning at Low Reynolds Number
arxiv.org·16h
🎮Verification Games
Sticking to the Mean: Detecting Sticky Tokens in Text Embedding Models
arxiv.org·3d
💻CS
PDB-Eval: An Evaluation of Large Multimodal Models for Description and Explanation of Personalized Driving Behavior
arxiv.org·3d
🔄Finite State Machines
Probing Multimodal Fusion in the Brain: The Dominance of Audiovisual Streams in Naturalistic Encoding
arxiv.org·16h
🐫OCaml