Link Dump

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)
  • systemd
• Necessity and Sufficiency
  • formal-logic
• Course on Visual Rhetoric & Document Design
  • graphic-design
• Dynamics in Document Design
  • graphic-design
• Counterexamples in Type Systems
  • programming-languages, type-systems
• Register Allocation - Alexis King
  • compilers
• tiny-CPU - a pedagogical Verilog implementation of a GPU
  • verilog, 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
  • term-rewriting
• Reddit Post: [Terence Tao] Formalizing a proof in Lean using Github copilot and canonical
  • lean-lang, formal-proofs
• Visible Language Journal 59.1
  • typography, visual-design
  • Visible Language Journal is The World’s Oldest Peer-Reviewed Design Journal
• Nanometer-Scale Layering in Rock Varnish
  • Desert Varnish is nanoscale coatings that appear on rock surfaces in arid environments
• Propaganda (1928) - Edward Bernays
  • public-relations, media-studies
  • Bernays is the “father of public relations”
• Bit Twiddling Hacks (1997-2005) - Sean Eron Anderson
  • bit-manipulation
• Hacker’s Delight
  • bit-manipulation, algorithms
• 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
  • type-theory
• Programming Language Foundations in Agda: Introduction to Programming Language Theory using Agda
  • programming-language-theory
  • Chapter on Progress and Preservation
• Marpa parsing algorithm
  • parsing
  • https://lukasatkinson.de/2015/marpa-overview/
  • https://www.reddit.com/r/ProgrammingLanguages/comments/8cuwmb/the_marpa_parser/
  • https://github.com/hylo-lang/Lotsawa
• Parsing: a timeline - Jeffrey Kegler
  • parsing
  • https://www.reddit.com/r/programming/comments/8ctcut/parsing_a_timeline_hopefully_this_puts_parsing_is/
  • https://www.reddit.com/r/ProgrammingLanguages/comments/n6ctph/comparison_of_general_vs_hand_written_parser/
• 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
• Brown University: Cognitive Engineering Lab
  • programming-ux
• Avoiding Signature Avoidance in ML Modules with Zippers
  • modules, zippers
  • ” a new path-based type system for a fully fledged ML-module language that avoids the signature avoidance problem”
• 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
  • ocaml