🛡️ seL4

Formal Verification, Microkernel, Capability Security, Isabelle/HOL

Black metal could give a heavy boost to solar power generation
rochester.edu·22h·
Discuss: Hacker News
🧱Immutable Infrastructure
X Goes Down Again: Thousands of Users Report Problems With Site, App
variety.com·1d·
Discuss: Hacker News
🍎Apple
Lithium and Its Potential Protection from Alzheimer's Disease
erictopol.substack.com·3d·
Discuss: Substack
💾Retro Computing
‘Alarmingly high’ levels of forever chemicals found at airports in England, investigation reveals
theguardian.com·1d·
Discuss: Hacker News
🔍Formal Verification
☝️Write a postmortem like a Senior Engineer
strategizeyourcareer.com·5d·
Discuss: r/programming
👁️System Observability
Build Referral Systems in Rails Applications
avohq.io·2d·
Discuss: Hacker News
🔄Reproducible Builds
Show HN: I built an app to help you get dating advice and learn how to flirt
howtoflirt.co·2d·
Discuss: Hacker News
🍎Apple
Why Lorde’s Clear CD has so Many Playback Issues
hackaday.com·40m
🍎Apple
It's Nothing But Its a Start
preview.redd.it·1d·
Discuss: r/homelab
🔬Unikernels
I Built a Leadership Simulator for Aspiring Tech Leads (And Why The Soft Skills Matter Most)
techleadpilot.com·6d·
Discuss: DEV, Hacker News
🎮Verification Games
Was Your Kid’s Report Card Written By AI?
theatlantic.com·3d·
Discuss: Hacker News
🎮Verification Games
Urban-STA4CLC: Urban Theory-Informed Spatio-Temporal Attention Model for Predicting Post-Disaster Commercial Land Use Change
arxiv.org·2d
➡️Category Theory
Open-Source Agentic Hybrid RAG Framework for Scientific Literature Review
arxiv.org·4d
🧱Immutable Infrastructure
Uncertainty-quantified Rollout Policy Adaptation for Unlabelled Cross-domain Temporal Grounding
arxiv.org·4d
📦Unikernel Systems
impuTMAE: Multi-modal Transformer with Masked Pre-training for Missing Modalities Imputation in Cancer Survival Prediction
arxiv.org·1d
💻CS
Deals: 1TB M4 Mac mini, MacBook Pro $300 off, Apple Watch Series 10 $149 off, Trackpad, AirPods 4, more
9to5mac.com·1d
🍎Apple
The Reason Your Company's Growth Is Stalled
businessofsoftware.org·4d·
Discuss: Hacker News
🍎Apple
Event-Aware Sentiment Factors from LLM-Augmented Financial Tweets: A Transparent Framework for Interpretable Quant Trading
arxiv.org·3d
🔠Type-Level Programming
Can Platform Engineering Accelerate AI Adoption?
thenewstack.io·3d
🤖Program Synthesis
"Draw me a curator" Examining the visual stereotyping of a cultural services profession by generative AI
arxiv.org·3d
➡️Category Theory