🔧 KAITAI

Binary Format Specification, Reverse Engineering, Structure Definition, Format Documentation

Quick Tip - Establish trust between VCF 9.0 Installer and VCF Offline Depot w/self-sign TLS certificate
williamlam.com·13h
🔐HSM Integration
Call for Contributions – Flash No. 47
ica.org·1d
🏛️PREMIS
Observable Notebooks 2.0
macwright.com·2d
🌊Streaming Systems
ImitationGame - Unconscious Ship Magnet
archiveofourown.org·23h
🔲Cellular Automata
Tetris in a Single Line of Code
survex.com·2d·
Discuss: Hacker News
🕹️Retro Gaming
Coffeematic PC – A coffee maker computer that pumps hot coffee to the CPU
dougmacdowell.com·7h·
Discuss: Hacker News
☕Coffee
Bay Area startup Harmonic gets gold medal at 2025 IMO with formal verification
harmonic.fun·3d·
Discuss: Hacker News
🧮Theorem Proving
Port Scanning with CLI tools: Telnet, Netcat and cURL
infosecwriteups.com·1d
🌐Network Protocols
x86 and ARM architectures comparison thread.
forums.anandtech.com·21h
🚀RISC-V Vector
Building Secure ReactJS Apps: Mastering Advanced Security Techniques • Jim Manico • GOTO 2024
youtube.com·1d
🛡️WASM Security
Why Developers Need Mobile-First Error Tracking (And How We Built It)
hackernoon.com·2d
👁️Observatory Systems
FedCVD++: Communication-Efficient Federated Learning for Cardiovascular Risk Prediction with Parametric and Non-Parametric Model Optimization
arxiv.org·1d
🤐Secure Multiparty
The Bug That Drove Me So Crazy, I Got Hired Just to Fix It
dev.to·1d·
Discuss: DEV
❄️Nix Flakes
LLMs' AI-Generated Code Remains Wildly Insecure
darkreading.com·14h
📏Code Metrics
Automated Identification of Sexual Orientation and Gender Identity Discriminatory Texts from Issue Comments
arxiv.org·4d
🔤Character Classification
Modelling Arbitrary Computations in the Symbolic Model using an Equational Theory for Bounded Binary Circuits
arxiv.org·3d
🎞️Tape Combinatorics
Needing help picking a filesystem for my harddrive
reddit.com·1d·
Discuss: r/homelab
🎵FLAC Internals
Unmasking Synthetic Realities in Generative AI: A Comprehensive Review of Adversarially Robust Deepfake Detection Systems
arxiv.org·3d
🔍Vector Forensics
[RFC] Upstream target support for CHERI-enabled architectures
discourse.llvm.org·2d·
Discuss: Lobsters, Hacker News
🧲RISC-V Preservation
Building the Future: Design & Implementation of a Secure NFT Marketplace dApp
hackernoon.com·4d
🌳Archive Merkle Trees