Haskell Software Engineer at @SymbiontIO. Former member of Martin's Scala team.
NYC
Joined June 2011
- Tweets2.3K
- Following244
- Followers1.7K
- Likes681
Jan Christopher Vogt retweeted
Hi folks! I'm looking for my next tech role and would really appreciate help spreading the word. I have 10+ YoE and am open to Senior/Staff/Principal, Tech Lead, and Engineering Manager roles. An intro or RT would mean a lot. ❤️ #OpenToWork
[ Rust, C#, Python, JS, AI, Infosec ]
Jan Christopher Vogt retweeted
"Flow Typing: A New Lens on Linearity" is a nice improvement for linear types and an alternative to borrowing: people.cs.nott.ac.uk/pszgmh/….
It uses lenses on the typing context to be able to tell that a linear value is not consumed / dropped by a function that just reads it.
Jan Christopher Vogt retweeted
Since NeoHaskell is in prod 🎉, we’re adopting SemVer, launching now as 0.10.0
Pre-1.0:
• Breaking: 0.10.0 → 0.11.0
• Features/fixes: 0.10.x
Breaking releases will include full migration guides plus copy-paste prompts for your coding agent to automate and verify the upgrade.
Jan Christopher Vogt retweeted
Interim conclusion from the last 6-12 months: prolific AI use has made the entire industry forget the basic lessons of complexity and coupling, their eventual cost and how to avoid it. Y'all will be paying through the nose in 2-3 years.
Jan Christopher Vogt retweeted
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.
Jan Christopher Vogt retweeted
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.
Jan Christopher Vogt retweeted
🎉 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/
Jan Christopher Vogt retweeted
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.
📰 Unison 0.5.50 is out
* New `branch.diff` command (with diff-tool support)
* Support for adding comments to branch history
* MCP agents can `test`, `update`, and `run` code
* Smarter `run` command behavior
Check out the full release notes:
github.com/unisonweb/unison/…
OldVersion.com Archive Facing Shutdown Due To Financing Issues
search.app/dPbz2
Jan Christopher Vogt retweeted
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
You can now spin up Unison Cloud clusters on your own infrastructure!
✅ Build elastic distributed systems and services in vastly less code
✅ Fast, typed RPC
✅ Deployments in seconds
✅ Free to get started
youtube.com/watch?v=0sZqI1Xo…
Jan Christopher Vogt retweeted
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/…
Jan Christopher Vogt retweeted
Published a new blog post:
Zero-Setup All-in-One Java Tooling via Mill Bootstrap Scripts
mill-build.org/blog/16-zero-…
Jan Christopher Vogt retweeted
New blog post on the Mill build engineering blog!
Mill as an Alternative Android Build Tool
mill-build.org/blog/15-andro…
Jan Christopher Vogt retweeted
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…
Jan Christopher Vogt retweeted
Just released version 1.0.5 of the Mill build tool for Java/Scala/Kotlin. Try it out! github.com/com-lihaoyi/mill/…
Jan Christopher Vogt retweeted
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…
Jan Christopher Vogt retweeted
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.
Jan Christopher Vogt retweeted
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!
Jan Christopher Vogt retweeted
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