JonChesterfield

9 ms·

91.
by JonChesterfield 11mo ago
Have a leetcode desk, shed, garage or whatever. Some place you go every day for some number of hours. Without a phone or a book. You don't have to do the leetcode there. Can sit there for the whole time staring at the wall if you like.
92.
by JonChesterfield 11mo ago
Look at the code those people have put into production instead. Or accept that you're filtering for pain tolerance of nonsense and the people you get will put up with grindy nonsense in your company. Which could be a blessing or lethal
93.
Why CUDA translation wont unlock AMD(eliovp.com)
88 points by JonChesterfield 11mo ago|81 comments
94.
by JonChesterfield 11mo ago
My favourite part of this is it's userspace. Get the tarball from under https://docs.scale-lang.com/stable/manual/how-to-install/ and you've got an nvcc, which will build cuda for your amd card. No
95.
Spectral Compute Funding(businessinsider.com)
3 points by JonChesterfield 11mo ago|1 comments
96.
by JonChesterfield 11mo ago
Spectral are the cuda on amdgpu people. Now with some funding. BI didn't link to docs.scale-lang.com/stable.
97.
by JonChesterfield 11mo ago
The real question is not whether machines think but whether men do.
98.
by JonChesterfield 11mo ago
Refuse to merge into their branch. If you have serious test coverage and the refactor doesn't change behaviour, it'll be fine. If you don't have test coverage, or if the "refactor" is also changing behaviour, that p
99.
by JonChesterfield 11mo ago
They come from people who have established that their work is worth the time to review and that they'll have put it together competently. If it's a newcomer to the project, a large self contained review is more likely to contain m
100.
by JonChesterfield 11mo ago
The sufficiently smart vectoriser has been here for decades. Cuda is one. Uses all the vector units just fine, may struggle to use the scalar units.
101.
by JonChesterfield 1y ago
Could be a compiler flag. -const-by-default. Would probably mean you need to scatter mutable across the codebase to get it to compile, but I expect some people would like to have every local annotated as const or mutable.
102.
by JonChesterfield 1y ago
I believe the standard counterargument goes: - either it's transitive, in which case your type system is very much more complicated - or it isn't, in which case it's a near useless liability Naturally C++ runs with the latter
103.
by JonChesterfield 1y ago
Or use a jigsaw. The cutting tool, not the cardboard pieces. Or sheet of hardboard and a stanley knife, which is probably the most sensible option in context.
104.
by JonChesterfield 1y ago
My experience is they respond yes/no very quickly for lots of problems, but as the problem approaches "probably narrowly solvable" the runtime goes exponential.
105.
by JonChesterfield 1y ago
Register allocation, instruction selection and instruction scheduling can, with a degree of bloodyminded patience, all be solved with boolean SAT. That's a compiler backend. I like the higher level CSP more as an interface but those ar
106.
by JonChesterfield 1y ago
I could come around to a fridge that keeps track of the contents, including use by dates, prompts me to throw away things that are going bad and adds replacements to a periodic supermarket order.
107.
by JonChesterfield 1y ago
setjmp/longjmp are irritating to implement and used by the pcall machinery
108.
by JonChesterfield 1y ago
Presenting your finances to investors via a tool designed for generation of plausible looking data is fraud.
109.
by JonChesterfield 1y ago
The thing really missing from multi-megabyte excel sheets of business critical carnage was a non-deterministic rewrite tool. It'll interact excitingly with the industry standard of no automated testing whatsoever. I 100% believe genera
110.
by JonChesterfield 1y ago
People do. The dawning realisation that you're passing comments to a chatbot that you could talk to directly, except it's being filtered through a person for the glory of that person, is infuriating enough to want out of the open
111.
by JonChesterfield 1y ago
In the beginning, there was the binary, and it was difficult to change. Then the golden age of ascii encoded source, where all was easy to change. Now we've forgotten that lesson and changed to ascii encoded binary. So yeah, I think if
112.
by JonChesterfield 1y ago
mod by five, mod by 3, a printf in each of the four branches. Trivial, no?
113.
by JonChesterfield 1y ago
Yeah. Spectral's CTO is still the #2 contributor to that, https://github.com/ROCm/HIPIFY/graphs/contributors . They tried really hard to make hipify work before accepting that forking clang was necessary.
114.
by JonChesterfield 1y ago
> Chooses a project the candidate has worked on. > Asks questions with the goal of having the candidate teach him about his project. I really like this. Asking candidates about their PhD thesis has not gone as well as I hoped, there&#
115.
by JonChesterfield 1y ago
Good example. It's a little clearer if desugared: { FooObject foo = FooObject(123); return FooObject::bar(&foo); } The foo object needs to be somewhere that the address of it means something, because C++
116.
by JonChesterfield 1y ago
I think I like teams with specialisms. I can think of a few instances where things went better because people were doing things they loved, where other people would have really struggled with the same task. I'm on ten years of trying a
117.
by JonChesterfield 1y ago
That "tail recursion" is a thing in it's own right is more a sign of people getting their implementation wrong than anything else. Specifically, if calling a function at the end of your current function _doesn't_ clean u
118.
by JonChesterfield 1y ago
It's about the code in the boxes :)
119.
by JonChesterfield 1y ago
Yeah, right there with you. It's an extremely good series of posts which thankfully I dimly remember, but now will have to download when I'm next in different country. > "C is not a DSL!" Wonderful writing.
120.
by JonChesterfield 1y ago
Someone that could whiteboard correct programs written in SKI is someone I'd be delighted to hire. Likewise someone that can write correct forth by hand. It's holding a very large compute graph in your head comfortably enough that

More ›