Life as startup founders! "Should we use Kubernetes?" "Do we need Kubernetes?" "I don't know but Netflix uses it." "We have 12 users." "Yeah but what about when we scale?" "Fine. Add it." 3 months later: $47,000 AWS bill. Still 12 users. 6 months later: "Maybe we should simplify the architecture." The CTO who pushed for Kubernetes has already left for another startup.

It's been over a decade since I've given a public tech talk, so I was super happy when @eatonphil said there was an opening at NYC Systems. This talk is on a language called Dafny, which IMO does the best job of making formal verification accessible to programmers without previous experience in the area. I hope this can act both as a quick intro to Dafny, as well as reference material to understand what's going on when you move beyond the basics.

🎉 Unison 1.0 has landed! After years of engineering, design, and community collaboration, we’re excited to announce this milestone! Spread the word! unison-lang.org/unison-1-0/

This release will serve as a Unison 1.0 release candidate, setting the stage for a 1.0 version once we confirm there are no major issues.

OldVersion.com Archive Facing Shutdown Due To Financing Issues search.app/dPbz2

You can now run Unison Cloud on your own infra. A distributed cloud computer you can program simply and directly, and talks to all your existing stuff. Super easy to set up too

Will be presenting at the Philadelphia Java User Group this coming Tuesday, 30 September. Come by if you are in the area! meetup.com/phillyjug/events/…

Published a new blog post: Zero-Setup All-in-One Java Tooling via Mill Bootstrap Scripts mill-build.org/blog/16-zero-…

New blog post on the Mill build engineering blog! Mill as an Alternative Android Build Tool mill-build.org/blog/15-andro…

I will be presenting about Java build tools at the next Montreal Java User Group meetup on Wednesday 24th September. Come by and hang out if you are in the Montreal area! meetup.com/montreal-jug/even…

Just released version 1.0.5 of the Mill build tool for Java/Scala/Kotlin. Try it out! github.com/com-lihaoyi/mill/…

Great seeing this Scala Projects online course by @rockthejvm come to fruition, do check if out if you want to learn Scala in a practical and beginner-friendly way! rockthejvm.com/courses/scala…

You might not like some actions of the SC or moderation team and that's fair. But please acknowledge that @TomekGodzik is the only person trying to have a conversation about this. He deserves recognition for that alone. Don't put all your anger on him, even if it's justified.

I am very happy to announce that will be speaking at Scala.io in Paris on 17 October! This will be my first conference talk since 2019, and I'm going to try to make it the best ever! I will introduce soundness.dev to the world: a tour de force of all the wonderful things you can do with Scala 3. I will show you an exciting, optimistic and realistic future for Scala. I will show you how to build CLI and web applications with code that's as easier to read than Python or JavaScript, but just as safe as Haskell. Thank you to the conference team for giving me this opportunity. Scala.io has a special place in my heart: it's always been a delightful, independent and friendly event, and I'm excited to be coming back to Paris! If you want to see the pinnacle of coding elegance, then please come along!

This is my tenth and final post of evidence refuting the allegations about a relationship that ended my career four years ago. I address six alleged "incidents", which were made to look like "harassment" after my ex asked to cut off all contact. But all six were just ordinary encounters, and only two happened after that cutoff. pretty.direct/remorse

On Hacker News the word "rape" was mentioned 205 times in response to the publications that got me canceled. My accuser said she didn't remember how much she drank before we had sex. But even if it were true, she could have worked out how little it was. pretty.direct/alcohol

When two women accused me of a pattern of sexual harassment it was presented as another #​metoo case, and tagged #​believewomen. But believing women means believing those who dissent, too. In fact, four women said #meneither but nobody listened. Evidence: pretty.direct/women

In the publications that got me cancelled, I was accused of "harassing" my ex-girlfriend after our twenty-month relationship ended. In fact, I sent her three kind emails, a few DMs, and liked one of her tweets. She even thanked me for one email. Evidence: pretty.direct/harassment

A stable release of Ox - 1.0.0 is now available - making direct-style #Scala production-feasible! In the coming days we'll be taking a deeper dive into the many features of Ox - pick your favourite! And in the meantime, why not explore Ox on your own?

It was alleged that I arranged AirBnbs for women to attend conferences, as if it were a "confidence trick". I did encourage organizers to do this, but they paid, and in general, I stayed elsewhere. In the 99 conferences I attended before I was canceled, I stayed alone with a woman only twice. Evidence: pretty.direct/airbnb