Viewing profile — CodeBrad

This was one of my favorite talks from RustConf this year! The distinction between cancel safety and cancel correctness is really helpful. Glad to see it converted to a blog post. …

> which are optimized to be readable to humans and writable by AI How might a language optimized for AI look different than a language optimized for humans?

I may be biased, as I definitely love more than 50% of Rust, but Go also does not protect against logical races, deadlocks, etc. I have heard positive things about the loom crate[1…

I think Claude Code also already has the option to provide an API key directly for usage based pricing. I'm a fan of having both a subscription and a usage based plan available. Th…

It is! Although they are being used in a really weird and not normal way here. I found "The Little Book of Rust Macros"[1] to be a really good resource for getting started with Rus…

Technically, because the bubble sort is implemented at compile time the program is infinitely faster. The answer is produced as a compiler error and so there is zero runtime at all…

Hey! I wrote this. The python being barely legible is my own fault, as the one who wrote it. The whole post is written to be a little ridiculous, but I must not have gotten that ac…

Is it though? How much does all the associated gear, operators, actors, sets, producers cost? In the context of professional video production, a one time savings of $6k seems prett…

You get what you pay for. If there is a one off person who can command a higher salary, its unlikely they alone will make a huge difference to the company anyway. If there are a lo…

"Server Not found" for any of: - https://ai/ - https://www.ai/ - http://ai/ - http://ai . - http://ai and http://.ai/ gets redirected to a search engine searchfor ".ai" by firefox.…

Pretty similar to my experience TA'ing at a researched focused school. My first semester teaching a lab I was told "No one is remembered for being a good TA" and encouraged to do t…

I know not directly related to WebCrate, but it looks like the signup for DetaSpace is broken, so I am unable to try WebCrate. When I try to sign up for DetaSpace, I get the follow…

> We also focus very closely on ensuring our tools have low false positive rates and so we tend to have less noisy output. What kind of things does lift do to ensure lower false po…

> Lift uses machine learning to measure which bugs developers fix most, eliminating likely false positives, and continuously delivering higher quality results that improve over tim…

I agree, good code coverage can probably get most of the way there. But there are some problems with relying on coverage. Coverage can be misleading. Maybe there is some function b…

In my opinion, the main limitation of TSan is that it cannot find all possible races. (An impossible task so I think TSan is a pretty great tool to get to the point that this is th…

Hello, my name is Brad and I am one member of a small team who have spent the last year building the Coderrect Scanner, a fast and accurate static analysis tool for detecting multi…

> it suffers from unemployment, decaying infrastructure, and low literacy and educational attainment levels. Sounds great

I am in the US, and at my school masters and PhD students all take the same classes. It is not ideal because many of the masters students are coming from a non-CS background. Some …