Specifications like temporal logic but with ordinary mathematics
yodaiken.com·2d
📄PostScript
Flag this post
Introduction to the AXC3000
hackster.io·6h
🔍FPGA Verification
Flag this post
An Overview of Digital Tools and Resources for Central and South Asian Studies Reviewed by The DO Members
digitalorientalist.com·2d
📜Digital Philology
Flag this post
The Ancient Greeks Built the World’s First Telegraph System—1,600 Years Before Morse Code
popularmechanics.com·2d
🗝️Paleocryptography
Flag this post
<p>Kind of wish I could say something about the project work I did on today. Truth of the matter is that I’ve been battling Goreleaser for most of the day...
lmika.org·16h
🐧FOSS
Flag this post
Codeminer42 Dev Weekly #84
blog.codeminer42.com·2d
🌳Incremental Parsing
Flag this post
Parsing Webpages with a LLM – Revisited
📝Concrete Syntax
Flag this post
Visualisation of latent finger-marks on brass substrates and ammunition casings
💿Optical Forensics
Flag this post
86Box v5.2: now with Floppy drive sounds
🕸️WASM Archives
Flag this post
CXR-LanIC: Language-Grounded Interpretable Classifier for Chest X-Ray Diagnosis
arxiv.org·35m
🧠Machine Learning
Flag this post
Text to Speech Sam
🗣️CMU Pronouncing
Flag this post
String Seed of Thought: Prompting LLMs for Distribution-Faithful and Diverse Generation
arxiv.org·35m
🧪Binary Fuzzing
Flag this post
Trap Bots on Your Server
🔄Burrows-Wheeler
Flag this post
Unsplittable Cost Flows from Unweighted Error-Bounded Variants
arxiv.org·35m
🧮Algebraic Datatypes
Flag this post
A bestiary of single-file programming language implementations
🔗Concatenative Programming
Flag this post
MIT 6.851: Advanced Data Structures (Spring'21)
💻CS
Flag this post
Typst's Math Mode Problem
🔗Lisp
Flag this post
Loading...Loading more...