🛡️ seL4

Formal Verification, Microkernel, Capability Security, Isabelle/HOL

Free Minority Languages Translation
seatranslations.com·3h·
Discuss: Hacker News
🐫Embedded OCaml
MongoDB CDC to ClickHouse with Native JSON Support
clickhouse.com·1d·
Discuss: r/programming
🏠HomeLab
Some Self-Paced Kids Move Fast
oaklandlearn.org·4d·
Discuss: Hacker News
➡️Category Theory
M&S click and collect returns 15 weeks after cyber attack
bbc.co.uk·1d·
Discuss: Hacker News
🍎Apple
From Shy Engineer to Director at Oracle and a Skilled Communicator
newsletter.eng-leadership.com·2d·
Discuss: r/programming
🎮Verification Games
Just built a tool that turns any app into a windows service - fully managed alternative to NSSM
reddit.com·4d·
Discuss: r/programming
👁️System Observability
Removing friction from Amazon SageMaker AI development
allthingsdistributed.com·6d·
Discuss: Hacker News
👁️System Observability
Wikimedia Foundation Challenges UK Online Safety Act Regulations
wikimediafoundation.org·1d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
ISPC: Implicit SPMD Program Compiler
github.com·2d·
Discuss: Hacker News
⚙️PL Implementation
India’s services giant TCS lays off over 10,000 for reasons including AI, hikes wages for survivors
theregister.com·2d·
Discuss: Hacker News
🧗Climbing Tech
Bye SaaS-We Have Entered the Agentic Platform Companies Era
forbes.com·2d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Tell HN: C and C++ are absolute beasts when it comes to performance efficient
news.ycombinator.com·5d·
Discuss: Hacker News
👁️System Observability
PSA: Proxmox VE v9.0 does not (yet) include a DHCP client
reddit.com·1d·
Discuss: r/homelab
📡Network Protocol Design
The Enshittification of Generative AI
wheresyoured.at·4d·
Discuss: Hacker News
🔬Unikernels
Advanced Deep Learning Techniques for Accurate Lung Cancer Detection and Classification
arxiv.org·2d
💻CS
Ask HN: Has anyone built a simple habit app that works?
news.ycombinator.com·1d·
Discuss: Hacker News
🍎Apple
Few-Shot Deployment of Pretrained MRI Transformers in Brain Imaging Tasks
arxiv.org·2d
➡️Category Theory
Dynamic Pattern Alignment Learning for Pretraining Lightweight Human-Centric Vision Models
arxiv.org·1d
🔄Finite State Machines
MIND: A Noise-Adaptive Denoising Framework for Medical Images Integrating Multi-Scale Transformer
arxiv.org·1d
🏹Effect Systems
VesselRW: Weakly Supervised Subcutaneous Vessel Segmentation via Learned Random Walk Propagation
arxiv.org·1d
➡️Category Theory