Viewing profile — rockmeamedee

It's very very important to note that there was an existing 2025 arxiv preprint that had a >66% proof assuming some weak condition, and this result removes that weak condition. It …

I hate this. The style of LLM-written prose is unbearable, and I found several mistakes. This is "dazzle them with bullshit details" with no understanding behind it. I assume the b…

For Bun to not have torched its reputation among its users, it would have had to publish this blog post _before_ pressing merge on that PR. That's what underlies most of the vitrio…

Reminds me of the "mathematical proof that there is no least interesting number". Because if there was a "least interesting number", that would make it interesting: it would have t…

I don’t understand. Gitoxide exists and is great. It might have missing pieces, but it’s easier to vibecode any needed networking additions to Gitoxide (which is maintained) than t…

https://github.com/amedeedaboville/mish A mosh clone that uses QUIC as the transport layer so it can do both “unreliable datagrams” like UDP and also a TCP-like reliable stream, so…

What does this mean, that you can take Kimi and RL finetune it a little more and blow the big AI shops out of the water? Would this have been extensively fine tuned, beyond what An…

I had no idea, but this "wiggle" is required for an optimal approximation, it's called the "equioscillation property" [ https://en.wikipedia.org/wiki/Equioscillation_theorem ]. For…

I'm interested in the topic, and the book cover looks great, so I'll probably read it. But it seems a bit "Maintenance: For Boys". The items mentioned on this page are "the mainten…

Yeah, uv is cool and a step above conda, but that business model doesn’t look very profitable… They did say they want their thing to have understanding of the code, so maybe they’l…

yeah but they're still >50% off SFBA salaries. SFBA comp for a sr dev can easily be $200k+ (and can go higher, lots of anecdotes on here about $350k+ salaries at BigtechCos), for a…

Oh this is great! I always have this problem. I find that's one of my biggest barriers when reading queueing theory content. I'm only doing it intermittently so I don't have memori…

I too made a version of this (just a small Go DNS resolver + port forwarding proxy) that lets you do a similar thing: https://gitlab.com/amedeedabo/zoxy I used the .z domain bc it'…

Fastest growing but because they participated in a pay-for-play kickback scheme [1][2]? So that number isn't really signal. Now that they're not paying CISOs to adopt the product t…

Idk man. It's a nice idea, but it has to be 10x better than what we currently have to overcome the ecosystem advantages of the existing tech. In practice, people in the frontend wo…

Like a non-toy version of this: https://artsandculture.google.com/story/ar-synth/7AUBadCIL5T...

As a regular programmer, I got really into queuing theory thinking I was going to learn secrets of performance tuning, then was slightly disappointed. But it turns out the simple p…

The number one thing that got me to senior engineer, and will get me to staff as I improve (though staff has more of a relationship management component) is emotional management. S…

The term "crisis response" will get you info on PR crises and brings to mind the TV show Scandal. The term you want for our field is "Incident Response", and the practice of 1)prev…

There's apparently a bananas crunch/backstory to this, where they committed to Swift before realizing they would hit its limits, and had to come up with a bunch of this optimizatio…

The post says The new API to cast in an unsafe manner is: let x: f32 = 1.0; let y: u8 = unsafe { x.to_int_unchecked() }; But as always, you should only use this method as a last re…