🇨🇦 Backend Brat. Distributed Diva. Relentless Learner. Principal Architect of Psychosis Projects.
Canada
Joined June 2009
- Tweets116K
- Following376
- Followers53.3K
- Likes10.9K
Pinned Tweet
It’s important to fact check loud voices cuz there’s a lot of followers in this world. People who idolize you and your advice.
If someone’s promoting a way of working just to push a narrative that doesn’t actually work and people apply this advice today they can lose their jobs
Kelly Sommers retweeted
Random trivia: Marten Odersky made a language called Pizza and he tried a bunch of shit there, which was what helped him develop Scala.
So you're basically on the right trajectory in terms of building a programming language. Just stay authentic and you'll be fine!
Kelly Sommers retweeted
But I’m also passionate about trying to make correct systems more elegant to work with. I’m confused about the future of software engineering but I love designing systems and brainstorming so I want to experiment.
Goose’s memory model inspires me
Kelly Sommers retweeted
I struggle to decide if I should continue with the project. I was extremely hesitant to ever bring this project up on Twitter because we don’t need another language. We certainly don’t need another naive language.
I always struggle with comments like this and if I should continue bold experiments where I always learn a ton.
Sometimes harsh feedback is warranted and you’re just building something naive.
It’s tough deciding to continue or not sometimes.
Kelly Sommers retweeted
I’m a strong believer in humans understand sequential top down code a lot easier than jumping around files and stitching a mental model around execution order.
Catering to humans in the mid term until we can truly “not read the code” is key to fast reviews.
Kelly Sommers retweeted
Memory Safety Bugs in Rust Standard Library
> Microsoft FORGE Lab found memory-safety bugs in Rust’s standard library via AI tools, revealing three patterns of misplaced trust in unsafe code that can cause undefined behavior even from safe Rust.
ALT Image: Memory Safety Bugs in Rust Standard Library > Microsoft FORGE Lab found memory-safety bugs in Rust’s standard library via AI tools, revealing three patterns of misplaced trust in unsafe code that can cause undefined behavior even from safe Rust.
Kelly Sommers retweeted
saw this sort online so I thought it would be a cool example to have a proof that it is correct tiki.li/blog/blqsort unfortunately, fable 5.2 couldn't prove it because it has a bug. it has a fix for it though.
What do you folks think about this approach to Monads in Holo?
Try keyword makes the magic happen. Try is not try/catch exception handling.
Kelly Sommers retweeted
This is so readable and explicit about failure modes I love it 🥹
It’s so important for me to see titans of our craft talk about the journey of bringing greatness to life: mistakes can and do happen!
My first time designing error handling in a programming language.
Trying to make Holo the most elegant systems programming language. I’m sure I’m making all kinds of mistakes but it sure is beautiful
Kelly Sommers retweeted
AMD keeps its microarchitecture names simple: Zen 2, Zen 3, … Zen 6. Zen 6 is new and most of us still lack access.
Chips and Cheese measured what changed from Zen 5.
Zen 6 sustains 5.96 64-bit adds per cycle versus Zen 5’s 5.25 (same six ALUs). (Yes! Your processor can do that many additions per cycle!)
It also recovers faster from branch mispredictions: roughly 3–3.5 ns extra versus 3.5–4 ns on Zen 5. That's an important gain because lots of branchy code is limited by branch misprediction penalties.
Overall, Zen 6 processors today can match the best of the previous generation (Zen 5) running at high clocks with more cache. So we might get an realistic performance boost of about 20% with comparable chips.
Source: chipsandcheese.com/p/amds-ze…
Kelly Sommers retweeted
If someone wants a challenge... the fast_float library is part of the V8 engine (chromium browsers). It calls the library deep down after some processing. In theory, it should be possible to create a variant of the library that is tuned for V8 usage. I have opened an issue:
github.com/fastfloat/fast_fl…
I pushed hard last month that we are still in the READ THE CODE ERA cuz if you aren’t, you made someone else do it for you instead
Here’s an ex. There’s virtually no way AI’s latest optimization to Holo lang is safe. I’m highly skeptical where others would tweet celebrity tours
AMD Zen 6 EPYC Venice deep dive and benchmarking 9686F outclasses Nvidia’s Vera, dual EPYC 9996 with 1,024 threads delivers up to 93% performance gain gen-on-gen
tomshardware.com/pc-componen…
1
2
1,331