5 Things I Learned Building a Database File Format from Scratch
dev.toยท1dยท
Discuss: DEV
๐Ÿ—„๏ธDatabase Internals
Can All Knowledge Be Mined? A Formal Framework for ฯ†^โˆž Consequence Closure
researchgate.netยท15hยท
Discuss: Hacker News
๐Ÿ”ขDenotational Semantics
Linters, Formatters, and Type-Checkers
playfulprogramming.comยท1d
๐ŸŽฏGradual Typing
Pennybase: a Pound-Shop BaaS
zserge.comยท3d
โœ…Format Validation
What I learned from the book Designing Data-Intensive Applications
newsletter.techworld-with-milan.comยท17hยท
Discuss: r/compsci, r/programming
๐Ÿ—„๏ธDatabase Internals
Type Inference for Decompiled Code: From Hidden Semantics to Structured Insights
binarly.ioยท2d
๐Ÿ”“Decompilation
Boot disk structure in macOS, iOS and iPadOS, and AI cryptexes
eclecticlight.coยท1h
๐Ÿ”ŒOperating system internals
Disaster Recovery with ZFS: A Practical Guide
discoverbsd.comยท2h
๐Ÿ—„๏ธFile Systems
An unfinished post: "Compressing short Unicode strings with BOCU-1"
evanhahn.comยท1d
๐Ÿ”คCharacter Encoding
Exposure Protocol: Information Disclosure in the Wild [Part 3]
infosecwriteups.comยท1d
๐ŸบZIP Archaeology
Whatโ€™s the Difference Between Authenticity and Non-Repudiation in Cybersecurity?
securityscorecard.comยท21h
๐ŸŒณArchive Merkle Trees
โ€œWeโ€™re in an era of consistent attackโ€ - how offline storage architecture could save your business
techradar.comยท1d
๐Ÿ’พPersistence Strategies
Amped FIVE Update 37757: Writing Queue, Camera Calibration, RIFF Viewer, Timing Source for Video Writer and Much More
blog.ampedsoftware.comยท18h
โฑ๏ธSMPTE Timecode
Can't We Have Nice Things?
queue.acm.orgยท13hยท
Discuss: Hacker News
๐Ÿ Homelab Archaeology
Fair Data Exchange with Constant-Time Proofs
arxiv.orgยท1d
๐ŸŒณArchive Merkle Trees
graven-image: Portability library for CL image in REPL
github.comยท13hยท
Discuss: Lobsters
๐Ÿฆ€Rust Macros
My first experience with Formal Methods | ZipCPU
zipcpu.comยท22h
๐Ÿ”งHardware Verification
New in Apache Iceberg 3.0: Fresh Data Types, NULL Vals, Change Capture
thenewstack.ioยท18h
๐Ÿ“ฆMETS Packaging
And the other Big Red Logic Books?
logicmatters.netยท15h
๐Ÿ”€Category Theory
[Boost]
dev.toยท1dยท
Discuss: DEV
๐ŸŽฏGradual Typing