Log

8/12/2024, A structured, type safe and web native shell.

7/22/2024, Structured editor in a shell.

7/15/2024, Structured editor in a code notebook.

7/1/2024, hash references to functions, effects and transpilation in EYG

6/17/2024, Explaining effects with EYG

6/10/2024, Midas scripting library

6/3/2024, Lustre on Gleam tours

4/8/2024, Building an everything shell

26/02/2024, Type directed compilation of effects

19/02/2024, Let's talk about effect types

29/01/2024, Inventing on Principle for Gleam

22/01/2024, CEK interpreter rewrite

15/01/2024, Personal help page

19/12/2023, Datalog notebook

04/12/2023, Datalog/Relational Algebra/MicroKanren DSL in Gleam

27/11/2023, Native inference and guide

16/10/2023, Algebraic effects and handlers on an Arduino board

02/10/2023, lisp shell with CozoDB

11/09/2023, build and deploy as continuations

04/09/2023, Lisp shell for deployments

15/08/2023, Implementing a CEK interpreter in Go

31/07/2023, Datalog query over total program AST

25/07/2023, Explaining EYG a portable language with no syntax

18/07/2023, JSON decoder

04/07/2023, adding eval and supercompilation

27/06/2023, Apps, new effects & Shallow effect handlers

19/06/2023, Explaining effect types with examples

05/06/2023, Features of the structured editor

22/05/2023, Introducing Eyg

15/05/2023, structured editor in the terminal

02/05/2023, Algorithm J & first class match statements

03/04/2023, Code in documentation

22/03/2023, multiline match statements

13/03/2023, Async & Await Effects

06/03/2023, Universal Programs

27/02/2023, Optional type checking

13/02/2023, Datalog notebook

09/01/2023, Effect types

09/01/2023, Effect types

Week 51

Week 50

Week 46

Week 44

Week 40

Week 38

Week 36

Week 35

Week 33

Week 32

Week 30

Week 29

Week 28

Week 27

Week 24

Week 22

Week 21

Week 20

Week 18

Week 17

Week 16

Week 10

Week 9

Week 8

Week 5

Week 4

Week 2

Week 1