Brazil's top court rules US laws do not apply to its territory
rfi.fr·17h·
Discuss: Hacker News, r/worldnews
✓Automated Theorem Proving
Dam sabotage blamed on pro-Russia hackers
newsinenglish.no·5d·
Discuss: Hacker News
🛡️seL4
The ESP-Rainbow: Flatter than a Speccy
nicole.express·2d·
Discuss: Hacker News
💾Retro Computing
Gerrit Code Review
gerritcodereview.com·4d·
Discuss: Hacker News
🔄Reproducible Builds
The end of the Kaisen Linux project
kaisenlinux.org·5d·
Discuss: Hacker News
📦Unikernel Systems
Review of Anti-Aging Drugs
scienceblog.com·2d·
Discuss: Hacker News
💾Retro Computing
A brief consideration of input shapes (fuzzing)
addisoncrump.info·2d·
Discuss: Lobsters, Hacker News
🧪Property-Based Testing
MP4 Analyzer – CLI & GUI for inspecting MP4 files
reddit.com·2d·
Discuss: r/programming
🔬Static Analysis
Why Lean 4 replaced OCaml as my Primary Language
kirancodes.me·4d·
Discuss: Lobsters, Hacker News
🐫Embedded OCaml
Project Hydra: Improving state resolution in Matrix
matrix.org·5d·
Discuss: Lobsters, Hacker News
🛡️seL4
The AI tool that could make manufacturing faster and more efficient—by using Lego bricks
techxplore.com·5d·
Discuss: Hacker News
🤖Program Synthesis
Sebaxu "Simulate GPS & Stream NMEA for Your Projects"
reddit.com·6d·
Discuss: r/programming
🍎XNU Internals
Chrony NTP Web Interface V2
github.com·3d·
Discuss: r/homelab, r/selfhosted
🌐NetworkProtocols
The Coming Lob App Renaissance (and Security Nightmare)
brethorsting.com·6d·
Discuss: Hacker News
👁️System Observability
Med-GLIP: Advancing Medical Language-Image Pre-training with Large-scale Grounded Dataset
arxiv.org·4d
🐫Embedded OCaml
Combining Machine Learning Defenses without Conflicts
arxiv.org·4d
✓Automated Theorem Proving
Rubberduck: Emulate OpenAI/Anthropic locally with caching and failure injection
github.com·6d·
Discuss: Hacker News
🧱Immutable Infrastructure
Fast and Simple Multiclass Data Segmentation: An Eigendecomposition and Projection-Free Approach
arxiv.org·5d
➡️Category Theory
Perfect Counterfactuals in Imperfect Worlds: Modelling Noisy Implementation of Actions in Sequential Algorithmic Recourse
arxiv.org·1d
🏹Effect Systems
Show HN: FilterQL – A tiny query language for filtering structured data
github.com·5d·
Discuss: Hacker News
🔠Type-Level Programming