matmat's Likes

Specifications for SIP Submission and Metadata Requirements
digitalpreservation.noยท28w
๐Ÿ›๏ธPreservation Standards
Preview
Report Post
How does intelligence relate to compression?
lewish.ioยท32wยท
Discuss: Hacker News
๐Ÿ“ŠCompression Proofs
Preview
Report Post
A history of the Internet, part 2: The high-tech gold rush begins
arstechnica.comยท32wยท
Discuss: Lobsters
๐Ÿ“กDNS Archaeology
Preview
Report Post
Random Floppies - Volume 2
filesfound.netยท32w
๐Ÿ—ƒ๏ธROM Preservation
Preview
Report Post
Active Directory Pentesting from Linux
tbhaxor.comยท32w
๐Ÿ•ต๏ธDomain Enumeration
Preview
Report Post
What is cosh(List(Bool))? Or beyond algebra: analysis of data types.
cofault.comยท32wยท
Discuss: Lobsters, Hacker News
๐Ÿ”คType Theory
Preview
Report Post
The design and implementation of LZW (the GIF compression algorithm)
commandlinefanatic.comยท32w
๐Ÿ“ฆDeflate
Preview
Report Post
2025-06-08 Omnimax
computer.ripยท32wยท
Discuss: Hacker News
๐ŸŒOmnimax Projection
Preview
Report Post
Lo8: Resurrecting 8-track as a data storage medium (cassettepunk.com)
cassettepunk.comยท34wยท
Discuss: Hacker News
๐ŸŽต8-track Revival
Preview
Report Post
Nuremberg Letterbooks: A Multi-Transcriptional Dataset of Early 15th Century Manuscripts for Document Analysis
nature.comยท35w
๐Ÿ“œNuremberg Letterbooks
Preview
Report Post
Disk Imaging for Preservation: Part 1
blogs.lib.umich.eduยท32w
๐Ÿ›ก๏ธPreservation Proofs
Preview
Report Post
Fast character classification with z3
lemire.meยท33wยท
Discuss: Hacker News
๐Ÿ”คCharacter Classification
Preview
Report Post
Functional Programming in Bash: Harnessing the Power of Simplicity
scalastic.ioยท33wยท
Discuss: Hacker News
๐ŸšBash FP
Preview
Report Post
Beginner resources for formalizing lambda calculi
chrishenson.netยท36wยท
Discuss: Hacker News
ฮปLambda Formalization
Preview
Report Post
Secure Parsing and Serializing with Separation Logic Applied to CBOR, CDDL, and COSE
arxiv.orgยท34w
๐Ÿ›ก๏ธCBOR Security
Preview
Report Post
EBCDIC Is Incompatible with GDPR
shkspr.mobiยท32wยท
Discuss: Hacker News
๐Ÿ”คEBCDIC Privacy
Preview
Report Post
Old but gold: Paper tape and punched cards still getting the job done โ€“ just about
theregister.comยท32wยท
Discuss: Hacker News
๐Ÿ“ผCassette Archaeology
Preview
Report Post
I wrote a deep dive into classic Bloom Filters
maltsev.spaceยท32wยท
Discuss: Hacker News, r/compsci, r/programming
๐ŸŒธBloom Filters
Preview
Report Post
Apple II: Launched June 10, 1977
dfarq.homeip.netยท32wยท
Discuss: Hacker News
๐ŸŽApple Computing
Preview
Report Post
Inductive definitions
lawrencecpaulson.github.ioยท32w
๐Ÿ‘‘Isabelle
Preview
Report Post

Keyboard Shortcuts

Navigation
Next / previous item
j/k
Open post
oorEnter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help