Guide to PDF security
unicornforms.com·2d·
Discuss: Hacker News
🛡️seL4
Serverless single tenant RAG with DuckDB
summer.io·2d·
Discuss: Hacker News
📦Unikernel Systems
Confessions of a static timing analysis tool
chipinsights.substack.com·1d·
Discuss: Substack
⚙️PL Implementation
Phishers Target Aviation Execs to Scam Customers
krebsonsecurity.com·1d·
Discuss: Hacker News
📡Network Protocol Design
Windows 11 is unsupported? This app automatically moves important Windows 10 data to Linux
neowin.net·1d·
Discuss: Hacker News
🔬Unikernels
Erase Your Darlings
grahamc.com·1d·
Discuss: Hacker News
❄️Nix
Vibe Coding Turned This Swedish AI Unicorn Into The Fastest Growing Software Startup Ever, graphic
forbes.com·3d·
Discuss: Hacker News
✓Automated Theorem Proving
Fine-Tuning in Sentence Transformers 3 – Aurelio AI
aurelio.ai·3d·
Discuss: Hacker News
🧪Property-Based Testing
GTA 2 re-implementation project by CriminalRETeam
github.com·14h·
Discuss: Hacker News
🔄Reproducible Builds
Towards Robust Foundation Models for Digital Pathology
arxiv.org·1d
➡️Category Theory
Can I trust this paper?
link.springer.com·2d·
Discuss: Hacker News
🔬Static Analysis
Show HN: Inflammation – Intelligent Voice to Code for Cursor and VSCode
github.com·1d·
Discuss: Hacker News
❄️Nix
Multisensory Integration and Sensory Substitution Across Vision, Audition, and Haptics: Answering the What, Which, and When in Study Protocols
arxiv.org·1d
🏹Effect Systems
iOS 26 code hints at a sleep score feature for Apple Watch
9to5mac.com·3d
🐫Embedded OCaml
A Supervised Machine Learning Framework for Multipactor Breakdown Prediction in High-Power Radio Frequency Devices and Accelerator Components: A Case Study in P...
arxiv.org·1d
🐫Embedded OCaml
Evaluating Artificial Intelligence Algorithms for the Standardization of Transtibial Prosthetic Socket Shape Design
arxiv.org·2d
🔠Type-Level Programming
Input-leap/input-leap: Open-source KVM software (barrier fork)
github.com·6d·
Discuss: Hacker News
🍎XNU Internals
Glaze: Fast, in memory, JSON and reflection library for modern C++
github.com·3d·
Discuss: Hacker News
📦Unikernel Systems
Designing for Learning with Generative AI is a Wicked Problem: An Illustrative Longitudinal Qualitative Case Series
arxiv.org·2d
🎮Verification Games
Show HN: YouTubeTLDR – A lightweight, self-hosted YouTube summarizer in Rust
github.com·1d·
Discuss: Hacker News
❄️Nixified Development