Running Minecraft on a Hobby OS
astral-os.org·9h·
Discuss: Hacker News
🎯Emulator Accuracy
Flag this post
Catalog of reliability properties for blockchains (Antithesis)
antithesis.com·8h·
Discuss: Hacker News
🤝Distributed Consensus
Flag this post
Ask HN: Do professional photographers need hardware-level image authentication?
news.ycombinator.com·2d·
Discuss: Hacker News
🔒Hardware Attestation
Flag this post
Build your own GPG in Rust
andrewhalle.github.io·13h·
Discuss: Hacker News
🌳Archive Merkle Trees
Flag this post
State of Terminal Emulators in 2025: The Errant Champions
jeffquast.com·2d·
📟Terminal Typography
Flag this post
Attacking macOS XPC Helpers: Protocol Reverse Engineering and Interface Analysis
tonygo.tech·2d·
🔌Interface Evolution
Flag this post
are-dependent-types-actually-erased
chadnauseam.com·14h·
Discuss: Hacker News
🎯Dependent Types
Flag this post
Doo: A Simple, Fast Programming Language Built on Rust and LLVM
news.ycombinator.com·17h·
Discuss: Hacker News
🦀Rust Macros
Flag this post
pDANSE: Particle-based Data-driven Nonlinear State Estimation from Nonlinear Measurements
arxiv.org·20h
🌀Differential Geometry
Flag this post
Home lab on a budget part 2: Software and network
reddit.com·3h·
Discuss: r/homelab
🖥Home Lab Setup
Flag this post
Visual Backdoor Attacks on MLLM Embodied Decision Making via Contrastive Trigger Learning
arxiv.org·20h
🔲Cellular Automata
Flag this post
Print-and-Clamp: Rubber Band PCB Stand Slides into Duty
hackaday.com·4h
⚙️DIY Electronics
Flag this post
From product to system network challenges in system of systems lifecycle management
arxiv.org·20h
🦋Format Metamorphosis
Flag this post
GPU Pro – Master Your AI Workflow
github.com·1d·
🖥️Terminal Renaissance
Flag this post
Scalable In-Memory Associative Processing for Graph Neural Network Inference
dev.to·1d·
Discuss: DEV
🖥️Hardware Architecture
Flag this post
AI Models Write Code with Security Flaws 18–50% of the Time, New Study Finds
medium.com·8h·
Discuss: Hacker News
📏Code Metrics
Flag this post
Predictive Model-Based Design Validation via Dynamic Bayesian Network Fusion
dev.to·2d·
Discuss: DEV
🔧Hardware Verification
Flag this post