Hacker News: icosahedron

New comment by icosahedron in "“Why not just use Lean?”"

icosahedron — Mon, 27 Apr 2026 21:14:47 +0000

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?)

New comment by icosahedron in "“Why not just use Lean?”"

icosahedron — Mon, 27 Apr 2026 21:10:11 +0000

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.

New comment by icosahedron in "Beatrice: A tagless, dependently typed, self-aware programming language"

icosahedron — Wed, 24 Apr 2024 23:25:27 +0000

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

New comment by icosahedron in "Jim Ward has died"

icosahedron — Thu, 21 Mar 2024 00:12:08 +0000

Drawmij has teleported to another plane.

New comment by icosahedron in "Dalai: Automatically install, run, and play with LLaMA on your computer"

icosahedron — Mon, 13 Mar 2023 04:12:14 +0000

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?

New comment by icosahedron in "Tell HN: A disabled 40-year-old person founded a startup and makes a living"

icosahedron — Mon, 03 Oct 2022 04:29:26 +0000

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

New comment by icosahedron in "Ask HN: What do you code when learning a new language/framework?"

icosahedron — Fri, 15 Jul 2022 00:09:03 +0000

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.

New comment by icosahedron in "Max Datom: Interactive Datomic Tutorial"

icosahedron — Fri, 22 Apr 2022 23:03:40 +0000

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

New comment by icosahedron in "Max Datom: Interactive Datomic Tutorial"

icosahedron — Fri, 22 Apr 2022 22:47:14 +0000

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.

New comment by icosahedron in "Max Datom: Interactive Datomic Tutorial"

icosahedron — Fri, 22 Apr 2022 22:41:46 +0000

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.

New comment by icosahedron in "Ask HN: Best practices for editing remote code locally?"

icosahedron — Mon, 11 Apr 2022 15:41:28 +0000

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.

New comment by icosahedron in "Show HN: I'm writing a free book called Computer Networks from Scratch"

icosahedron — Mon, 28 Mar 2022 00:06:15 +0000

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.

New comment by icosahedron in "Ask HN: What's the best book you read in 2021?"

icosahedron — Fri, 24 Dec 2021 03:27:27 +0000

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.

New comment by icosahedron in "Ask HN: What's the best book you read in 2021?"

icosahedron — Fri, 24 Dec 2021 03:24:07 +0000

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.

New comment by icosahedron in "Ask HN: Anyone working remotely for a US company internationally?"

icosahedron — Fri, 22 Oct 2021 18:26:27 +0000

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.

New comment by icosahedron in "Apple M1 Max Geekbench Score"

icosahedron — Wed, 20 Oct 2021 19:52:28 +0000

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

New comment by icosahedron in "Apple M1 Max Geekbench Score"

icosahedron — Wed, 20 Oct 2021 19:41:26 +0000

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

New comment by icosahedron in "Ask HN: How do I easily catalog a couple thousand physical books?"

icosahedron — Sat, 25 Sep 2021 17:45:01 +0000

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.

New comment by icosahedron in "Stack Overflow sold to Prosus for $1.8B"

icosahedron — Thu, 03 Jun 2021 23:14:05 +0000

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

New comment by icosahedron in "The Economist's Style Guide [pdf]"

icosahedron — Tue, 06 Apr 2021 00:39:10 +0000

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.