These are references that seem interesting to me, but haven’t yet decided to add them to my bibliography. AKA trying to clean up my hundreds of browser tabs.
- systemd for Developers I (Socket Activation)
- Necessity and Sufficiency
- Course on Visual Rhetoric & Document Design
- Dynamics in Document Design
- Counterexamples in Type Systems
- Register Allocation - Alexis King
- tiny-CPU - a pedagogical Verilog implementation of a GPU
- What is gained and lost with 63-bit integers?
- ocaml, compilers
- Has a definition of Un/Boxed, as well as expanding on tagged-pointer
- Library and Lang for e-graphs
- Reddit Post: [Terence Tao] Formalizing a proof in Lean using Github copilot and canonical
- Visible Language Journal 59.1
- typography, visual-design
- Visible Language Journal is The World’s Oldest Peer-Reviewed Design Journal
- Nineteen Questions to Evaluate Typographic Research: Chaff and Wheat
- Nanometer-Scale Layering in Rock Varnish
- Propaganda (1928) - Edward Bernays
- public-relations, media-studies
- Bernays is the “father of public relations”
- Bit Twiddling Hacks (1997-2005) - Sean Eron Anderson
- Hacker’s Delight
- SecureDrop: Share and accept documents securely
- security
- from the Freedom of Press Foundation, initially created by Aaron Swartz
- Pkl configuration language
- configuration
- has type constraints: runtime bool checks
- from Apple
- Я (ya) language
- functional-programming
- Haskell eDSL for category theory-centric programming
- Custom fonts leverage ligatures for complex operators
- CMU 15-814: Lecture Notes on Progress and Preservation
- Programming Language Foundations in Agda: Introduction to Programming Language Theory using Agda
- Marpa parsing algorithm
- Parsing: a timeline - Jeffrey Kegler
- Parsing: The solve Problem That Isn’t - Laurence Tratt
- Language Equality problem in Context-free Grammars:
- related: different CFGs can generate the same context-free language
- Language Equality problem in Context-free Grammars:
- Brown University: Cognitive Engineering Lab
- Avoiding Signature Avoidance in ML Modules with Zippers
- Laukik Chitnis (UFL): Introduction to Histograms
- histograms, database-theory
- motivation: backing data structures for database operations
- Histogram Thesholding
- histograms, image-processing
- Thresholding is a way to binary-classify continuous data (e.g. image segmenting monochromatic images)
- Scott Smith: Functional Programming in Software Engineering (Johns Hopkins University 601.329/629)
- cs-education
- Modules, Testing, Effects
- OCaml Discuss: Seq vs List, optimization
- SO: Why are the State and Reader monads functions while the Writer monad is a tuple?
- analysis of data types
- Architectural styles of curiosity in global Wikipedia mobile app readership - Dale Zhou et al
- https://benjaminselfridge.github.io/posts/2022-05-10-model-checking-1.html
- https://arista.my.site.com/AristaCommunity/s/article/Announcing-Spectacle-A-language-for-Writing-and-Checking-Formal-Specifications-in-Haskell
- Books on semiconductors, solid-state-physics
- Principles Of Electronic Materials (S. O. Kasap)
- Fundamentals of Semiconductors - Physics and Materials Properties (Peter Y. Yu, Manuel Cardona)
- Electronic Properties of Materials (Rolf E. Hummel)
- MIT 3.024: Electronic, Optical And Magnetic Properties of Materials
- flexoelectricity, triboelectricity
- UN: New Economics For Sustainable Development - Attention Economy
- opinion-dynamics
- ETAP: a platform for experimenting with typesetting algorithms
- The art of text (rendering) - Nicolas Rougier @ 39C3
- Simple Bidirectional Type Inference - ettolrach
- Digital Signals Theory - Brian McFee
- Book on Signals and systems, Sampling theory, Discrete Fourier analysis, and Discrete-time linear filtering.
- digital-signal-processing
- Selective Applicative Functors - veritates.love
- Eiger: Auditable, executable, flexible legal regulations