matmat's Likes

Nix Installation Guide
nixos.wiki·10w
❄️Nixpkgs
Curate your shell history – Benjamin Esham
esham.io·12w·
Discuss: Lobsters, Hacker News
🕰Unix history
The Cypherpunk Legacy: A Story of Code, Freedom, and Digital Sovereignty
gizvault.com·10w·
Discuss: Hacker News
🌳Archive Merkle Trees
CS-KG 2.0: A Large-scale Knowledge Graph of Computer Science
nature.com·10w
🕸️Knowledge Graphs
fsync()-ing a directory on Linux (and not Windows)
ayende.com·10w
📂Directory Synchronization
Are You Listening? Basics of Investigating (with) Sound
exposingtheinvisible.org·10w
👂Audio Evidence
Notes on type inference and polymorphism
blog.snork.dev·10w·
Discuss: Lobsters, Hacker News, r/programming
🔍Type Inference
Lisp Quotes
heuristos.net·10w·
Discuss: Hacker News
🔗Lisp
Bibliographic data, part 2: Dublin Core's dirty little secret (2010)
reprog.wordpress.com·10w·
Discuss: Hacker News
📇Dublin Core
Information-Theoretic Foundations for Machine Learning
arxiv.org·13w
🧠Machine Learning
VectorSmuggle: Covertly Exfiltrate Data in Embeddings
github.com·11w·
Discuss: Hacker News
🕵️Vector Smuggling
Personal Digital Archiving Guide Part 2: Media Types and File Formats
blogs.lib.umich.edu·10w
🗜️Archive Compression
In the computer
chris-martin.org·10w
💻Programming languages
OpenBSD on the 2020 M1 MacBook Air
kernelpanic.life·10w·
Discuss: Hacker News
🔌Operating system internals
The Science Behind Music as a Universal Language
mauriziomorri.dev·10w
🎵Music Universality
How Databases Store Your Tables on Disk
deepintodev.com·12w·
Discuss: Hacker News, r/programming, r/programming
🗄️Database Internals
Proving Algebraic Datatypes are “Algebraic”
soap.coffee·13w
🔤Type Theory
I Think It's Time to Give Nix a Chance
maych.in·12w·
Discuss: Hacker News
❄️Nix Adoption
A no-maths guide to monads
raphael-proust.gitlab.io·12w·
Discuss: Hacker News
🧬Functional Programming
High Availability Proxmox clusters are amazing
xda-developers.com·14w
💿Proxmox HA