🛡️ seL4

Formal Verification, Microkernel, Capability Security, Isabelle/HOL

Show HN: Learn Complete French Grammar for Free
learncompletefrench.netlify.app·23h·
Discuss: Hacker News
✓Automated Theorem Proving
Post to HN
blog.cloudflare.com·4d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
The current state of Gusto's modularity tooling (2024)
engineering.gusto.com·5d·
Discuss: Hacker News
📦Unikernel Systems
Speed Is the Killer Feature
bdickason.com·23h·
Discuss: Hacker News
👁️System Observability
Hexagonal Lighting Brings a Touch of Elegance to the Workshop
hackaday.com·5h
🔬Unikernels
Artisanal Programming (Coding)
kuccello.medium.com·5d·
Discuss: Hacker News
🤖Program Synthesis
Hackers target Python devs in phishing attacks using fake PyPI site
bleepingcomputer.com·1d·
Discuss: Hacker News
🌐NetworkProtocols
Exploring molecular assembly as a biosignature using mass spectrometry and machine learning
arxiv.org·3d
🐫OCaml
App Store safety again called into question by Tea app
9to5mac.com·7h
🍎Apple
I built SQL-GPT – paste your schema, ask in English, get SQL queries
reddit.com·2d·
Discuss: r/programming
🎮Verification Games
Analyzing and Mitigating Repetitions in Trip Recommendation
arxiv.org·2d
🎮Verification Games
SwinECAT: A Transformer-based fundus disease classification model with Shifted Window Attention and Efficient Channel Attention
arxiv.org·1d
🔠Type-Level Programming
Semantics versus Identity: A Divide-and-Conquer Approach towards Adjustable Medical Image De-Identification
arxiv.org·1d
🐫OCaml
Show HN: CIAM – A curated list of CIAM resources for anyone adding auth
github.com·3d·
Discuss: Hacker News
📦Unikernel Systems
Few-shot Online Anomaly Detection and Segmentation
arxiv.org·1d
🧪Property-Based Testing
RemoteReasoner: Towards Unifying Geospatial Reasoning Workflow
arxiv.org·3d
🧱Immutable Infrastructure
Novel Pivoted Cholesky Decompositions for Efficient Gaussian Process Inference
arxiv.org·2d
💻CS
Adaptive Fuzzy Time Series Forecasting via Partially Asymmetric Convolution and Sub-Sliding Window Fusion
arxiv.org·2d
💻CS
Data-Driven Incremental GAS Certificate of Nonlinear Homogeneous Networks: A Formal Modular Approach
arxiv.org·6d
🤖Program Synthesis
Multifunctional physical reservoir computing in soft tensegrity robots
arxiv.org·1d
🐫OCaml