Hacker News: sa1

New comment by sa1 in "Elixir v1.20: Now a gradually typed language"

sa1 — Thu, 04 Jun 2026 16:37:30 +0000

I think they do, and as you mentioned you can explicitly remove such a restriction. Sets and types are once again two different kinds of objects in mathematical theory, and a set-theoretic type doesn’t seem to be based either on set theory or type theory.

New comment by sa1 in "Elixir v1.20: Now a gradually typed language"

sa1 — Thu, 04 Jun 2026 13:43:11 +0000

Sets and types are foundational mathematical concepts so I’m looking for how elixir’s types fit in that context. Union and intersection are not something that belongs only to sets.

New comment by sa1 in "Elixir v1.20: Now a gradually typed language"

sa1 — Thu, 04 Jun 2026 13:31:10 +0000

Unions, intersections and negations are available in types as well and are by no means exclusive to sets. The distinguishing feature of a set vs type is that a value belongs to just one type while it can belong to several sets.

New comment by sa1 in "Elixir v1.20: Now a gradually typed language"

sa1 — Thu, 04 Jun 2026 12:43:33 +0000

What do set-theoretic types mean? Aren’t types an alternative approach meant to avoid the paradoxes with sets?

Is it just being used as a marketing term?

New comment by sa1 in "A Rust-Python thing I am working on. Apache 2 licence"

sa1 — Mon, 18 May 2026 17:10:52 +0000

The whole readme is LLM written, it might be a useful project but it might as well be a fever dream, with no easy way to tell.

New comment by sa1 in "The unexpected effectiveness of one-shot decompilation with Claude"

sa1 — Sat, 06 Dec 2025 17:04:44 +0000

But clean room reverse engineered code can have its own license, no?

New comment by sa1 in "USB-C hubs and my slow descent into madness (2021)"

sa1 — Fri, 18 Jul 2025 02:59:39 +0000

> the equivalent of SEO on them

It’s called GEO and it’s becoming a thing.

New comment by sa1 in "VSCode’s SSH agent is bananas"

sa1 — Sat, 08 Feb 2025 02:33:40 +0000

Zed also downloads a remote agent.

New comment by sa1 in "Jujutsu Megamerges and jj Absorb"

sa1 — Wed, 25 Dec 2024 04:50:22 +0000

There’s also gitbutler for this kind of workflow, a bit more visual.

New comment by sa1 in "Move semantics in Rust, C++, and Hylo"

sa1 — Thu, 05 Dec 2024 16:28:44 +0000

Could you go into some details into how it's wrong and how you interpret this statement? Prima facie, it does seem correct to me.

New comment by sa1 in "Who Is Jay Graber, the CEO of Bluesky?"

sa1 — Thu, 28 Nov 2024 16:24:07 +0000

Handed out? She built it.

New comment by sa1 in "Using uv with PyTorch"

sa1 — Wed, 20 Nov 2024 11:44:20 +0000

There are such cases in uv as well, and I’ve hit them quite often when I didn’t specify lower bounds (especially for boto3).

New comment by sa1 in "Universe would die before monkey with keyboard writes Shakespeare, study finds"

sa1 — Wed, 06 Nov 2024 20:31:40 +0000

Finite Monkeys Theorem is not the same as the Infinite Monkeys Theorem

New comment by sa1 in "Universe would die before monkey with keyboard writes Shakespeare, study finds"

sa1 — Fri, 01 Nov 2024 15:47:24 +0000

Just read the paper directly: https://www.sciencedirect.com/science/article/pii/S277318632.... They do no such thing.

New comment by sa1 in "Universe would die before monkey with keyboard writes Shakespeare, study finds"

sa1 — Fri, 01 Nov 2024 15:46:27 +0000

They didn't "test" the concept of infinity. They said that the results of the infinite monkey theorem are well known, and they wanted to see what happens in the finite case.

New comment by sa1 in "Cooking with black plastic is particularly crucial to avoid"

sa1 — Thu, 31 Oct 2024 12:53:21 +0000

The wood dries out and cracks.

New comment by sa1 in "Biggest ever seen black hole jets; blasting plasma well beyond their own galaxy"

sa1 — Fri, 20 Sep 2024 06:22:49 +0000

This is a misunderstanding. All the energy in our « observable » universe was compressed in that small size. We do not have any estimates of the size of the actual universe now, nor at a time shortly after Big Bang. For all we know, the universe might be infinite, both now and back then.

New comment by sa1 in "Papermill: Parameterizing, executing, and analyzing Jupyter Notebooks"

sa1 — Thu, 19 Sep 2024 01:06:18 +0000

You should make a new post about the new sandbox feature.

New comment by sa1 in "Indian startup 3D prints rocket engine in 72 hours"

sa1 — Thu, 13 Jun 2024 20:14:03 +0000

Makes sense, thank you

New comment by sa1 in "Indian startup 3D prints rocket engine in 72 hours"

sa1 — Thu, 13 Jun 2024 14:40:43 +0000

What part is not true?

https://www.youtube.com/watch?v=kz165f1g8-E

I'm sure that there are lots of problems with this approach, but it is not as obvious as your comment makes it out to be.