The Goals of Neurotechnology I work on neurotechnology (defined broadly ) for 2.5 reasons. The first is to give people tools to fix…
"the classic dissection of the problem caused by IRBs" An argument that the system of boards that license human-subject research is so…
"you can get NeRF quality without any neural network at all and as a result 100x faster" Since neural networks are universal, we can often…
More than you want to know about gift cards McDonalds sells most of its milkshakes not to children as a dessert but to adults early in the…
Individuals matter (Dan Luu) A pattern I've repeatedly seen during the roadmap creation and review process is that people will plan out the…
CS Lewis — How will the bomb find you? In one way we think a great deal too much of the atomic bomb. ‘How are we to live in an atomic age…
"Greatest chess interview of all time" there are 48 regular polyhedra (surprise) Starlink Earth’s dominant ISP is constructed, maintained…
Omniscient Debugging Making reverse engineering tools for DEF CON Quals - Tristan Hume Omniscient Debugging "Because the Debugger Knows…
Teardown of a quartz crystal oscillator and the tiny IC inside Questioning the (dietary) variety hypothesis One of the most common, least…
How will OpenAI + GitHub's Copilot affect programming? - LessWrong Everything below the function prototype was AI generated. And, this code…
The Man Who Wants to Fix the Climate. Can Anyone Stop Him? Man dumps 120 tons of iron dust in the North Pacific in a bold geoengineering…
How to Do R&D Right - ChinaTalk I think it was Michael Nielsen who proposed the thought experiment of could we get better research if we…
Secure Secure Shell What it sounds like -- a guide to making sure your use of SSH is secure. An introduction to Japanese Syntax, Grammar…
New Science Most of all, I want our scientific institutions to empower young George Churches, rather than try to ruin their lives. Peter…
CSRF, CORS, and HTTP Security headers Demystified There's a Wikipedia page on Composition over inheritance Also, Inheritance was invented…
r/whatisthisthing For the identification of mysterious objects A place to find out what that odd-looking thing that you stumbled across…
From design patterns to category theory Taichi GitHub - taichi-dev/taichi: Productive & portable programming language for high-performance…
Dillon Marsh - For What It's Worth These images combine photography and computer generated elements in an effort to visualise the output of…
Interpretability vs Neuroscience rough note (colah) "Six major advantages which make artificial neural networks much easier to study than…
A String Diagrammatic Axiomatisation of Finite-State Automata We develop a fully diagrammatic approach to the theory of finite-state…
The Kelly criterion: How to size bets Interactive exploration of the Kelly criterion A Vim Guide for Advanced Users Ideas not mattering is a…
Unifying theory - toposes as ‘bridges’ At the beginning of my Ph.D. studies, I had the intuition that Grothendieck toposes could effectively…
(U.S.) Senate Bean Soup (recipe) Bean soup is on the menu in Senate restaurants every day. There are several stories about the origin of…
OCaml libraries lwd: Lightweight document Lwd is a library that lets you build values that changes over time. It is a simple form of…
Convivial Design Heuristics for Software Systems Illich’s notion of conviviality centres on the balance between individual freedom to act…
Real-world type theory I: untyped normalisation by evaluation for λ-calculus Normalisation corresponds to a sensible notion of /computation…
Blob Opera Control one of four opera voices at a time and the others will improves to sing along, recommended. Interesting Hacker News…
Desktop Windtunnel - YouTube Ocaml stuff ANN dap 1.0.0 — Debug Adapter Protocol for OCaml - Community - OCaml GitHub - hackwaly/ocaml-dap…
Tokyo: a wonder of the modern world fed by its konbini The Cubli: a cube that can jump up, balance, and ‘walk’ (video) A Map that Reflects…
Announcing quiver: a new commutative diagram editor for the web Amazing tool, so much easier than trying to write TikZ by hand. File this…
Meijer G-function From Stephen Diehl's Exotic Programming Ideas: Part 2 (Term Rewriting) . "A very general function intended to include…
The Unreasonable Syntactic Expressivity of RNNs RNNs can turn their hidden states into bounded-capacity stacks so efficiently, they can…
There Is a Fundamental Flaw in How We Do Statistics in Science Suppose I tell you that only 1% of people with COVID have a body temperature…
Kindling projects New programmers often need small projects to work on as they hone their skills. Exercises in courses are too small, and…
What Destroyed All of the Major Bronze Age Cities? every major settlement between Pylos in Greece and Gaza in the Levant was destroyed and…
People expect technology to suck because it actually sucks Good list of software sucking. I think this mostly serves to highlight lack of…
Train Station Ticket Machine in Japan David Foster Wallace The Lost Years and Last Days of David Foster Wallace Shipping Out: On the (nearly…
Hard to discover tips and apps for making macOS pleasant Related (and linked to from the above): (Emacs) Keyboard Shortcuts for Editing…
Is software engineering culture based on traditional engineering culture? I enjoyed this so much I'm quoting the whole thing here. Alan Kay…
xplain how the X window system works (with demonstrations in the browser) The author does really cool stuff: noclip.website "A digital…
Roaring Bitmaps "A better compressed bitset. Roaring bitmaps are compressed bitmaps. They can be hundreds of times faster." Used by a ton of…
First Cow Oily Cakes Recipe Benson Log Raft Fish ladder zoom.earth near real-time satellite images Swiss Political System: More than You…
CRDTs, the Hard Parts Conflict-free Replicated Data Types (CRDTs) are an increasingly popular family of algorithms for optimistic…
Is Boeing or Airbus Better (from an avionics point of view) "Launched in 1984, the A320 was a clean-sheet design that incorporated digital…
VAS Dairy "Manage your herd easily and accurately with the world’s leading herd management software." Now imagine this but for a million…
Stir friction welding (and SpaceX). Take a spinning metal rod, run it down the intersection between two metal plates, and stir them…
A Visual Exploration of Gaussian Processes How to turn a collection of small building blocks into a versatile tool for solving regression…
Finger Trees in Agda Higher categories and homotopical algebra (book) Functional pearl: weaving a web Introduces the web as an alternative…
A Self-Taught Course in Automated Reasoning using Haskell mirrored Frank Pfenning getting in the smart contract game?? Resource-Aware…
Partial Evaluation and Automatic Program Generation Neil D. Jones, Carsten K Gomard, Peter Sestoft Antimirov Derivatives for Regular…
Radix Trees -- How IntMap Works Nice talk by Tikhon Jelvis. What FP can learn from Smalltalk by Aditya Siram The Mundanity of Excellence: An…
Quotient Types for Programmers Patrick Collison questions Three especially interesting to me: Why are certain things getting so much more…
Quotient Types for Programmers Patrick Collison questions Three especially interesting to me: Why are certain things getting so much more…
Federal Public Land Bash Infinity Who knew you could do all this with bash? Microsoft underwater data center live cameras By 1303, the…
In June 2015, I published The algebra (and calculus!) of algebraic data types in Code Words . I saw it on Hacker News a few days ago and…
A Coq interpreter in Coq MDX Deck Automatic generation of free theorems Output for (a -> Bool) -> [a] -> [a] : The Free Theorem for "f…
Maps I've seen some great maps recently. Most Remote Spots in USA Wilderness Complexes How America Uses Its Land Very Detailed Map of the…
Grammars for everything data data manipulation: https://dplyr.tidyverse.org/ tables: https://github.com/spgarbet/tangram ( examples…
Interdisciplinary team cooks 4000-year old Babylonian stews Reviving recipes written on ancient Babylonian tablets. A good idea…
Augmenting Long-term Memory My somewhat pious belief was that if people focused more on remembering the basics, and worried less about the…
ICFP 2017 This year I finally made it to ICFP after years of wanting to go. Here are notes on a few of the talks I was most interested in…
Blogging with next.js For a long time I've wanted to blog more regularly, but haven't been able to update my website. Which I mean literally…
Programmer Tooling Beyond Plain Text This is a companion to my post on the expression problem and tables . In this post I explore ways we…
The Third Age of Computing is Dependently Typed I just got back from hearing r0ml speak at Recurse Center on Third Age of Computing…
The Expression Problem and Tables The Expression Problem The expression problem is a well known problem in programming language theory…
data, type, newtype, instance, class One of the first things to confuse me about Haskell was the number of keywords related to types. The…