Viewing profile — IshKebab

Can we add "some ancient Via CPUs" to the title. Current title is pure click bait.

At least with Windows it's always clear what to do. Mac can dump you in a finder window with two icons. Very unclear. You may have forgotten how unclear this can be for the first t…

Yeah I remember the first time I had to figure this out. Absolutely incomprehensible, depending on the app you get. A lot of open source apps don't bother with a custom background …

Yeah I had to stop reading after the author thought he could draw some deep insight from the fact that someone with a boring finance job had a hobby...

This time it has the potential to be different because it might basically obsolete all white collar jobs, which is waaaay more jobs than even the industrial revolution, and in a mu…

Using MMIO is cheating and makes the results very boring. It would be much more interesting to know the results if you're only allowed to use main memory.

Doubtful. The UK is practically at this point with generous benefits and a very progressive tax curve (you don't pay any tax on the first £12.5k of earnings). It seems like all it …

Ok I should have said people have only started constantly complaining in the past year or so. Of course there was the odd complaint in the past, but now I see a thread about it at …

I agree, but also in fairness it has taken this whole mess for Google to finally get off its arse and add proper age gating to Android (the Play Age Signals API).

No, it makes sense if whatever model you're creating a chip out of will not be irrelevant in 5 years even if it is much much faster & cheaper . There are probably limited applicati…

That sounds like a fun challenge. Feels a lot more tractable than the neural net one.

I don't think so. GitHub was bought by Microsoft 8 years ago and people have only started complaining about its uptime in the last year or so - exactly correlating with the surge i…

I once saw a sign at a railway station in the UK that actually did say "normal service will be operating between the 12th of July and 18th of August" (or something like that). Made…

I think he's asked it to write in his specific style, or possibly he has edited parts of it to his style, or maybe used AI to generate the initial draft. Something like that anyway…

At least it isn't dark purple.

I didn't know who this is but it seems to be some guy who writes about bitcoin and dark web markets and was sort of trying to stay anonymous but put a doxxing bounty on himself (of…

Power poses, imposter syndrome, Stanford prison experiment, marshmallow test... It seems like the overlap between "real psychological effect" and "subtle enough that it requires re…

Damn if only this article actually explained why you see this effect from random data. Unfortunately it doesn't seem like they understand the maths enough to know. Does anyone fanc…

> But it doesn’t lead to confusion when doing mathematics in a theorem prover. This is demonstrably untrue. In any case that post is pretty unpersuasive. Basically saying it's too …

Is it too much to ask for non-slop blog posts these days? It's awful.

F* seems to be a collection of like five different languages and proof systems. Honestly I never figured it out. Does it get basic stuff like subtraction and u8 right, unlike Lean?…

It doesn't matter that much. Probably 10x slower than C++/Rust is fine. 100x is a bit much though.

Not all books are sacrosanct. There doesn't seem to be any evidence that they are destroying rare and valuable books.

It doesn't look like it has found a set of serious flaws to me. Just nitpicking.

If you increase the date range to 12 months you can see that ChromeOS is several times larger than Linux but recently there must have been an update so ChromeOS is now incorrectly …