Remote
Joined March 2020
Clanker math research has revealed that everything @ericweinstein has said about the behavior of the mathematics community since WWII was absolutely correct.
4
2
46
1,856
Platonic.Systems retweeted
1. Oh shit, AI can do my job better than me 2. Software engineering is dead! 3. I can vibe code as much slop as I want! 4. Oh, things are not going well. Fable/Sol/Opus all suuuck 5. But what if I constrain the agent? Put it in a straitjacket? 6. Oh, the results are pretty good now. How do I go deeper? 7. *Orders 12 software engineering books from Amazon* 8. Software engineering is alive!
325
470
81
7,567
699,310
Platonic.Systems retweeted
As a reminder, we didn't grow the team at all. Same crew who ran the cloud now run it all on-prem. We ditched k8s, though, and deploy everything through Kamal. Oh, and we also improved our uptime 👍 37status.com/
26
10
6
875
83,850
Platonic.Systems retweeted
In response to who knows what, @LinkedIn has shut down my account, and @LinkedInHelp is useless. Zero information on why--not even an email. You can't even contact support without a working account. 20 years & thousands spent on jobs, ads, 'pro', and this is the result!?
13
7
3
110
117,186
If it's not captured in Nix, it's not truly solved. Our latest post digs into shell script integration, devshell patterns, and secrets management — the practical side of reproducible workflows. 🧵 platonic.systems/blog/nix-wo…
1
2
124
New blog post: Nix for Robotics — Does It Fit? Reproducible builds, true delta updates, and hardware configuration as code. Clearpath cut their build pipeline from 1.5 hours to 20 minutes and daily updates from gigabytes to megabytes. platonic.systems/blog/nix-fo…
1
2
1
2
1,632
Tired of Nix devshell scripts that only work from the project root? Or having to re-enter your shell to pick up changes? Shelpers fixes this: directory-independent execution, lazy loading, evergreen rebuilds, and self-documenting commands by default. platonic.systems/blog/shelpe…
1
2
472
Platonic.Systems retweeted
“[..] using contract-first methodologies [..] an entire class of miscommunication becomes structurally impossible.” 💯 good read
1
87
"User-friendly" is the empty calorie of design vocabulary. It conflates 5 independent axes—and confusing them causes disasters like Snapchat's $1.3B redesign fail. Here's a framework for clearer thinking: platonic.systems/blog/five-a…
1
4
1,243
Anyone in Sweden looking for a Haskell role?
1
419
Platonic.Systems retweeted
I went on a job interview for a Senior SWE role. They asked me about my experience with Kafka. I told them how in “Metamorphosis” someone can lose their worth in others’ eyes the moment they stop being useful. It’s a chilling reminder of how fragile our sense of belonging can be when it relies on productivity instead of humanity. I told them how in “The Trial” he describes the helplessness of confronting institutions that feel arbitrary, unaccountable, and impossible to navigate. The randomness of a giant system can crush your soul. Our brains can’t handle overwhelming inconsistency. I told them how in “The Castle”, we learn that seeking an approval from an unreachable authority is a trap. If you spend your life chasing validation from humans who don’t care, you’ll end up feeling stuck. The pursuit consumes more than the reward it gives. I didn’t get the job. The market is tough.
151
456
49
5,592
393,813
Platonic.Systems retweeted
I give credit to Cloudflare for literally posting source code for what caused the outage.
78
315
12
15,849
647,226
Platonic.Systems retweeted
About to put the feature set of 3 companies in one product into prod. And with objectively higher quality than all 3 out of the box. At @platonicsystems it's possible. I don't know any other company that could have pulled this off on time and on budget. 💪🎉🚀 #Haskell #TypeScript #nixos #Startups All with 100% immutable, reproducible, tested, and type safe. – at Harney, CO
2
1
9
871
At Platonic we use sydtest as much as possible. Sydtest is the only testing library that passes our scrutiny. In part because said scrutiny has been graciously accepted by @kerckhove_ts and helped to shape parts of the library.
quick shoutout to @kerckhove_ts - Sydtest github.com/NorfairKing/sydte… is a really pleasant test framework that encodes all the decisions I would have made anyway: parallelism by default, flake detection, visibility of test times, and even visual test profiling.
4
2
8
543
Platonic.Systems retweeted
The mismanagement of the Scala community needs to be studied
Taking a break from Scala development Despite contributing to the Scala ecosystem for over a decade now, speaking at several conferences, two Scala Days, building Quill and more recently Kyo, I still face exclusion because the Scala Center's director decided to label me "clinically insane" for reporting harassment. Just recently, I had to deal with people aggressively questioning my mental health, a conference finding itself unable to enforce its own CoC, and a threat of a year-long ban from official forums. I was hoping I could cope with it while building Kyo but it's become unsustainable. The saddest part? I'm not alone. @propensive has faced much worse and we aren't even the only ones :( When institutional power is used to protect political agendas over community members, contributing becomes impossible. The same dynamics that drove out contributors through cancellation campaigns persist via different actors today. The Scala community has witnessed an extraordinary exodus of talented people over the recent years. Now you know why one more is stepping away: reporting harassment shouldn't result in mental health slurs from institutional leadership. Hopefully, I'll eventually find some inspiration to return. Kyo is fascinating, it'd be difficult to just leave it behind
2
4
51
4,495
Platonic.Systems retweeted
We've switched all our dev setups to localhost. Not only can it have subdomains, but it's also a secure context by default, so you don't need any SSL cert to use all the features that depend on that. We just reserve a specific port per app. So good, so simple.
TIL localhost can have subdomains
82
119
18
3,378
475,981