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 or

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

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!

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

@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

@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.

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

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

@Ayegill The framework is pretty good!

@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.

@arntzenius @tangled_zans @jhemann Have you tried narya?

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.

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

@OrionReedOne

@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

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