HNHacker News
TopNewBestAskShowJobs

IsTom

1,694 karma · joined March 27, 2012

submissionscomments
IsTom··on Dwarf Fortress is getting the mother of all magic updates
I still remember getting support mail every time Apple released an OS update. For a week or two there'd be reports of things crashing randomly with stacktraces that didn't seem to make much sense.

One of reasons why I stopped trying to make mac/ios apps.

IsTom··on Lion-man
If 30-40k timelines are right that's way before agriculture and any kind of "economy". It's firmly hunter-gatherers and there's not much of that to do when it's after sunset.
IsTom··on Lion-man
I can imagine them not having a lot to do during winter nights, besides sitting by the fire. That's a lot of time for carving.
IsTom··on ravynOS: Pre-alpha open-source OS based on Darwin, FreeBSD, Apple open-source
I think the core of this is google vs oracle case. I think they'll be in the clear unless they hit some specific (design?) patents.
IsTom··on Omarchy: Any User Process Can Escalate to Root
I've used docker until recently just because it was what I was used to. It turned out I can basically just `apt install podman` and it'll just work. I might have stayed a bit behind the times with having podman slotted as a redhat thing.
IsTom··on Bug Blindness
I wish it was just users. I once had to explain to a PM on client's side for 10 minutes that no, the software can't split $1.00 into three exactly equal invoices and we need to put that remaining $0.01 somewhere. In the end it seemed like he's given up without understanding the nature of the problem and escalated to have someone higher up to tell us to add it to the last invoice.
IsTom··on Samsung's Processing-in-Memory (PIM)
With the size of these matrices I don't think they are even meaningfully colocated with themselves in memory. You'll end up with some dataflow TPU architecture anyway because you'll have to stream the second matrix to multiply against.
IsTom··on Time complexity of operations on Python's built-in types
What are you talking about? There's a lot of expressions like O(n + k), O(n * k) or O(n * log k) in typical algorithm books (CLRS certainly has them). There's nothing special about O(n - k).
IsTom··on Time complexity of operations on Python's built-in types
It has two parameters and depending on their relation it will act differently, it's reasonable to include this information. It is worst case O(1) when n and k don't differ much.
IsTom··on Time complexity of operations on Python's built-in types
If k = n - constant it comes out to O(1).
IsTom··on I accidentally turned LLM memory into program analysis
With validity intervals mentioned it'll also be nice to have LTL's "next" and "until" too.
IsTom··on My Business Is Dying
Or leaving shitty code for others to fix later, like a lot of contractors do.
IsTom··on Black hole singularity is a surface not a point
Yeah, wouldn't this cause trouble with Pauli exclusion principle?
IsTom··on How Europe is killing makers and micro-entrepreneurs
Typically, the next point has the same typically with clarification that it's about micro-enterprises.
IsTom··on How Europe is killing makers and micro-entrepreneurs
In the following

> If Company A manufactures cardboard boxes under the name or trademark of Company B, then Company B will typically become the manufacturer and producer of the boxes in that Member State. However, if Company B is a micro-enterprise, then Company A is manufacturer and the producer in the Member State.

That has the same "typically", so I'd assume it has the same micro-enterprise exemption. Otherwise only branded boxes would be exempt and that'd be pretty weird.

IsTom··on How Europe is killing makers and micro-entrepreneurs
Having looked into FAQ[1] it seems that it's mostly the case if you sell in branded packaging and are >10 people or >2M eur revenue.

[1]https://op.europa.eu/en/publication-detail/-/publication/ad1...

IsTom··on How Europe is killing makers and micro-entrepreneurs
I've seen some conflicting claims on this law and to me it sounded like it affects mostly producers of packaging, but everyone else seems to be complaining about it too. Did everyone actually read the law or is this a game of telephone?
IsTom··on SeL4 security proofs now complete on AArch64
There's another can of worms that are rowhammer-esque attacks.
IsTom··on If this is true, the hyperscalers are toast
Yes, but that's not a 10T business.
IsTom··on Apple announces changes for apps in the European Union
I wonder if there's any statement on this from the Commission?
IsTom··on How to disable or avoid intrusive AI
For single queries adding `-fuck` works.
IsTom··on People are worried about America's solvency
It's already ~20% of US government revenue. Every percentage point more of yield on bonds is going to be tough.
IsTom··on Self hosted email continues to steeply decline
> what would happen if I were to lose the domain name or server

On the other side of the coin, what would happen if google bans you? That's certainly not unheard of.

IsTom··on Beware the Permanent Periphery
Well, M2 supply and enshittification aren't slowing down.
IsTom··on The Case Against Formal Verification, 50 Years Later
Well, to prevent bugs in this layer, I guess? To not have things out-of-date or clickable when they shouldn't be or not have layout suddenly becoming garbled.
IsTom··on Applying a photosynthetic process to treat “dry eye”
Probably a different problem, but I used to have trouble with this until I noticed that staring at things (particularly computer screen, road when driving) greatly reduces my blinking leading to dry eyes. Now I try to remember to blink from time to time and either force tears out or use drops to keep them moist.
IsTom··on The Case Against Formal Verification, 50 Years Later
Using JSON as input and output of a REPL is certainly a choice.
IsTom··on The Case Against Formal Verification, 50 Years Later
I wish DX was better for people not using VS. I have my opinions about tools and when trying lean out I got the impression that you basically have to use it. They also seemingly lack a REPL.

I also got the impression that they like sticking everything into Mathlib and not splitting off smaller packages that you could use as dependencies (besides Batteries).

IsTom··on The Case Against Formal Verification, 50 Years Later
Anything with a GUI seems really daunting to specify. And then later you need to update specs to match GUI if you make any changes and you need to decide which is wrong: the implementation of the specification.
IsTom··on To save C, we must save ABI (2022)
I imagine most of these examples (besides strings) isn't something you learn in the beginning and when e.g. doing operations on linked lists you're pointing to either allocated structs or null.
← PreviousPage 4 of 28Next →