@u_map_prop

This is no longer an active account: see https://xitter.cf/t.co/g9E26Tj999 or @olynch@mathstodon.xyz for any updates.

owenlynch.org
Joined December 2017
  • Tweets1.3K
  • Following112
  • Followers570
104Media
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.
10
514
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
328
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!
9
1
29
2,690
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….
Yaron (Ron) Minsky
@yminsky31 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
646
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
236
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
175
This is a common misunderstanding. Zig's comptime features are quite *different* than macros, despite both nominally running at compile time. 🧵
kit 🇱🇮@theogcb40515 Aug 2024
Watching all the zig guys discover features lisp had during the Kennedy administration like
1
3
24
2,963
more replies
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
286
If you want to see how abstract, general code can perform *faster* than traditional C programs, check out okmij.org/ftp/meta-programmi…!
6
244
Load more