CodeBrad

7 ms·

1.
by CodeBrad 1y ago
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. Talks are great, but blogs are much easier to share and refe
2.
by CodeBrad 1y ago
> 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?
3.
by CodeBrad 1y ago
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] for detecting races in general, but I have not used it mu
4.
by CodeBrad 1y ago
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. The subscription is effectively a built in spending limit
5.
Go's race detector has a mutex blind spot(doublefree.dev)
2 points by CodeBrad 1y ago|0 comments
6.
Advent of Code on the Nintendo DS(sailor.li)
2 points by CodeBrad 2y ago|0 comments
7.
by CodeBrad 2y ago
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 Rust's declarative macros. [1]: https:/&#x
8.
by CodeBrad 2y ago
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.
9.
by CodeBrad 2y ago
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 across =( I agree with you. In real life, python is absolutely
10.
by CodeBrad 3y ago
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 pretty small.
11.
by CodeBrad 3y ago
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 lot of people who could command a higher salary in that role,
12.
by CodeBrad 4y ago
"Server Not found" for any of: - https://ai/ - https://www.ai/ - http://ai/ - http://ai . - http://ai and http://.ai/ gets redirected to a
13.
by CodeBrad 4y ago
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 the absolute bare minimum to get paid so that
14.
by CodeBrad 5y ago
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 following message: > Exceeded daily email limit for the operati
15.
by CodeBrad 5y ago
> 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 positives?
16.
by CodeBrad 5y ago
> Lift uses machine learning to measure which bugs developers fix most, eliminating likely false positives, and continuously delivering higher quality results that improve over time. Is this a pre-trained thing or something that is done
17.
by CodeBrad 5y ago
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 being executed in parallel: int global; void foo() {
18.
by CodeBrad 5y ago
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 the main limitation) As a dynamic tool, if a race is observed
19.
Why Every Company Should Care About Concurrency Bugs(coderrect.com)
1 points by CodeBrad 6y ago|0 comments
20.
New Concurrency APIs in C++ 17(coderrect.com)
1 points by CodeBrad 6y ago|0 comments
21.
by CodeBrad 6y ago
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-threaded bugs. After a year of late nights and hard work we
22.
Show HN: A GitHub Action for your multi-threading peace of mind(github.com)
3 points by CodeBrad 6y ago|4 comments
23.
by CodeBrad 6y ago
> it suffers from unemployment, decaying infrastructure, and low literacy and educational attainment levels. Sounds great
24.
by CodeBrad 6y ago
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 of the graduate level CS courses I have taken were easier th
25.
by CodeBrad 6y ago
Lots of scrollbars: https://i.imgur.com/jG1kuEd.jpg
26.
by CodeBrad 6y ago
> C++ is becoming a real mess of features > I am now looking forward to learning Rust Prepare yourself. I personally think one of the major downsides to learning Rust is how quickly the language is moving. I first started looking int
27.
by CodeBrad 6y ago
Is it possible to buy a single course, or only to subscribe to the whole platform?