derived set
ncatlab.org·3h
🧮Algebraic Archives
Validating Mechanistic Interpretations: An Axiomatic Approach
arxiv.org·1d
⚖️Hoare Logic
The Tao of Bespoke Electronics
hackaday.com·1h
💾vintage computing
Software Heritage: The next chapter
softwareheritage.org·5h
🏛️OAIS Implementation
Diving deep into Binius M3 arithmetization using Merkle tree inclusion as an example
blog.lambdaclass.com·1d
🌳Archive Merkle Trees
New: Improve Apache Iceberg query performance in Amazon S3 with sort and z-order compaction
aws.amazon.com·22h
🔄Burrows-Wheeler
The complexity trap: why cybersecurity must be simplified
techradar.com·9h
🛡Cybersecurity
Could Open Table Formats End the Reign of Snowflake and Databricks?
prequel.co·56m·
Discuss: Hacker News
📚MARC Evolution
Tiny Deltas, Big Wins: Schema-less Thrift Patching at Planet Scale
hackernoon.com·11h
📋Protocol Buffers
In the Wild: Malware Prototype with Embedded Prompt Injection
research.checkpoint.com·6h
🦠Malware Analysis
Counting with Categories (Part 3)
golem.ph.utexas.edu·1d
λLambda Formalization
Portable Network Graphics (PNG) Specification (Third Edition)
w3.org·22h·
Discuss: Hacker News
🕸️WebP Analysis
How to (Almost) solve cybersecurity once and for all
adaptive.live·22h·
Discuss: Hacker News
🔐Systems Hardening
The AI Memory Wallet Fallacy
blog.getzep.com·1d·
Discuss: Hacker News
💾Persistence Strategies
Shrinking the Generation-Verification Gap with Weak Verifiers
arxiv.org·1d
🧪CBOR Fuzzing
Solving LinkedIn Queens Using Haskell
imiron.io·1d·
Discuss: Lobsters, Hacker News, r/programming
λLambda Formalization
Deep Dive into Databend UDF, implementing your data solutions with Python, WASM
databend.com·4h·
Discuss: Hacker News
📋DFDL
Single-function Devices in the World of the Everything Machine
chrbutler.com·1d·
Discuss: Hacker News
💾vintage computing
How to Make Large-Scale Experiments Smarter and Cheaper with AI-Driven Proofs
dev.to·3h·
Discuss: DEV
✓Automated Theorem Proving
Why Agentic Flows Need Distributed-Systems Discipline
temporal.io·1d·
Discuss: Hacker News
⚙️TLA+