Owen Lynch

This is no longer an active account: see or @[email protected] for any updates.

[Owen Lynch @u_map_prop]

I've decided to leave twitter by changing my password and then deliberately forgetting it, so that my old tweets remain up but I will no longer have access to my account. You can find me on https://t.co/D6BiYifN24 or https://t.co/1Ebgn0BI4j.

[Owen Lynch @u_map_prop]

@arntzenius nix-shell -E 'with import <nixpkgs> {}; mkShell { buildInputs = [(haskellPackages.ghcWithPackages (hpkgs: with hpkgs; [random]))]; }'

[Owen Lynch @u_map_prop]

Today I learned about the HTML <q> element, which is used for inline quotations and has the neat property that when you nest, it can change from double quotes to single quotes! https://t.co/L3hRWWJBNl

[Owen Lynch @u_map_prop]

I wrote about the philosophy that underlies Topos Institute modeling software: https://t.co/bD9YmNEFSJ. Also, it's a job ad; see the end for details!

[Owen Lynch @u_map_prop]

@kmett @joseph_h_garvin Oh yeah, definitely the getter/setter life is not fun. I mainly was thinking about newtypes like

newtype Positive = MkPositive Int

toInt :: Positive -> Int
fromInt :: Int -> Maybe Positive

[Owen Lynch @u_map_prop]

@alicemazzy My nixos setup has every folder that is not explicitly marked in my config to back up deleted on every boot (because my / is a tmpfs). So every reboot is the new install experience. NixOS is the way.

[Owen Lynch @u_map_prop]

@joseph_h_garvin @mattecapu Look, once ATS Xanadu https://t.co/muSDn1lMsA or CFTT https://t.co/b0gdtAPeLk become real, I'll be as happy as the next guy. But I'm not holding my breath.

[Owen Lynch @u_map_prop]

@mattecapu @joseph_h_garvin When I want to write 10x as much code and go 100x slower, sure!

[Owen Lynch @u_map_prop]

@Ayegill The framework is pretty good!

[Owen Lynch @u_map_prop]

@arntzenius @tangled_zans @jhemann I'm not 100% confident, but I do know that there's a lot of cool coinductive type stuff going on there. It's definitely not production-ready though.

[Owen Lynch @u_map_prop]

@arntzenius @tangled_zans @jhemann Have you tried narya?

[Owen Lynch @u_map_prop]

This specific feature, the graph-rewriting, is enabled by the local mode that Yaron is talking about: it ensures that no reference to the graph escapes into the runtime of your app, so the graph can't be mutated after the startup of your app.

[Owen Lynch @u_map_prop]

And you can play around with the new Cont-based bonsai interface! Some really cool design here: https://t.co/mAqaJUAqxY, https://t.co/Bwi8F8X1nk.

[Yaron (Ron) Minsky @yminsky]

One thing folk may have missed: you can now install our bleeding-edge compiler and libraries from opam, and then play with some of our new language features, and write code like this:

[Owen Lynch @u_map_prop]

So far, the only UI library I know that explicitly support Mealy machines, and that does a graph-rewriting pass to optimize how state propagates through your app.

[Owen Lynch @u_map_prop]

@mattecapu @obsdmd Alright, this will be my impetus to make silviculture good

[Owen Lynch @u_map_prop]

@OrionReedOne

[Owen Lynch @u_map_prop]

@jtcbrule @krismicinski I mean, maybe "mainstream programming languages" have copied all the good stuff from... lisp 40 years ago. But there are tons of modern lisp dialects that have new stuff! Like correct handling of lexical scope for macros in Racket https://t.co/uoYt7eAIbB

[Owen Lynch @u_map_prop]

This is a common misunderstanding. Zig's comptime features are quite *different* than macros, despite both nominally running at compile time. 🧵

[kit 🇱🇮 @theogcb405]

Watching all the zig guys discover features lisp had during the Kennedy administration like

[Owen Lynch @u_map_prop]

@krismicinski Not true! I'm a lisp fan and I don't think this!