Viewing profile — icosahedron

Same!

It's a paradigm shift, that's for sure. I'm still in the throes of learning it myself, and it's quite the journey. I love the promises behind it, but I'm not yet far enough along t…

You might like looking at Dafny. It is more imperative focus, but has many of the same software proving functionality that Lean has. It is different in that it uses SMT instead of …

It seems the repo is gone. Anyone know what happened to it?

Drawmij has teleported to another plane.

I followed the initial instructions and the 7B model worked just fine. I tried the supplementary instructions to download some of the models (7B, 13B, and 30B), and it didn't seem …

Congratulations on your success so far. And great job creating something useful to people in a time of need.

Ray tracer or a simple roguelike. I've got pretty good experience with both, so knowing the algorithms is helpful. Where it gets harder isn't the language itself, but usually the i…

Ha, as is often the case, I was making things more complicated than necessary. Jarrod got back to me quickly and let me know the err of my ways. :D

I was able to use find the author on the title page, and emailed them. I don't know if my query is incorrect or if it's a bug.

Can anyone else get beyond the 2nd level? I am getting stuck because it returns the values in slightly different order than is expected. And I don't see a way to report an issue vi…

I do this periodically with my iPad. I use Textastic which is a decent editor with it's SSH mode. There is also ShellFish, which is an iOS SSH file provider. You can use it to acce…

Well done. Can't wait for further chapters. I think a table of contents is warranted. Even if it just for 3 or 4 chapters.

I didn't read as much as I normally do, mostly due to school, but I really enjoyed "The Midnight Library" and "Recursion" for fiction. I am mostly done with Antifragile, and it's p…

Yeah, I hope it continues to live up to the hype you've heard. I had a hard letdown, but I hope that doesn't happen for you.

We have some employees in Canada, so they're still in North America, but they work internationally. Actually, for us they are contractors. We only have W-2 employees here in the US…

I thought I remembered that in the presentation they had souped up the individual cores too. Must be I'm misremembering.

I'm not exactly proficient with GeekBenchery, but what I see here is that the M1 Max per core barely outperforms the M1? https://browser.geekbench.com/v5/cpu/compare/10496766?basel…

Never too late to start. I have lots of books that I've collected over the years, but I've had several portions of the collection "dispersed involuntarily" for various reasons. :D …

My favorite quip about Stack Overflow: Boss: Where did you get this code? Dev: Stack Overflow. Boss: From the questions or the answers?

The most recent, full guide is available on Amazon for $2.99 on Kindle, and a reasonable $17 or so for the paperback. I'm not sure that this version is legal to host, though it is …

I'm 6 classes through it. Classes vary wildly in difficulty and applicability. Favorites so far for me were AI4R (Ariticial Intelligence for Robotics) which is a more rigorous vers…

He was also behind quite a few innovations at Oculus for their Rift headset, including their Time Warping tech.

Which lisp do you use? I've used SBCL and tried using mocl and ECL on mobile platforms, but without any real luck. Too much work getting them set up.

Is this real or is this an early April Fool's joke?