HNHacker News
TopNewBestAskShowJobs

diziet_sma

64 karma · joined March 28, 2023

submissionscomments
diziet_sma··on Oxide Computer raises $445M (SEC Form D)
I couldn't find any evidence Jane Street is a customer, only that Jane street is an investor. Do you have a source for that?
diziet_sma··on Show HN: Typol – Static typing layer for Polars
Very cool! I would imagine this helps LLMs catch errors while refactoring code.

How hard is it to migrate existing pandas/Polars code to Typol?

Most importantly, how did you come up with the name?

diziet_sma··on Google will pay SpaceX $920M per month for compute
That wikipedia page mentions SpaceX reached a deal to lease all of Colossus 1 to Anthropic: https://en.wikipedia.org/wiki/Colossus_(supercomputer)#cite_...

So will SpaceX lease Colossus 2 to Google? If both Colossus datacenters are rented, will xAI have any compute?

diziet_sma··on Python 3.15's JIT is now back on track
> Python essentially bet on UTF-32 (with space-saving optimisations)

How so? Python3 strings are unicode and all the encoding/decoding functions default to utf-8. In practice this means all the python I write is utf-8 compatible unicode and I don't ever have to think about it.

diziet_sma··on Are we stuck with the same Desktop UX forever? [video]
Universal search on Google Pixels has solved a lot of the text selection problems on Android for me, with the exception being selecting text which requires scrolling.
diziet_sma··on Waymo has received our pilot permit allowing for commercial operations at SFO
I think self-driving is what makes Waymo premium. A Waymo is a better experience because the Waymo is safer and smoother driver than any human could ever be.
diziet_sma··on HRT's Python fork: Leveraging PEP 690 for faster imports
I took the parent post to mean that a few large firms have emerged as clear winners of the speed game, and most other companies compete on (relatively) longer time scales now.
diziet_sma··on My Ideal Array Language
It's not the same thing as multidimensional arrays though. You can have multidimensional arrays without rank polymorphism. Rank polymorphism makes working with multidimensional arrays much easier because you can write one function which works over input arrays with different shapes.
diziet_sma··on The anti-abundance critique on housing is wrong
Yes we do. The OP's point is that _if_ there is collusion, building housing will help solve the collusion problem _and_ solve the housing shortage.

Spending effort on theoretical collusion which may or may not be happening is a diversion from the real problem, which is lack of housing supply.

diziet_sma··on Many lung cancers are now in nonsmokers
Or perhaps cooking? Cooking can really spike AQI if ventilation is suboptimal.

Another potential explanation is cleaning products.

I think these are both far more likely than perfume, as there is a much stronger link between AQI and lung cancer than perfume and lung cancer (if there is any at all).

diziet_sma··on The first year of free-threaded Python
There have been many attempts to make a Python JIT that is compatible with CPython to various levels of success. However the larger reason is that the gains from removing the GIL far exceeds the gains from a JIT.

If you're writing performance sensitive python code, the "hot" code is likely already in a C-extension, such as Numpy. So there is negligible benefit to running the code with a JIT.

diziet_sma··on Show HN: Nix Ninja – open-source Ninja-compatible build system for Nix
How long do we expect it to take dynamic derivations to get stabilized?

The GitHub RFC says it's only 80% complete

diziet_sma··on fd: A simple, fast and user-friendly alternative to 'find'

  fd --help | rg link -C 10
Set -L --follow to descend into symlinked directories. The default is to not.
diziet_sma··on IO Devices and Latency
These aren't financial exchanges, they're a sports betting and an expense management system.

I share OPs skepticism. Market makers invest in microwave towers, FPGAs, etc. I would be surprised if sqlite backed by NVME is on the other end of all that specialized hardware.

Order matching is a single threaded thing though. I would be curious if anyone knows how electronic trading systems are actually implemented.

diziet_sma··on Jevons paradox
.... I mean in the case of more efficient cars supply of oil explicitly did not change.

There are meaningful differences in terms of pricing strategies, anticipating demand, etc.

diziet_sma··on Jevons paradox
Yes, but for subtly different reasons. In the case of induced demand, the supply curve shifts to the right (eg number of highway lanes increases) so we move to the right on demand curve (or quantity increases, eg more people drive). On the Jevon's paradox case, efficiency increases (eg fuel efficiency increases), so the _demand_ curve shifts (eg more people people drive).
diziet_sma··on TikTok preparing for U.S. shut-off on Sunday
That isn't even a remotely realistic propaganda threat, while tick tock arguably is.
diziet_sma··on AI founders will learn the bitter lesson
> We’ve seen this pattern in speech recognition, computer chess, and computer vision.

I think the bitter lesson is true for AI researchers, but OP overstates it's relevance to actual products. For example the best chess engines are very much still very much specific to chess. They incorporate more neural networks now, but they are still quite specific.

diziet_sma··on Intel's Death and Potential Revival
Intel products have been losing x86 to AMD in servers, desktop, and laptops. x86 itself is losing market share to ARM in the server and laptop space. Intel has no foothold in the fastest growing chip space (GPUs).

Intel foundry has fallen behind TSMC to the point the latest Intel laptop chip (Lunar Lake) was manufactured using TSMC. Recent attempts to attract external client s to fab using Intel Foundry have not met expectations.

Given all this, I think quite a lot of hand-wringing is warranted.

diziet_sma··on Inside Annapurna Interactive's Mass Walkout
If I didn't know the original quote I would have thought the same. It would be clearer to use L̶A̶R̶R̶Y̶ Megan Ellison
diziet_sma··on What if public housing were for everyone?
A significant amount of zoning is about what type of housing you can build where, how much of it you can build, and how you have to build it.

For example, in Berkeley California, which was one of the first cities to implement "exclusionary zoning" has roughly the following zoning restrictions:

* R-1: One home per lot or estate, only. Bans apartments in 49% of the city.

* R-1A: One home per lot or estate, unless the parcel exceeds 2,400 SF which allows for an additional home.

* R-2: Two homes on one parcel, only.

* R-2A: One home per every 1,650 square feet on a parcel. A typical residential parcel in Berkeley is about 5,300 square ft thus commonly three homes maximum.

[source](https://darrellowens.substack.com/p/berkeleys-upzoning-would...)

diziet_sma··on Memory leak proof every C program
This does help, but the hard part of memory leaks is leaks across module/api boundaries. You can write a memory safe module, I can write a memory safe program, but when my program starts calling your program there's nothing validating I'm maintaining the invariants required to avoid memory leaks.

Hopefully the invariants are documented, but relying on documentation to help programmers avoid memory leaks is far from foolproof.

diziet_sma··on Ask HN: Why do people use password managers?
A similar thing happened to me, but one day my keepass file was corrupted instead of 0 bytes. Quickly switched to 1Password after that.
diziet_sma··on Disc Brakes Took over the Cycling World. Here's Why That Was a Mistake
> Nobody Asked For Them

After riding a mountain bike with disk brakes, I couldn't wait to get a road bike with disk brakes.

> Then Why Did We Get Them?

Because they're better. Full stop. I can stop faster with less effort.

> Rim Brakes Are Better For Most Riders Most Of The Time

I don't need any brakes at all most of the time either, but when I need them I really need them.