His YouTube channel The Thought Emporium, is amazing. He just moved into a new lab and I really appreciate what he’s working on and how he communicates it. The robot painting fluorescent proteins is neat and recently he dropped a video demonstrating his adventures making synthetic opal.

Apparently the edit made him totally lactose tolerant for over a year and now he has very mild lactose intolerance. He says he hasn’t redosed because he wants to improve the plasmid (I think that’s the right term, BUGFIX probably isn’t right) before he takes another run at it.

Here’s his update video from last year on that endeavor. https://www.youtube.com/watch?v=aoczYXJeMY4

I've had fantastic experiences with this platform as well, front- and back-end code compiled together using F#'s robust type system.

Elmish framework provided a nice MVU pattern for the U/I.

And the real icing on the cake was this Thoth.Elmish package which creates statically-typed proxy for your front-end to access your back-end API, more or less transparently. I was always certain that I would some day do something unorthodox causing its automated serialization/deserialization to fail in some difficult-to-troubleshoot way but no, that never happened and it all just worked transparently.

This was hands down the best automated-correctness-checking experience that I've ever had in any framework.

Every now and then I've been ranting here that there's a missing task management product for software teams: one that would embrace that tasks form DAGs, not flat two-level trees, and one that would have GANTT charts built-in. This seems to tick both of these boxes, and couple more as well.

Thank you for submitting it. You may have just found exactly what I was looking for.