4/8/2024, Building an everything shell

• Shell implementation
• Clipboard effects
• OAuth effects

26/02/2024, Type directed compilation of effects

• Type inference
• Language workbench
• Effect compilation

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

• Effect types
• Language workbench
• Syntax highlighting

29/01/2024, Inventing on Principle for Gleam

• Gleam
• Inventing on Principle

22/01/2024, CEK interpreter rewrite

• Gleam
• CEK interpreter

15/01/2024, Personal help page

• Gleam
• Browser

19/12/2023, Datalog notebook

• Datalog
• Notebook

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

• MicroKanren
• Relational Algebra
• Logic programming

27/11/2023, Native inference and guide

• Effect types
• Row type
• Inference

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

• Effect handlers
• tinygo
• embedded (Arduino)

02/10/2023, lisp shell with CozoDB

• Lisp shell
• Cozo Effect
• Table rendering

11/09/2023, build and deploy as continuations

• client server
• build tools

04/09/2023, Lisp shell for deployments

• Lisp REPL
• infrastructure Shell

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

• CEK interpreter
• Delimited Continuations
• Go interpreter

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

• AST search
• Datalog
• CozoDB

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

• Functional programming
• Row types
• Structural Editor

18/07/2023, JSON decoder

• JSON decoder

04/07/2023, adding eval and supercompilation

• AST eval
• Investigating supercompilation

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

• Web apps in Eyg
• HTTP and Async effects
• Shallow effect handlers

19/06/2023, Explaining effect types with examples

• Effect types examples
• Embed code snippets

05/06/2023, Features of the structured editor

• Editor actions

22/05/2023, Introducing Eyg

• Embeddable editor
• Functional language

15/05/2023, structured editor in the terminal

• Structural editor
• TUI implemented in Go

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

• Type inference
• Algorithm J
• First class match statements

03/04/2023, Code in documentation

• Function capture
• AST serialization

22/03/2023, multiline match statements

• Structural editor
• multiline match statements

13/03/2023, Async & Await Effects

• Async Await Effects
• HTTP Effect handlers
• First class case statements

06/03/2023, Universal Programs

• Universal Programs

27/02/2023, Optional type checking

• Optional type checking
• Gleam community, Codec
• Web Worker

13/02/2023, Datalog notebook

• Datalog
• Code notebook

09/01/2023, Effect types

• Effect handlers
• Test framework

09/01/2023, Effect types

• Effect types
• Effect tracking

Week 51

• Structural editor
• First class case statements

Week 50

• Algebraic Effects
• Effect tracking and handling
• Language design

Week 46

• Algorithm W
• Fix point

Week 44

• Tree shaking
• Isomorphic code

Week 40

• Type provider for lists
• Tailwind layout
• Universal app
• Cluster management

Week 38

• Deployment platform
• fly.io

Week 36

• Effect types "do" and "impl"
• Structural typing

Week 35

• Effect types; Roc, Koka, Unison etc

Week 33

• Pure actor system
• Runtime monad
• Effect types, maybe.

Week 32

• Actors and pids
• Spawn and send
• Continuations in interpreter

Week 30

• Code transparency
• Universal message passing

Week 29

• Interpreters
• Code transparency
• Universal applications

Week 28

• Continuation Passing
• HTTP fetch
• Type providers

Week 27

• Spreadsheet
• Commit History

Week 24

• String formatting with Type Providers
• code reloading into UI app

Week 22

• Hot code reloading
• Type Providers

Week 21

• Apps/Mounts/Sandbox
• Typed holes

Week 20

• Copy and Paste
• Record access

Week 18

• Gleam bitstring pattern matching

Week 17

• Firmata in Gleam
• PLC scan cycle

Week 16

• Firmata Protocol
• erlang binary patterns
• Gleam pattern development

Week 10

• Recursive Functions
• Recursive Types

Week 9

• Record Types
• Union Types
• Row Types

Week 8

• Gleam 0.19.0

Week 5

• Hole AST node
• Isorecursive types, and Equirecursive types
• The expression problem
• Software 2.0

Week 4

• Cascading delete
• Type providers

Week 2

• Continuous testing
• Case clauses
• Typed holes
• Tagged union types
• Expandable unions

Week 1

• Structural Editor
• Type check and execute on key stroke
• Jump to error