Jan Christopher Vogt

Haskell Software Engineer at @SymbiontIO. Former member of Martin's Scala team.

[Jan Christopher Vogt @cvogt]

@Microsoft has a surreal policy to irreversibly lock owners out of their accounts, data and software licenses after unauthorized access?

[Joshua Khane @JoshuaKhane]

Microsoft DELETED my account AND OneDrive!!?? After ACKNOWLEDGING that I’m the owner of the account and that it was compromised???

25 fucking years of data, thousands of euros spended on games?? My son’s baby pictures? GONE!

All because MICROSOFT couldn’t bring back a compromised account??
One of the biggest companies ever coulnd’t do that so they just deleted that shit like it was nothing?? Fucking shame on you!! @microsoftnl @MicrosoftHelps @MicrosoftHelpt @Microsoft
#microsoft #hacked

[Avi Press @avi_press]

https://t.co/K5dC1x3Q8c

[Wise @trikcode]

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.

[Larry Diehl @larrytheliquid]

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 | @unison-lang.org on bsky @unisonweb]

🎉 Unison 1.0 has landed!

After years of engineering, design, and community collaboration, we’re excited to announce this milestone!

Spread the word!
https://t.co/ePOjhjMx0Y

[Unison | @unison-lang.org on bsky @unisonweb]

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.

[Jan Christopher Vogt @cvogt]

https://t.co/SYpP6tjis0 Archive Facing Shutdown Due To Financing Issues
https://t.co/9RnKlD4TJK

[Rúnar @runarorama]

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

[Li Haoyi @li_haoyi]

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

https://t.co/HOd2UI7598

[Li Haoyi @li_haoyi]

Published a new blog post:

Zero-Setup All-in-One Java Tooling via Mill Bootstrap Scripts

https://t.co/1nbRbzWhyP

[Li Haoyi @li_haoyi]

New blog post on the Mill build engineering blog!

Mill as an Alternative Android Build Tool

https://t.co/7hADFZ47An

[Li Haoyi @li_haoyi]

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!

https://t.co/ZdYRHCCLqn

[Li Haoyi @li_haoyi]

Just released version 1.0.5 of the Mill build tool for Java/Scala/Kotlin. Try it out! https://t.co/dGegRzkgdn

[Li Haoyi @li_haoyi]

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!

https://t.co/M9fe64kRPl

[Voytek Pituła 💙/💛/🖤 @Krever01]

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.

[Jon Pretty @propensive]

I am very happy to announce that will be speaking at https://t.co/GvW9fV4Cec 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 https://t.co/sWLJ78721a 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. https://t.co/GvW9fV4Cec 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!

[Jon Pretty @propensive]

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.

https://t.co/yyOym9V2Rt

[Jon Pretty @propensive]

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.
https://t.co/CmFc4dtEwD

[Jon Pretty @propensive]

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: https://t.co/SWPtyTdPz0

[Jon Pretty @propensive]

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: https://t.co/BiK9Vg5mHo