corpus.blog
56,966 blogs · [ { "id": "01a08761-a909-739b-9542-9ddb61d95cc5", "title": "Higher-kinded types in declarative JSX syntax", "url": "https://code.lol/post/programming/jsx-hkt/", "published_at": "2026-01-25T07:39:00+00:00" }, { "id": "01a08761-a909-739b-9542-9ddb621cff00", "title": "Declarative MVC via Jotai & React", "url": "https://code.lol/post/programming/react-jotai-mvc/", "published_at": "2025-11-06T02:30:44+00:00" }, { "id": "01a08761-a909-739b-9542-9ddb624907ad", "title": "Capture Semantics", "url": "https://code.lol/post/programming/capture-semantics/", "published_at": "2025-10-08T18:09:09+00:00" }, { "id": "01a08761-a909-739b-9542-9ddb627370b3", "title": "Towards type-aware declarative codemods via unification", "url": "https://code.lol/post/programming/towards-declarative-ast-transformation/", "published_at": "2025-09-07T18:13:46+00:00" }, { "id": "01a08761-a909-739b-9542-9ddb6351684d", "title": "Variational Selector Text Stenography", "url": "https://code.lol/post/programming/llm-injection/", "published_at": "2025-08-23T20:58:16+00:00" }, { "id": "01a08761-a909-739b-9542-9ddb63e4cc09", "title": "Kind Reification", "url": "https://code.lol/post/programming/kind-reification/", "published_at": "2023-02-08T07:17:12+00:00" }, { "id": "01a08761-a909-739b-9542-9ddb63fe46ad", "title": "Type-level Collatz Sequence", "url": "https://code.lol/post/programming/type-level-collatz/", "published_at": "2022-12-09T06:58:35+00:00" }, { "id": "01a08761-a909-739b-9542-9ddb64f5f366", "title": "Typesafe Function Composition", "url": "https://code.lol/post/programming/typesafe-function-composition/", "published_at": "2022-10-09T23:45:40+00:00" }, { "id": "01a08761-a909-739b-9542-9ddb656d4a4d", "title": "Towards a well-typed plugin architecture", "url": "https://code.lol/post/programming/plugin-architecture/", "published_at": "2022-09-05T19:03:54+00:00" }, { "id": "01a08761-a909-739b-9542-9ddb65d148e6", "title": "A non-recursive type-level inclusion operator", "url": "https://code.lol/post/programming/non-recursive-includes/", "published_at": "2022-08-27T23:37:21+00:00" }, { "id": "01a08761-a909-739b-9542-9ddb65d9557c", "title": "Point-free Programming via HKTs", "url": "https://code.lol/post/programming/hkt-tacit/", "published_at": "2022-03-11T17:34:39+00:00" }, { "id": "01a08761-a909-739b-9542-9ddb6674c016", "title": "Variadic HKT Composition", "url": "https://code.lol/post/programming/variadic-hkt-composition/", "published_at": "2022-03-05T08:17:15+00:00" }, { "id": "01a08761-a909-739b-9542-9ddb670117f6", "title": "Higher Kinded Types in Typescript", "url": "https://code.lol/post/programming/higher-kinded-types/", "published_at": "2022-03-04T06:18:42+00:00" }, { "id": "01a08761-a909-739b-9542-9ddb67321e95", "title": "Type Guard Composition", "url": "https://code.lol/post/programming/type-guard-composition/", "published_at": "2021-11-14T20:08:01+00:00" }, { "id": "01a08761-a909-739b-9542-9ddb67397eb2", "title": "Programs of Length N: Collatz, Chaitin, and Church", "url": "https://code.lol/post/programming/programs-of-length-n/", "published_at": "2021-09-03T22:12:34+00:00" }, { "id": "01a08761-a909-739b-9542-9ddb680f3f4f", "title": "Unchained Tuple Types", "url": "https://code.lol/post/programming/unchained-tuple-types/", "published_at": "2021-01-10T00:33:40+00:00" }, { "id": "01a08761-a909-739b-9542-9ddb68452926", "title": "String Deduplication on the Type Level", "url": "https://code.lol/post/programming/type-level-dedupe/", "published_at": "2021-01-09T23:18:24+00:00" }, { "id": "01a08761-a909-739b-9542-9ddb686601c8", "title": "Chained Tuple Types", "url": "https://code.lol/post/programming/chained-tuple-types/", "published_at": "2021-01-06T04:23:23+00:00" }, { "id": "01a08761-a909-739b-9542-9ddb68dbb8a0", "title": "Enforcing Function Map Constraints", "url": "https://code.lol/post/programming/enforcing-function-map-constraints/", "published_at": "2020-12-17T03:41:08+00:00" }, { "id": "01a08761-a909-739b-9542-9ddb6939de27", "title": "Self Modifying Type Predicates in Typescript", "url": "https://code.lol/post/programming/self-modifying-type-predicates/", "published_at": "2020-05-04T02:41:57+00:00" }, { "id": "01a08761-a909-739b-9542-9ddb6a06894e", "title": "Dijkstra's Shunting Yard in Typescript", "url": "https://code.lol/post/algorithms/shunting-yard/", "published_at": "2019-12-24T00:39:53+00:00" }, { "id": "01a08761-a909-739b-9542-9ddb6b05cf77", "title": "Evaluating LTL Formulas for On-Board Unmanned Vehicle Health Monitoring", "url": "https://code.lol/papers/ltl-icas-2019/", "published_at": "2019-06-02T00:00:00+00:00" }, { "id": "01a08761-a909-739b-9542-9ddb6b3f9401", "title": "Pythagorean Triple Problem in Sub-linear Time", "url": "https://code.lol/post/algorithms/pythagorean-triple/", "published_at": "2019-03-10T19:48:49+00:00" }, { "id": "01a08761-a909-739b-9542-9ddb6bdff13a", "title": "Mathematica Steps to LaTeX [WiP]", "url": "https://code.lol/post/simulation/mathematica-steps-to-latex/", "published_at": "2019-02-01T20:01:48+00:00" }, { "id": "01a08761-a909-739b-9542-9ddb6be1f39b", "title": "Quadtree Particle Simulation", "url": "https://code.lol/post/simulation/quadtree-particle-simulation/", "published_at": "2019-01-28T18:59:19+00:00" }, { "id": "01a08761-a909-739b-9542-9ddb6bef3188", "title": "Contact", "url": "https://code.lol/contact/", "published_at": "2019-01-26T17:14:54+00:00" }, { "id": "01a08761-a909-739b-9542-9ddb6c25932b", "title": "Double Pendulum", "url": "https://code.lol/post/simulation/double-pendulum/", "published_at": "2019-01-26T01:58:30+00:00" }, { "id": "01a08761-a909-739b-9542-9ddb6c4fd292", "title": "Oriented Bounding-Box Heuristic", "url": "https://code.lol/post/bioinformatics/oriented-bounding-box-heuristic/", "published_at": "2019-01-26T01:35:20+00:00" }, { "id": "01a08761-a909-739b-9542-9ddb6cd9c8c4", "title": "One-Dimensional Linear Regression", "url": "https://code.lol/post/bioinformatics/one-dimensional-linear-regression/", "published_at": "2019-01-25T23:27:02+00:00" }, { "id": "01a08761-a909-739b-9542-9ddb6cde3f74", "title": "Quadratic Bezier Curves", "url": "https://code.lol/post/bioinformatics/quadratic-bezier-curves/", "published_at": "2019-01-25T22:40:45+00:00" }, { "id": "01a08761-a909-739b-9542-9ddb6dcd71b5", "title": "about", "url": "https://code.lol/about/", "published_at": "2019-01-25T21:24:07+00:00" }, { "id": "01a08761-a909-739b-9542-9ddb6dec2c8d", "title": "Quantification of Twist from the Central Lines of β-Strands", "url": "https://code.lol/papers/twist-jcb-2018/", "published_at": "2018-01-01T00:00:00+00:00" }, { "id": "01a08761-a909-739b-9542-9ddb6e4aaadc", "title": "Analysis of β-strand Twist from the 3-dimensional Image of a Protein", "url": "https://code.lol/papers/twist-acmbcb-2017/", "published_at": "2017-08-20T00:00:00+00:00" }, { "id": "01a08761-a909-739b-9542-9ddb6f05f8ed", "title": "An Iterative Bézier Method for Fitting Beta-sheet Component of a Cryo-EM Density Map", "url": "https://code.lol/papers/bezier-mbmb-2017/", "published_at": "2017-04-01T00:00:00+00:00" } ] posts Claim your blog
Back to code.lol
Blog · corpus.blog/blogs/code.lol/posts

code.lol

code.lol

2026

Higher-kinded types in declarative JSX syntaxoriginal ↗
25 Jan 2026

2025

Declarative MVC via Jotai & Reactoriginal ↗
6 Nov 2025
Capture Semanticsoriginal ↗
8 Oct 2025
Towards type-aware declarative codemods via unificationoriginal ↗
7 Sept 2025
Variational Selector Text Stenographyoriginal ↗
23 Aug 2025

2023

Kind Reificationoriginal ↗
8 Feb 2023

2022

Type-level Collatz Sequenceoriginal ↗
9 Dec 2022
Typesafe Function Compositionoriginal ↗
9 Oct 2022
Towards a well-typed plugin architectureoriginal ↗
5 Sept 2022
A non-recursive type-level inclusion operatororiginal ↗
27 Aug 2022
Point-free Programming via HKTsoriginal ↗
11 Mar 2022
Variadic HKT Compositionoriginal ↗
5 Mar 2022
Higher Kinded Types in Typescriptoriginal ↗
4 Mar 2022

2021

Type Guard Compositionoriginal ↗
14 Nov 2021
Programs of Length N: Collatz, Chaitin, and Churchoriginal ↗
3 Sept 2021
Unchained Tuple Typesoriginal ↗
10 Jan 2021
String Deduplication on the Type Leveloriginal ↗
9 Jan 2021
Chained Tuple Typesoriginal ↗
6 Jan 2021

2020

Enforcing Function Map Constraintsoriginal ↗
17 Dec 2020
Self Modifying Type Predicates in Typescriptoriginal ↗
4 May 2020

2019

Dijkstra's Shunting Yard in Typescriptoriginal ↗
24 Dec 2019
Evaluating LTL Formulas for On-Board Unmanned Vehicle Health Monitoringoriginal ↗
2 Jun 2019
Pythagorean Triple Problem in Sub-linear Timeoriginal ↗
10 Mar 2019
Mathematica Steps to LaTeX [WiP]original ↗
1 Feb 2019
Quadtree Particle Simulationoriginal ↗
28 Jan 2019
Contactoriginal ↗
26 Jan 2019
Double Pendulumoriginal ↗
26 Jan 2019
Oriented Bounding-Box Heuristicoriginal ↗
26 Jan 2019
One-Dimensional Linear Regressionoriginal ↗
25 Jan 2019
Quadratic Bezier Curvesoriginal ↗
25 Jan 2019
aboutoriginal ↗
25 Jan 2019

2018

Quantification of Twist from the Central Lines of β-Strandsoriginal ↗
1 Jan 2018

2017

Analysis of β-strand Twist from the 3-dimensional Image of a Proteinoriginal ↗
20 Aug 2017
An Iterative Bézier Method for Fitting Beta-sheet Component of a Cryo-EM Density Maporiginal ↗
1 Apr 2017