Hacker News: thekoma

New comment by thekoma in "Let's Buy Spirit Air"

thekoma — Mon, 04 May 2026 12:34:27 +0000

What do you think the debt holders will do with the planes and the other assets?

New comment by thekoma in "Show HN: I made a calculator that works over disjoint sets of intervals"

thekoma — Sat, 18 Apr 2026 09:18:42 +0000

We recently implemented this idea in an LLVM optimisation pass based on value-range information from sensor datasheets [1].

[1]: https://dl.acm.org/doi/pdf/10.1145/3640537.3641576

New comment by thekoma in "Show HN: I made a calculator that works over disjoint sets of intervals"

thekoma — Sat, 18 Apr 2026 09:16:23 +0000

Nice! I am interested in how the arithmetic you implemented differs from the IEEE 1788 Standard for Interval Arithmetic (and how the two linked papers relate to it). To address the challenges you mention, did you have to start from scratch or was it something that can build on top of the IEEE standard?

New comment by thekoma in "AI has fixed my productivity"

thekoma — Wed, 18 Feb 2026 14:51:20 +0000

Check out also Hyprnote which allows you to do the meeting transcription and note enhancement fully locally, or wherever else you want, with a BYOM approach.

New comment by thekoma in "Zulip.com Values"

thekoma — Tue, 10 Feb 2026 08:27:29 +0000

What companies value can change after they’ve grabbed their share. Just like how OpenAI changed their “constitution” about working with others.

I wish there was a way to hold companies accountable for stuff like that.

New comment by thekoma in "Termux"

thekoma — Mon, 02 Feb 2026 13:44:55 +0000

How come you don’t just send the md5s to delete rather than the shell script?

New comment by thekoma in "CO2 batteries that store grid energy take off globally"

thekoma — Mon, 22 Dec 2025 05:11:26 +0000

Power plants are often described in terms of (max) power output, i.e., contribution to the grid. So, I can see how it might confuse a writer to then also talk about storage inadvertently.

But also, the second paragraph already describes the 100 MWh vs MW nuance.

New comment by thekoma in "Hypothesis: Property-Based Testing for Python"

thekoma — Wed, 05 Nov 2025 09:13:00 +0000

Indeed. For a sorting algorithm it would be more insightful to show it test the actual property of something that is sorted: every consecutive element is larger than the previous one (or the other way around). You don’t need a sorting function to test the “sorted” property.

New comment by thekoma in "Comparing the power consumption of a 30 year old refrigerator to a new one"

thekoma — Mon, 20 Oct 2025 07:21:02 +0000

Can you elaborate a bit further on what you’d need to do and why? It’s been a while since my electrical courses.

I’ve been trying to measure home power consumption with these plugs (and the ones from IKEA) but I’ve been getting suspicious readings for inductive loads.

New comment by thekoma in "Implementing a Kalman Filter in Postgres"

thekoma — Tue, 30 Sep 2025 13:48:32 +0000

Yeah. Using the Kalman filter just to determine the position from noisy position measurements really undercuts the capability of the filter to use system physics to estimate the true state.

In one of the most common applications of Kalman filters, autonomous robots (e.g., a robot vacuum or a commercial drone), the filters are around 9 to 12 dimensions.

New comment by thekoma in "Gold hits all time high"

thekoma — Mon, 29 Sep 2025 19:58:30 +0000

The number you are seeing is the (USD) price you would pay for one ounce of gold right now. (Not taking spread into account.)

New comment by thekoma in "Browser Fingerprint Detector"

thekoma — Mon, 08 Sep 2025 23:29:05 +0000

I figured it out! I disabled scripts so the code of the website never ran. Now am not highly unique! (Neither am I “not highly unique” though.)

New comment by thekoma in "Uncertain"

thekoma — Fri, 29 Aug 2025 10:56:12 +0000

We designed a processor microarchitecture [1] at the University of Cambridge, inspired by Uncertain (James Bornholt) and related work. In addition to assuming parametric distributions (e.g., Gaussian, Rayleigh), it lets you load arbitrary sets of samples into registers/memory so program values are carried and propagated as nonparametric distributions through ordinary arithmetic.

A spin-off, Signaloid, is taking this technology to market. I'm also researching using this in state estimation (e.g., particle filters).

[1]: https://dl.acm.org/doi/10.1145/3466752.3480131

New comment by thekoma in "A short statistical reasoning test"

thekoma — Mon, 18 Aug 2025 09:41:33 +0000

Out of context, the expression "the uncertainty in the number of trials" would refer to missing knowledge in terms of how many trials actually ran.

In the context of the post this doesn't make sense, so the reader is left to hypothesize what the writer actually meant.

New comment by thekoma in "An interactive guide to sensor fusion with quaternions"

thekoma — Sat, 16 Aug 2025 01:08:50 +0000

That’s nice. I’m interested in why you went for a complementary filter specifically, if it was enough for your purpose or just the first one you tried out. (I see you reference the ahrs package where there are also implementations for other attitude estimators.)

New comment by thekoma in "GPU-rich labs have won: What's left for the rest of us is distillation"

thekoma — Fri, 08 Aug 2025 20:34:49 +0000

Even in that scenario, what would stop the likes of OpenAI to instead throw 50M+ a day to the new way of doing things and still outcompete smaller fry?

New comment by thekoma in "Writing is thinking"

thekoma — Thu, 24 Jul 2025 17:38:01 +0000

https://www.media.mit.edu/projects/your-brain-on-chatgpt/ove...

New comment by thekoma in "EU ruling: tracking-based advertising [...] across Europe has no legal basis"

thekoma — Thu, 15 May 2025 10:14:34 +0000

I don’t understand where this is coming from. Isn’t Meta offering to EU users exactly the choice you are describing? (Even though in the case of the subscription we can’t really be sure they also don’t still use your data.)

New comment by thekoma in "Starcloud"

thekoma — Tue, 13 May 2025 21:27:59 +0000

How does “passive cooling” work in space?

New comment by thekoma in "No code is dead. Long live vibe coding"

thekoma — Fri, 11 Apr 2025 13:34:21 +0000

I initially confusingly read it as equivalent to "all code is alive". Perhaps title should be "No-code is dead".