Hacker News: Sinidir

New comment by Sinidir in "Tell HN: Anthropic no longer allowing Claude Code subscriptions to use OpenClaw"

Sinidir — Sat, 04 Apr 2026 00:24:38 +0000

Does anyone know. How would that relate to simply wrapping claude code as a subprocess?

New comment by Sinidir in "Python Type Checker Comparison: Empty Container Inference"

Sinidir — Sun, 01 Mar 2026 21:47:01 +0000

In the example given in the article i think the correct behavior would have been to infer the type backwards from the return type of the function. Is that not why mypy actually errors here?

New comment by Sinidir in "I let LLMs write an Elixir NIF in C; it mostly worked"

Sinidir — Fri, 15 Aug 2025 18:01:27 +0000

Its not really hard to tell.

New comment by Sinidir in "Why is the Rust compiler so slow?"

Sinidir — Sun, 29 Jun 2025 17:21:40 +0000

Pipe to dev/null. Fastest database i have ever used.

New comment by Sinidir in "Ty: A fast Python type checker and language server"

Sinidir — Thu, 08 May 2025 18:39:42 +0000

It is literally true. You don't need to run a type checker.

New comment by Sinidir in "Ty: A fast Python type checker and language server"

Sinidir — Thu, 08 May 2025 18:32:40 +0000

mypy is also written in a style conducive to speed ups when compiling with mypyc

New comment by Sinidir in "Why do old books smell so good?"

Sinidir — Sat, 19 Aug 2023 15:50:43 +0000

Funny i know about Proust from The Sopranos.

New comment by Sinidir in "Fusion Foolery"

Sinidir — Thu, 17 Aug 2023 18:53:38 +0000

You don't you build solar and wind, which have different seasonal productions. Wind power is actually higher during winter. See: https://www.researchgate.net/figure/Estimated-normalized-mon...

And if you combine the graphs for solar and wind from this: https://aleasoft.com/european-solar-and-wind-energy-producti...

You can nicely see that they are complementary in terms of energy production.

New comment by Sinidir in "I am dying of squamous cell carcinoma, and potential treatments are out of reach"

Sinidir — Sat, 22 Jul 2023 16:53:12 +0000

Must feel especially shitty to have your freedom curtailed like this, looking at the probable end of your life.

New comment by Sinidir in "Why checked exceptions failed"

Sinidir — Sat, 15 Jul 2023 13:33:14 +0000

Yeah Containers like Option and Result not having a proper subtyping relation to T is major flaw. I mean you are basically giving a stronger guarantee if you are returning T instead of T or an Error, yet you break every callsite.

I have been thinking about this in terms of a data oriented programming language like clojure, but having types/schemas. If you use Union Types for something like getting a value out of a map for a specific key, then if you knew the schema of a specific map you could reduce the return type from {T, Error} to just the type of the value T that you know is there.

Basically a sufficiently smart compiler with the necessary information could make you not have to deal with errors at all in certain cases. With Result/Option/Maybe this would not be possible. It would always infect the entire callstack and you would always have to deal with it.

New comment by Sinidir in "How to think about async/await in Rust"

Sinidir — Wed, 05 Jul 2023 20:34:22 +0000

Concurrency is not "single core parallelism". Concurrency describes tasks/threads of execution making independent progress of each other. Parallelism describes tasks/threads actually running at the same time.

New comment by Sinidir in "The halting problem is decidable on a set of asymptotic probability one (2006)"

Sinidir — Sun, 28 May 2023 23:45:37 +0000

They are not missing the point. The previous post was simply wrong. The halting problem is semi-decidable. So you can potentially find out wether a program halts.

New comment by Sinidir in "Direct air capture: our technology to capture CO₂"

Sinidir — Sat, 27 May 2023 14:44:26 +0000

They don't work nearly as well enough or in the case of hydro storage are available in enough quantity to cover a month of weak wind.

For example. The US would consume its entirety of pumped hydro storage in a third of a day.

New comment by Sinidir in "HuggingGPT: Solving AI tasks with ChatGPT and its friends in HuggingFace"

Sinidir — Sat, 01 Apr 2023 07:54:23 +0000

That just gave me the idea that there could be a main instance that keeps a summary of the problem (List of paragraphs for each subproblem) and other instances that hold the larger text that these summaries are based on. Then on demand the main instance could get needed extra information for a subpoint back. Kinda like having forgein keys in a databas with which you can join in the relevant row!

New comment by Sinidir in "JDK 20 G1/Parallel/Serial GC Changes"

Sinidir — Sat, 18 Mar 2023 10:01:49 +0000

How do you to zero-copy message passing if you have one heap per actor? Or am i misunderstanding and a couple of actors share a heap, but there is no giant heap?

New comment by Sinidir in "Maybe people do care about performance and reliability"

Sinidir — Tue, 14 Feb 2023 19:05:22 +0000

Felt the same way after first going from eclipse to intellij. This fear, this lack off. But after a while i didn't notice anymore and i have never run into a situation where something important was lost. In the opposite. Saving and making copies and even duplicating code in a file like an older version of an sql statement is some kind of fear/hoarding impulse, that doesn't seem to pay off at all.

New comment by Sinidir in "I'm going to scale my foot up your ass (2008)"

Sinidir — Sun, 05 Feb 2023 17:52:53 +0000

Thats pretty funny.

New comment by Sinidir in "My husband was right about DVDs"

Sinidir — Sat, 21 Jan 2023 19:26:51 +0000

The Werther Effect is thoroughly studied effect. There are plenty of studies on the issue.

New comment by Sinidir in "Two research teams reverse signs of aging in mice"

Sinidir — Sun, 15 Jan 2023 11:40:29 +0000

Of course.

New comment by Sinidir in "Lisp-stick on a Python"

Sinidir — Tue, 15 Nov 2022 10:15:42 +0000

I mean i would but i don't know wether going back in time would pass the borrow checker.