A Pattern Language for Pattern Languages
mcqn.net·11h
📋Backus-Naur Form
Flag this post
Solved a micro-stutter by spawning collectibles in batches — sharing in case it helps
🎪Playground Compilation
Flag this post
Supersized chip family gathers for the 54th anniversary of the Intel 4004 CPU — 4001 ROM, 4002 RAM, and 4003 shift registers feature in a reconstructed Busicom ...
tomshardware.com·40m
🔧RISC-V
Flag this post
exploits.club Weekly(ish) Newsletter 92 - S23 N-Day PoCs, Printer Overflows, DNG OOB Writes, And More
blog.exploits.club·1d
🏷️Memory Tagging
Flag this post
<p>**Abstract:** This paper introduces a novel system for automating the formalization and verification of proofs within Homotopy Type Theory (HoTT). Leveraging...
freederia.com·1d
⚖️Inference Rules
Flag this post
Python Registry Pattern: A Clean Alternative to Factory Classes
✅Configuration Validation
Flag this post
sit - Create StuffIt archives on Unix systems
tinkerdifferent.com·2d
🏠indieweb
Flag this post
RFT Theorems
🔢Algebraic Datatypes
Flag this post
The age of personalized software
discuss.samsaffron.com·5h
🎮Language Ergonomics
Flag this post
Human-aligned Quantification of Numerical Data
arxiv.org·2d
📐Succinct Data Structures
Flag this post
The Boss Needs Help
jro.sg·22h
🛡️Parser Security
Flag this post
Automatic Syntax Error Recovery (2020)
🔧Error Recovery
Flag this post
Show HN: Onlymaps, a Python Micro-ORM
🗃️Query Compilation
Flag this post
Loading...Loading more...