Dayvi Schuster - A Software Developer from Slovenia 🇸🇮 blog: dayvster.com

Joined May 2019
273 Photos and videos
Finally migrated my hyprland to lua. @vaxryy you legend this rocks i feel like i suddenly understand like 30% more how to configure hyprland well
1
22
Dayvster retweeted
Rewriting everything in Rust is an overhyped mistake
32
18
178
15,160
Dayvster retweeted
We’ve had on the order of 3 memory bugs in 6 years of TigerBeetle. None RCEs. On the other hand, our own simulators have proactively found hundreds of (devastatingly catastrophic) distributed systems correctness bugs per year. Given how hard TigerBeetle’s domain is, in terms of mission critical financial transaction processing, I’ve never for one minute believed that writing TB in a memory safe language such as say TypeScript would somehow magically (!) make any material impact compared to the 100x correctness multiplier of TigerStyle. That’s because—rather than fall for the fallacy of composition, i.e. to see distributed correctness as a language problem—TigerStyle instead takes ultimate responsibility for the “end to end” correctness of the distributed system as a whole. Per systems engineering, correctness is always a systems design problem. For example, how to build a reliable whole, (especially) out of unreliable parts, such as broken firmware, bitrot, programmer error etc. In other words, application of the end to end principle. But when you TigerStyle the design in this way, the world of systems engineering also completely opens up to you and changes how you evaluate systems languages (now things like “power to grammar ratio”, or explicitness, checked arithmetic and precision become more critical and valuable to you). Of course, it is harder to care about correctness, to take responsibility for correctness end to end. Yes, you’re forced to begin to worry about the more serious concerns, starting with the basics of static allocation, explicit limits, assertions, deterministic simulation testing and moving to more advanced topics like protocol-awareness and storage fault-tolerance. But then again, TigerStyle is such a force multiplier, that you achieve mission critical quality, and in less time and with greater velocity. If you’re tired of production issues, and if you want to “engineer your engineering”, I would encourage you to lift up your thinking to the level of systems design and end to end correctness. Start thinking about your methodology and begin embracing TigerStyle. tigerstyle.dev

25
69
614
95,208
I think Zig's approach and a a steadfast grip on their morals and convictions will make them a lot stronger.
80
I would like to kindly thank the Bun team for volunteering to be an example. If or better when this goes wrong the zig community will have a great big finger to point at. And if it goes right, bun will be back to square 1 with the same product. github.com/oven-sh/bun/blob/…

2
170
Is it just me or has posthog gotten less reliable lately? LLM tax?
121
Oh cool, I can't wait to not use this.
We have launched AI Powered Root Cause Analyses at @coroot_com to help you resolve problems even faster, all with zero instrumentation required!
348
Zig 0.16 is here and it comes with long awaited IO / Async ziglang.org/download/0.16.0/…

266
So we've had a while with very capable LLMs that can apparently replace software developers, how come there is not a singular product on the market completely made with LLMs that blows everything out of the water?
1
207
Happy Easter! Everyone
141
Zig’s comptime is what every metaprogramming system wishes it was.
2
192
Rust is incredible. It prevents memory bugs, data races, and productivity.
1
2
154
Love weekends like these
1
157
Hey would ya look at that I was almost right except it was Qwen and not deepseek :P
Oh man seems like deepseek is gonna offer some insane models soon for cheaper...
2
264
Developers should be naturally curious
190
I just don't like rust.
95
Hmm think imma make a gotify desktop client the current one is borked and also written in rust of all things.
85