This is no longer an active account: see localcharts.org or @olynch@mathstodon.xyz for any updates.
Joined December 2017
- Tweets 1,265
- Following 112
- Followers 579
- Likes 2,091
104 Photos and videos
23 Nov 2024
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 localcharts.org or mathstodon.xyz/@olynch.
11
486
3 Nov 2024
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! developer.mozilla.org/en-US/…
3
301
1 Nov 2024
I wrote about the philosophy that underlies Topos Institute modeling software: topos.site/blog/2024-10-31-d…. Also, it's a job ad; see the end for details!
10
30
2,657
31 Aug 2024
And you can play around with the new Cont-based bonsai interface! Some really cool design here: github.com/janestreet/bonsai…, github.com/janestreet/bonsai….
31 Aug 2024
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:
1
4
620
31 Aug 2024
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.
1
1
226
31 Aug 2024
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.
1
174
16 Aug 2024
This is a common misunderstanding. Zig's comptime features are quite *different* than macros, despite both nominally running at compile time. 🧵
15 Aug 2024
Watching all the zig guys discover features lisp had during the Kennedy administration like
1
3
24
2,947
16 Aug 2024
But pre-scheme uses macros and not comptime! And then of course, there are things like MetaOCaml okmij.org/ftp/ML/MetaOCaml.h…, which allow you to do a somewhat similar thing (generate code for your problem) but with a different set of tradeoffs.
1
1
279
16 Aug 2024
If you want to see how abstract, general code can perform *faster* than traditional C programs, check out okmij.org/ftp/meta-programmi…!
6
239