8/12/2024, A structured, type safe and web native shell.
- Web native
- Structured shell
- Type saftey
7/22/2024, Structured editor in a shell.
7/15/2024, Structured editor in a code notebook.
- Code notebook
- Structured editor
7/1/2024, hash references to functions, effects and transpilation in EYG
- Content addressible functions
- JavaScript transpilation
6/17/2024, Explaining effects with EYG
- EYG playground
- Algebraic effects
6/10/2024, Midas scripting library
- Bash/Make
- Build and deploy tooling
6/3/2024, Lustre on Gleam tours
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
15/01/2024, Personal help page
19/12/2023, 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
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
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
27/02/2023, Optional type checking
- Optional type checking
- Gleam community, Codec
- Web Worker
13/02/2023, Datalog 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
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
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