Viewing profile — enum

This sort of thing has been studied in academic experiments. Although the models studied are now “old”, and I expect the floor is higher, the lack of vocabulary and basic concept f…

Right. And the arguably simpler problem, where the model gets the C code directly, is active research: https://www.darpa.mil/research/programs/translating-all-c-to... All of this w…

This is a conjecture : modern chips are optimized to make the output code style of GCC/Clang go fast. So, the compilers optimize for the chip, and the chip optimizes for the popula…

It’s in Rust…

Nice article. I believe the Claude C Compiler is an extraordinary research result. The article is clear about its limitations. The code README opens by saying “don’t use this” whic…

This isn't true right? You really can bring in zero dollars in grants and phone it in in the classroom. (Now, literally on Zoom!) I don't think it helps to pretend that everyone ke…

> For tenure-track professors at top-twenty schools, step five is hard. Their tenured professors jealously guard their status, so rejection is the default. However, as school ranki…

I just have an unprivileged secondary local account and do ssh dummy@localhost. Is this wrong?

This was vibe coded in a few hours with Codex 5.2 Medium. We now have examples of agent-written web browsers and Unix-y OSes ( https://github.com/viralcode/vib-OS ). I thought it w…

Thanks. As I said, I have no idea. :)

I'm not sure this is true. Encoding theorems in dependent types takes a lot of expertise. Even without the Lean technical details, a lot of math theorems just don't mean anything t…

The worst case is that you vibe code a theorem that reads: False => P Then you vibe code a proof of this theorem. Then you get excited that you’ve proven P. Some of the X discussio…

The post says this in other words: in Lean, Rocq, or any other theorem prover, you get a formally-verified proof, but you do NOT get a formally verified theorem statement. So, even…

Referring to this: https://github.com/arjunguha/slopcoder I then proceeded to use it to hack on its own codebase, and close a bunch of issues in a repository that I maintain ( http…

I'm trying to determine what programming tasks are not in this list. :) I think it is trying to exclude adding new features and fixing bugs in existing code. I've done enough of th…

I don't think I can scientifically compare the agents. As it is, you can use Opus / Codex in Cursor. The speed of Cursor composer-1 is phenomenal -- you can use it interactively fo…

I teach at a university, and spend plenty of time programming for research and for fun. Like many others, I spent some time on the holidays trying to push the current generation of…

- https://publish.obsidian.md/aixplore/Practical+Applications/... Does it work if you change to torch.bfloat16? - https://publish.obsidian.md/aixplore/Practical+Applications/... Th…

I think that personal computing is more fun than time-shared computing. :) It's remarkable what can now be done on a whisper-quiet little box. I hope the Strix Halo's will be just …

I’m not complaining. The clusters are great. The non-Slurm H100s are great. The Spark is more fun.

+1 I have H100s to myself, and access to more GPUs than I know what to do with in national clusters. The Spark is much more fun. And I’m more productive. With two of them, you can …

I learned a lot from implementing this book. Compiler was in OCaml. Runtime was in C (used as a glorified assembly).

SGTM. The transparency is good.

Lots of discussion about choice of programming language in the comments below. - In principle, it should not matter at all, but there are practical reasons why one PL may be better…