Cactus Language • Syntax 12
inquiryintoinquiry.com·9h
📝Concrete Syntax
Keystroke Forensics 101: Extracting Secrets from USB Traffic
infosecwriteups.com·17h
🔍NTLM Forensics
iPRES Digital Preservation Bake Off 2025 - Amuse Bouche Challenge: Tiny Tools, Tasty Wins
ipres2025.nz·3d
🔄Archival Workflows
Machines of Faithful Obedience
windowsontheory.org·1d
🔲Cellular Automata
Solving LinkedIn Queens Using Haskell
imiron.io·1d·
Discuss: Lobsters, Hacker News, r/programming
λLambda Formalization
In which I write a library-quality B+ tree with the genies
tidyfirst.substack.com·10h·
Discuss: Substack
🦀Rust Macros
OpenADP, needs volunteers to help prevent mass secret surveillance
openadp.org·1d·
Discuss: Hacker News
🔐Homomorphic Encryption
Tiny Deltas, Big Wins: Schema-less Thrift Patching at Planet Scale
hackernoon.com·18h
📋Protocol Buffers
Deep Dive into Databend UDF, implementing your data solutions with Python, WASM
databend.com·11h·
Discuss: Hacker News
📋DFDL
The AI Memory Wallet Fallacy
blog.getzep.com·1d·
Discuss: Hacker News
💾Persistence Strategies
Show HN: TableSprint- Supabase alternative with vibe coding features
tablesprint.com·22h·
Discuss: Hacker News
📲Digitization
Unlocking Hyper-Security: The Power of AI in Multi-Modal Biometric Systems
dev.to·21h·
Discuss: DEV
🎵Spectral Hashing
The collective waste caused by poor documentation
shanrauf.com·1d·
Discuss: Hacker News
📦Deflate
Could Open Table Formats End the Reign of Snowflake and Databricks?
prequel.co·8h·
Discuss: Hacker News
📚MARC Evolution
Small language model for secrets detection
wiz.io·3d·
Discuss: Hacker News
💻Local LLMs
Critical Security Importance Digital Age Web Techniques（1750818928214500）
dev.to·23h·
Discuss: DEV
🔒WASM Capabilities
Memory Safety in Web Rust System Zero Cost Secure（1750671065382000）
dev.to·2d·
Discuss: DEV
🦀Rust Borrowing
Announcing crabstep: A pure Rust, cross-platform, zero-dependency Apple/NeXTSTEP typedstream deserializer
github.com·8h
🔒Linear Types
How to Make Large-Scale Experiments Smarter and Cheaper with AI-Driven Proofs
dev.to·10h·
Discuss: DEV
✓Automated Theorem Proving
Single-function Devices in the World of the Everything Machine
chrbutler.com·1d·
Discuss: Hacker News
💾vintage computing