icosahedron

9 ms·

1.
by icosahedron 5mo ago
Same!
2.
by icosahedron 5mo ago
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&#x
3.
by icosahedron 5mo ago
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 fou
4.
by icosahedron 2y ago
It seems the repo is gone. Anyone know what happened to it?
5.
by icosahedron 3y ago
Drawmij has teleported to another plane.
6.
by icosahedron 4y ago
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
7.
by icosahedron 4y ago
Congratulations on your success so far. And great job creating something useful to people in a time of need.
8.
by icosahedron 4y ago
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
9.
by icosahedron 4y ago
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
10.
by icosahedron 4y ago
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.
11.
by icosahedron 4y ago
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.
12.
by icosahedron 4y ago
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 On
13.
by icosahedron 5y ago
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.
14.
by icosahedron 5y ago
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 an
15.
by icosahedron 5y ago
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.
16.
by icosahedron 5y ago
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.
17.
by icosahedron 5y ago
I thought I remembered that in the presentation they had souped up the individual cores too. Must be I'm misremembering.
18.
by icosahedron 5y ago
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...
19.
by icosahedron 5y ago
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 c
20.
by icosahedron 5y ago
My favorite quip about Stack Overflow: Boss: Where did you get this code? Dev: Stack Overflow. Boss: From the questions or the answers?
21.
by icosahedron 6y ago
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.
22.
by icosahedron 6y ago
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 (M
23.
by icosahedron 7y ago
He was also behind quite a few innovations at Oculus for their Rift headset, including their Time Warping tech.
24.
by icosahedron 11y ago
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.
25.
by icosahedron 12y ago
Is this real or is this an early April Fool's joke?
26.
by icosahedron 12y ago
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.
27.
by icosahedron 12y ago
Good article. My own experiences with the game are a near mirror to the author.
28.
by icosahedron 13y ago
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
29.
How I use my iPad to blog(flagrantsystemerror.com)
1 points by icosahedron 14y ago|0 comments
30.
by icosahedron 16y ago
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.

More ›