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 to know if they are kept or if it's just kool aid (or perhaps purple drank?)

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 dependent types and tactics to prove the software, but I found it more approachable.

Also, it compiles to several target languages, whereas Lean 4 only compiles to C and therefore only supports the C ABI.

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 to work. The prompt returned nothing after waiting for several minutes.

Is there a way to run just one of the larger models?

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 idioms for expressing certain concepts.

For example, Rust doesn't have default parameters, so the builder pattern is pretty common.

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 via the website.

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 access any files via SSH as if they were from iCloud or OneDrive, etc.

Lastly, there is code-server, which is VS Code in a browser. I've used this from time to time, and it works well.

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 pulling me between political and philosophical sides. Don't know which side I'll land on, or how long I'll stay there.

As a side note, I've found "Deep Learning: A Visual Approach" to be very instructive.

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?baseli...

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

To be surrounded by books of your own choosing is nice. It doesn't have to be a lot though. Just having a stack of nice books near your bed that you like or believe you will like is usually enough.

I am a firm believer in tsundoku.

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 an older version.

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 version of Udacity's Self-Driving Car course, ML4T (Machine Learning for Trading) where you implement various algorithms to optimize trading strategies, and ISYE 6501 (Intro to Analysis), which is a survey of various analysis techniques and ML algorithms.

Still have to take the reputed hardest course in the program, the General Algorithms course, the ML course, and an elective.

Worth the money, though I have had to skip a couple of semesters due to burnout. Work and this program are hard (for me).

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?

I hope they find someone to adopt or marry who will care for this hotel.

As someone else pointed out, the daughter seems to be sad. I hope she is able to find someone to make her happy and is able to let her do what makes her happy.

Good article. My own experiences with the game are a near mirror to the author.

Wow. Some really cool projects on here.

I just completed (today) git-sync-ec2, a set of utility scripts for deploying my website (http://flagrantsystemerror.com) to S3 via a dynamic EC2 instance.

I just restarted a stack based STL allocator. I'm writing unit tests for it and hope to have it finished by Monday.

Why's Guide to Ruby was pretty compelling, just for the strange humor in it.

Recently I've been reading "Functional Programming: Application and Implementation" with alacrity. Only 50 pages or so in, but very good so far.

I laughed out loud at the attribution asterisks in _The Art of the Interpreter_. Excellent to see humor in an academic paper.