Alexander Fehrmann: How To Analyze Impression Evidence In Amped FIVE
forensicfocus.com·1d
🔍Binary Forensics
Lisa Fagin Davis’ “The Materiality of the Voynich Manuscript”…
ciphermysteries.com·23m
🏰Manuscript Networks
It takes a Kraken to scan billions of source files
softwareheritage.org·2d
🏠Homelab Archaeology
Call for Applications: Publications Editor
www2.archivists.org·3d
🗃archives
Adversary TTP Simulation Lab
infosecwriteups.com·4d
🏠Homelab Pentesting
Boosting Unit Test Automation at Audible with Amazon Q Developer
aws.amazon.com·17h
🔄Reproducible Builds
Experimenting with ACL2 and Claude Code
mikedodds.org·1d·
Discuss: Hacker News
👑Isabelle
Gleam Programming Language Tour
tour.gleam.run·3h·
Discuss: Hacker News
🦀Rust Macros
Bidirectional type checking step by step (in Ruby)
luizpvas.github.io·13h·
Discuss: Hacker News
Bidirectional Typing
Building Repo Bench
repoprompt.com·2d·
Proof Automation
Zelos Tech Manages Hundreds of Millions of Files for Autonomous Driving with JuiceFS
dev.to·1d·
Discuss: DEV
💾Proxmox Storage
North Korea’s Contagious Interview Campaign Escalates: 338 Malicious npm Packages, 50,000 Downloads
socket.dev·19h·
Discuss: Hacker News
🚀Indie Hacking
My first homelab project!
i.redd.it·1d·
Discuss: r/homelab
🏠Homelab
Automated Anomaly Detection in Time-Series Statistical Spreadsheets via Hyperdimensional Vector Similarity
dev.to·15h·
Discuss: DEV
🔤Character Classification
Social Science PhD Tech Stack
kevinbryanecon.com·1d·
Discuss: Hacker News
🔄Archive Workflows
Effective and Stealthy One-Shot Jailbreaks on Deployed Mobile Vision-Language Agents
arxiv.org·1d
🕵️Vector Smuggling
Curing Miracle Steps in LLM Mathematical Reasoning with Rubric Rewards
arxiv.org·1d
🧮Theorem Proving
Patina project – a Rust implementation of UEFI firmware
github.com·1d·
Discuss: Hacker News
🦀Embedded Rust
Static Bundle Object: Modernizing Static Linking
medium.com·3d·
🔗Static Linking