hedgehog

3,895 karmajoined 18 lat temu

Deep learning, security. I like puzzles.

hn at fastfin dot net

comments

2 godziny temudiscuss

I don't have the experience, how high are Haskell compile times such that a switch like this is worth it? I have some experience with generated Python, Rust, and TypeScript, and I have not found that compile time is enough of a concern that it would offset additional safety of a stronger type system. Like some of the siblings I'm now starting to do experiments with Lean and other tools to get even stronger assurance about system behavior.

7 godzin temudiscuss

What gets more?

7 godzin temudiscuss

Any article with headings "Eye invasion" and "Lumbar puncture" is bound to be a good time.

9 godzin temudiscuss

It may have gotten a nibble but empirically I still have a finger :)

11 godzin temudiscuss

I wanted to see some pictures, this paper has good ones:

https://onlinelibrary.wiley.com/doi/full/10.1002/ece3.10332

If you put your finger in front of a garden slug it may try to eat it, it's a very odd sand-paper sensation but I never knew why.

wczorajdiscuss

To start the transition you can build your own tooling, in this case maybe start with the whole app stack including browser in an emulator, emulator controlled over a socket (write a harness that exposes all the inner debuggers, framebuffer, snapshotting, etc). Then generate a component inventory and likely failures for each, and generate pixel-perfection + internal state checks for each. Then migrate one component out (this may be quite a large project due to all the glue you'll need to make this possible). Then do the rest one at a time.

The big problem with doing it this way is you end up with something structurally the same as what you started with, but potentially more code if you e.g. end up carrying your own reimplementation of Web Forms.

wczorajdiscuss

Looks like now it shows up but it's not available to try on a free plan.

przedwczorajdiscuss

Heads up to anyone else curious, I installed the Devin CLI and SWE-1.7 is not currently available there.

4 dni temudiscuss

The "magic here somewhere" in the car is in the design that reference aspects of animal anatomy (facial features, stance) and in the millions of dollars of advertising that prime the public with expectations about how they'll feel driving it, or how to see other people in the car. There's a direct connection there to packaging LLMs as chatbots, it gives them a recognizable shape and behavior that a lot of people interpret as consciousness and personality.

6 dni temudiscuss

They were (maybe still are?) around 20% of sq feet overall and a lot of that was leases in buildings far from SLU with no obvious Amazon branding.

6 dni temudiscuss

I'll add a few bits. Commercial leases are typically "triple net" so taxes are passed pretty much directly through to tenants and land lords don't need to worry too much about them. A very visible part of the "dead downtown" effect is due to small businesses that have terrible margins, high fixed costs (including rent), and don't survive losing 20% of their customer base. And finally, anyone paying attention saw that Seattle core downtown is a highly concentrated bet on office rental to the exclusion of almost any other use of space or reason to go there.

A few years back I did an art installation in one of the storefronts at the 2+U building and in the process got to study up on some of the issues and talk to a few people, the general theme was that everyone had a vested interest in focusing on possible causes that were external and fixable within a short time. I don't think that's reality.

11 dni temudiscuss

It would be really interesting to see how the Qwen 3.6 35B model compares to the 27B on your benchmark.

11 dni temudiscuss

They had the benefit of hindsight and bigger hardware, but UNIX got too popular and now we're struggling to move past it. It would have been interesting to see what the fourth try would be like (though looking at Go I would probably not completely like it).

11 dni temudiscuss

This resembles Plan9 more than UNIX. I wouldn't put UNIX up on a pedestal.

20 dni temudiscuss

How modern is modern, and who's implemented it? In recent memory (last decade or so) I've had to work around the GC by doing exactly what you describe with arrays as well as off-heap storage to avoid memory footprint and pause issues across Java, Go, and Javascript. Writing something like say Objective C (with its refcounting, autorelease pools, etc) seemed pretty productive, had predictable behavior, etc. I follow GC development a bit, and often cite some of the stuff Gil Tene has written as an example of clear technical writing and thinking, but I'm not convinced GC is that universally good. Rust's approach has a high ergonomics cost but the Swift people seem to get by.

20 dni temudiscuss

I'm not sure why the editorializing in the title but here's the actual abstract:

> From early 2021 to early 2024, the U.S. experienced an unprecedented boom in unauthorized immigration, followed by a rapid slowdown beginning in mid-2024. We provide the first systematic empirical assessment of the labor- and housing-market effects of this episode. Using newly available administrative microdata on individual immigrants, we construct measures of net unauthorized immigration at the national and local levels and exploit plausibly exogenous variation across local markets. We find that unauthorized immigrant worker flows (UIWF) increased local employment approximately one-for-one, without significant declines in local wages. These inflows also raised local house prices and rents without expanding housing supply, consistent with a housing demand shock in the face of short-run inelastic supply. Lastly, we find that UIWF reduced labor income per capita, consistent with downward wage composition of the local workforce, and strongly reduced government transfers. These findings should help inform policy debates surrounding how unauthorized immigrant labor supply impacts local labor and housing markets as well as public finances.

Basically what the paper says is at a city-by-city level unauthorized immigrants increase housing prices in to a similar degree to authorized immigrants (about 1% pop increase -> 2% housing price increase), are roughly 100% employed (increase local employment 1:1), and use government services at a lower rate than the base population (about 1% pop increase -> overall 5% decrease in spending). Then a lot of discussion about methodology and related work. I'm a little skeptical of some of the assumptions, they (and apparently the citations) don't appear to account for the fact that in all cases people are more likely to move to places with jobs (economic activity driving labor demand), housing supply is generally pretty inelastic on the scale of a couple years, and so even if nobody moved to the city it's possible wages (and housing prices) would go up anyway.

20 dni temudiscuss

I sometimes wonder if full GC is really worth it. For a lot of applications some compile time analysis + refcounting is close enough, and for some others arenas (per frame rendered, per request served, etc) are as fast as a GC to allocate and faster than malloc to free. Could we make the rest a compile error and save most people most of the time a lot of pain?

20 dni temudiscuss

Something compiled to WASM still gives a fair amount of control over memory layout, something that AFAIK is not possible in JS without building effectively a new embedded language on top of an array (Emscripten being an existence proof that you can do more or less anything that way).

One place where an interpreter + JIT language could be interesting is if it were sufficiently safe to allow user code into the query execution engine, such that the JIT could optimize it all together.

21 dni temudiscuss

I'm not really sure about that exactly, and the stream-of-Claude text doesn't lend a lot of confidence in the results, but running this with the command line driver wrapped in a scipy.optimize script seems like a faster and cleaner route to an accurate result.

23 dni temudiscuss

I didn't look at the financials but the subscription product is heavily discounted relative to the API pricing and that difference could well be booked as a marketing expense. They also have a string of grant and similar initiatives (like $50M each) that could be marketing. There's a lot of stuff they could assign at least partially to marketing, and it sounds like they spend money pretty freely.