41554 blogs · [
{
"id": "01a08720-4016-7344-8237-62914b710330",
"title": "Testing is Science, Type Checking is Math",
"url": "https://adueck.github.io/blog/testing-is-science-type-checking-is-math/",
"published_at": "2025-02-03T00:00:00+00:00"
},
{
"id": "01a08720-4016-7344-8237-62914b059511",
"title": "Programming and Language Learning Are Exponentially Better With Other People",
"url": "https://adueck.github.io/blog/language-and-coding-are-better-with-people/",
"published_at": "2024-12-08T00:00:00+00:00"
},
{
"id": "01a08720-4016-7344-8237-62914a2551e6",
"title": "Element Theory is like Declarative Programming",
"url": "https://adueck.github.io/blog/element-theory/",
"published_at": "2024-11-24T00:00:00+00:00"
},
{
"id": "01a08720-4016-7344-8237-629149d27bc1",
"title": "Why Does Everyone Hate Haskell, Jazz, and Pure Math?",
"url": "https://adueck.github.io/blog/on-haskell-jazz-and-pure-math/",
"published_at": "2024-07-11T00:00:00+00:00"
},
{
"id": "01a08720-4016-7344-8237-6291491dabbc",
"title": "Proofs are Programs: A Few Examples of the Curry-Howard Correspondence",
"url": "https://adueck.github.io/blog/curry-howard-proofs-are-programs/",
"published_at": "2024-05-22T00:00:00+00:00"
},
{
"id": "01a08720-4016-7344-8237-629148768af0",
"title": "Functors, Applicatives, And Monads In Pictures (In TypeScript)",
"url": "https://adueck.github.io/blog/functors-applicatives-and-monads-with-pictures-in-typescript/",
"published_at": "2023-09-25T00:00:00+00:00"
},
{
"id": "01a08720-4016-7344-8237-629147cd53de",
"title": "Practical uses for functional programming in TypeScript (examples from NLP)",
"url": "https://adueck.github.io/blog/practical-uses-for-functional-programming-with-nlp/",
"published_at": "2023-08-23T00:00:00+00:00"
},
{
"id": "01a08720-4016-7344-8237-629146d343d5",
"title": "Making LISP-style macros work with destructuring in TypeScript",
"url": "https://adueck.github.io/blog/lisp-macros-in-typescript/",
"published_at": "2023-05-09T00:00:00+00:00"
},
{
"id": "01a08720-4016-7344-8237-629146001714",
"title": "State persistence in React with TypeScript and useStickyReducer",
"url": "https://adueck.github.io/blog/persisting-state-in-react-with-typescript-and-use-reducer/",
"published_at": "2023-02-21T00:00:00+00:00"
},
{
"id": "01a08720-4016-7344-8237-629145dcd2f3",
"title": "How I learned Pashto grammar through programming syntax trees",
"url": "https://adueck.github.io/blog/how-i-learned-pashto-grammar-through-programming-syntax-trees/",
"published_at": "2023-02-18T00:00:00+00:00"
},
{
"id": "01a08720-4016-7344-8237-62914541082a",
"title": "Making totally offline-available PWAs with Vite and React",
"url": "https://adueck.github.io/blog/caching-everything-for-totally-offline-pwa-vite-react/",
"published_at": "2023-02-02T00:00:00+00:00"
},
{
"id": "01a08720-4016-7344-8237-6291444112d3",
"title": "Logic and Multiply-Quantified Statements in JavaScript",
"url": "https://adueck.github.io/blog/logic-and-multiply-quantified-statements-in-javascript/",
"published_at": "2023-01-24T00:00:00+00:00"
},
{
"id": "01a08720-4016-7344-8237-62914409bb4b",
"title": "Using recursion to modify all the text in a React/JSX element",
"url": "https://adueck.github.io/blog/recursively-modify-text-jsx-react/",
"published_at": "2022-09-20T00:00:00+00:00"
},
{
"id": "01a08720-4016-7344-8237-629143d50274",
"title": "How to keep an input in focus when clicking on other elements in React",
"url": "https://adueck.github.io/blog/keep-focus-when-clicking-on-element-react/",
"published_at": "2022-09-19T00:00:00+00:00"
}
] posts Claim your blog