skysight-inc/HackerNews huggingface dataset:
> But it does also describe a lot of implicit invariants. The LoginUser you've defined has the implicit invariant that a LoginUser only has 3 fields. It is very possible for someone to write a function that relies on a LoginUser only ever having 3 fields, which then breaks if you ever extended LoginUse

Rust does actually have a good way of dealing with this specific invariant. If you mark a struct with the `non_exhaustive` attribute[0], trying to construct it with a literal will fail outside of the package that defines it (even if all fields are marked as public), and trying to pattern match it outside the package that defines it is required to use the operator to ignore any missing fields.

Not trying to say that it's possible to encode every possible invariant in Rust, but I do find it useful to leverage all of the tools available, and I've found this one super useful (on both structs and enums) despite not being super well known from what I can tell.

[0]: https://doc.rust-lang.org/reference/attributes/type_system.h...
It’s a weird read.

On one hand the judge admits the company was teetering on insolvency, and one of the most shorted stocks, then turns around and says generating $600B in company value was “not ambitious or hard to achieve”.

She also questions whether Elon was really necessary to the performance of the company.
Just ditched my HP for a Brother a couple months back, after having continual issues with individual colors running out and eventually it refused to recognize a single color cartridge slot, I never used color anyway. So went to a Brother monochrome. Been smooth since.
As a personal successful experiment: NixOS/Xfce o Gnome Shell (require a bit of extra work due to not really smart basic design and extensions fragility), basically the system read-only, home on zfs with snapshots ensure enough local data safety against accidental deletion/bad change. Keeping it up to date is just only updating the config when needed and rebuild.

No commercial software so far offer anything as stable, no classic distro/OS can offer something as stable.

About phones: a Motorola GSM desktop phone for some, a Punkt for those who accept&like a mobile device that's apt for seniors while not crappy as most "for seniors" crap.
I actually read the whole essay like this without a problem, and I have never tried to read like this before. It was interesting; thanks for sharing.
And sometimes analogies lead you astray like in this case of comparing the age of some tech to biological age or random code (which btw also breaks plenty of the web) and styling
Paper is a carbon sink. As long as you don't burn them, the carbon will stay in the book.
Thing is, I'm really a big public transit fan. I see time and time again that the US just doesn't get how to build a public transit system that the middle class wants to use, and would prefer to use when they already have a car.

In countries where it works, it's a non-issue to get to/from the train station on both sides, and the train stations have ample good food options (real food; not a Dunkin Donuts), clean restrooms, direct connections to subways without having to even exit the building. It's an all-around pleasant experience.

I suppose, if they can go to market on 125mph, fine, but I'm rather pessimistic that anyone who lives in LV or LA (especially) would use it considering the sad state of public transit in both cities.

To be honest, faster rail between Boston - NYC - Washington (on the order of 1.5 hours between Boston-NYC and 1.5 hours between NYC-Washington, which is doable at Shinkansen/CRH speeds) would be a better market in my opinion until the west coast can get their shit together with public transit (if ever). There's plenty of business need on the east coast for faster trains, the space for the rails is already carved out by Amtrak's stupidly-slow Acela Express, and all 3 cities have excellent public transit, good enough that a significant chunk of the population of all 3 actually lives car-free.
You will pay more starting next year, depending on whether or not the Commission decide to go forward with the fixed rates which I think is about to happen in July, if I recall From last I checked I would pay about $45 extra a month, but I'm far from wealthy, it's just that the way they are doing the income-based breakdown does not factor in how expensive the area you live in is (Bay Area being quite expensive unless you want to risk living in dangerous areas). Additionally, I don't think this means more reliable power. I have already been through a 24 hour outage last year (and multiple shorter ones every year).

This can be downplayed all day long but it seems obvious to me that CA has a combination of high taxes and poor infrastructure that is incompetently patched with bad policies and all together put a lot of strain on the middle class. If it's not corruption at some level, it has to be greatly incompetent people in power, or a combination of both.
Lua has much nicer syntax and much higher abstractions than forth, and is similar tiny
I actually just bought a new black iPhone so this burns :)
Udev-hid-bpf: quickstart tooling to fix your HID devices with eBPF
An extra indirection (indirect call versus direct call) is practically nothing on modern hardware. Branch predictors are insanely good, and this isn't something you generally have to worry about.

Inlining is by far the most impactful optimization here, because it can eliminate the call altogether, and thus specialize the called function to the callsite, lifting constants, hoisting loop variables, etc.
DaisyUI is a blessing when working on qwik projects, since there is an emphasis on eliminating hydration.

It would seem that all other libraries want js for something as simple as a drop-down.
I guess you could try the russian approach to fertility: make music videos encouraging the populace to get knocked up. https://www.youtube.com/watch?v=HuSf1UcFRq0
The inference engine between your ears should be able to answer that.
That's highly unlikely. High speed rail doesn't work like old school rail used to - you have full electric trainsets where all the cars are tightly coupled together (often even sharing bogies) so coupling/decoupling is only possible in a maintenance yard. Also, depending on the model, often all or at least many of the cars are also powered and provide distributed traction.

Having branded luxury cars would be he fairly easy and could easily be a hit; private cars are unlikely to be feasible with your regular high speed electric multiple units.
The thin line between research and gaslighting
once libraries exist, they want to perpetuate their existence (or jobs, at least) so they chase the popular in search of more library "views" which justifies their existence. I'm not anti library, but this is why they do stuff like lend out power tools.
A lot of it overlaps with Ya Ain't Gonna Need It and avoiding strong coupling, but I think the framing makes it easier to stay on target: A developer is less-likely to end up going: "Hey guys, I created a decoupling framework so we can swap anything for anything whenever we want!"

If you design thinking "X years from now business-requirements or staff will have changed enough that this will need to be ripped out and rewritten, and I am not good enough at predicting the future to solve it cleverly", then it sets up a different expectation of how you invest your time.

One might focus on code where it's easy to trace dependencies, even if that means a bit more boilerplate and avoiding layers of indirection that aren't (yet/ever) needed. "Greppability" of code also becomes important, especially if your language/tools aren't very good at tracing usages and caller/callee relationships.
> Show HN is for sharing your personal work and has special rules.

https://news.ycombinator.com/showhn.html
boring boring boring

no different to all the previous phones

Its got a camera, a screen and apps! SO WHAT!

Over identification with a product.

Identification is a psychological process whereby the individual assimilates an aspect, property, or attribute of the other (PHONE) and is transformed wholly or partially by the model that other (PHONE) provides.

Any of you heard of autonomy????????????????
i was interested in signal processing with group theory it was quite interesting to see how matrix multiplication corresponds to modulo over finite group.(I am not a math major).
Not yet, there is a monumental amount to learn before I can make anything cool :(
If I get something cool working, maybe i'll start a blog
Because geopolitics is a game where ALL the players are sociopaths and Saudi Arabia is basically too small for their government's admitted craziness to even register.
>And yet, they exist. That's the point. These sorts of groups all exist in one fashion or another.

No one has denied they exist, this is a classic motte-and-bailey fallacy.

>You quibble about the amount of funding involved, but ultimately they all exist within the same framework of interest groups for those who ascribe to certain identities.

"All animals are equal, but some animals are more equal than others."

>That is a phenomenon that precedes any such "culture war" observed by a narrow time perspective. It is something that predates de Tocqueville.

I don't disagree (Published
17 August 1945)[0]...

[0] https://en.m.wikipedia.org/wiki/Animal_Farm
I love the design of this page! This is how most text int the internet should be presented.

They even have a section in the site about its design: https://gwern.net/doc/design/index

Edit, ok, I'm going in a rabbit hole. I just found their demo page with a display of all the future they support in their pages.

How cool is this inline inflation adjuster? https://gwern.net/lorem#inflation-adjusters
Plenty of European governments have intelligence-sharing agreements with the US, so I'm not sure what your point is here.
Ask HN: What are good book/resources to learn sales?
Hi Pavlo, nice to see you here and thanks for the presentation at Maxon :)
> Pretty much everyone I know in Los Angeles flies to Las Vegas

Huh what? Almost everyone I know in LA drives to Las Vegas just to avoid having to deal with airports. And when you arrive in Las Vegas you already have your favorite car filled with your favorite snacks.
The people who care are the people who upvoted it so it'd make the top 20.

I think usually when someone spots a conflict like this, it's an inconsistency in their idea of the community rather than in the community.
I started using computers in the 90s, my parents about 5 years later than me. I built a computer for my dad, at the time it ran Windows 2000, and I was already looking at Linux.

I couldn't switch my dad to Linux because his favourite game (DX-Ball) didn't run and he didn't like lbreakout2 or the other alternative, so I made a DX-Ball clone, when that was done, I switched his PC to Linux.

Having Linux on my parents computers made my life so much easier, I have automated backup running when they log in, the desktop only have relevant icons and they don't know their passwords so they can't sudo or do anything by mistake.

If a file is deleted by accident, there's 2 months of zfs snapshots to go through (I do that if they ask).

Phone, well, my mom has an android phone, no credit card attached, and I keep her google account password for her so she's not able to do anything too bad by accident.
I guess they mean Javascript framework agnostic. We use kotlin-js with Tailwind for our frontend. Actually works really nicely. So, this might be interesting for us.
100%. People need to stop trying to defend corporations. They do not care about you and will happily wring you out for every ounce you're worth and throw you in the trash. It does not matter what the particulars are of this particular story are or what the person's level is. Everyone knows the absolute insidious PIP and constant firing culture of Amazon. Defend your fellow workers. These stories shouldn't be a dime a dozen. Especially for a singular company.
As far as I know the only practical downside with UUIDs in the modern age - unless you like using keys for ordering by creation time, or you have such enormous volumes that storage is a consideration - is that they are cumbersome for humans to read and compare, e.g scanning log files.

And in any case the German tank problem means that you often can't use incrementing numbers as surrogate keys if they are ever exposed to the public e.g in urls.
> there saw a title and went "this one is by Simon & Schuster, it has to be good"

Meet Fitzcarraldo, the publisher house with four Nobels so far: https://www.theguardian.com/books/2022/oct/10/four-nobels-an...
Weights are coming tomorrow.
My favourite, the ANDROMEDA STRAIN .. the idea that the US government would experiment with weaponizing upper-atmosphere organisms is just too real ..

https://en.wikipedia.org/wiki/The_Andromeda_Strain
Hi, jorisboris

Nice try!

> It's not very useful but I had some fun trying to read it. It starts topright.

That's not true.

It may not have been helpful, but I hope you got some insight into vertical reading.
Here is the comment that said different?

https://news.ycombinator.com/item?id=40069509
Guess it depends if you drive to work next to one or sit in a suburb suv trafficking c jam preaching
> If your analysis was correct, do you really think it'd be worth nearly 10x what it was 10 years ago?

It’s 100% consistent with the ad platform being really good. Facebook was the best way to advertise well into 2020.
My personal opinion is that Remote work works because it is remote. Trying to mimic physical office settings, engagements, sync, etc., with the Remote paradigm is not the right way of doing it.

I believe it is more about processes, patterns, and expectations that will make remote working work. Tools should fit in these processes, not the other way around—fitting the processes/culture around the tools.
That's because they are building it to Rancho Cucamonga not downtown LA.
Rather than feeling for the publishing industry, you should ask yourself what has gone wrong with the web as a medium for self-publishing.
Sure sometimes there are deprecations and API changes. Assumptions must be revised accordingly.
Got to make me a rock made of physics to tie me down to the real.
I don't think it's fair to compare Netflix and Spotify to libraries; you pay for the first two.

I agree that it's artificial scarcity and it's hard to feel bad for the publishing companies
We used to have those in Germany, but most stores abandoned that approach in favor of registers weighing the produce. I think the only ones I know that still do it with customer scales are CITTI and Real.
But there are more books published than ever before.

Most of the books that sell hundreds of copies wouldn't have been published in the past. If you write a niche book about something and a few hundred people read it, that seems great. If you're (stochastically) subsidized by a few huge hits and bestsellers, that also seems great. People are reading the Bible, Harry Potter and celebrity memoirs? Great too, I'm sure they are enjoying them. Possibly many of those people have not chosen those books in preference to other more "worthy" books but in preference to other pastimes.

The only problem I can see is if you wrote a book and had it published hoping it would be this year's runaway success, and it wasn't. Fine, but someone's book was. By its nature not everyone can achieve this.
If I remember correctly about 80% of a modern FPGA's silicon is is used for connections. FPGA have their uses and very often a big part in them is the Field Programmability. If that is not required, there is no good reason another solution (ASIC, GPU, etc.) couldn't beat the FPGA in theory. Now, in practice there are some niches, where this is not absolutely true, but I agree with GP that I see challenges for deep learning.
Why do Brits pluralize "maths" but not "sport"?
Free public transport is free public housing
There are various chinese vendors offering android tablets with e-ink screens. The disadvantage being less guarantees of future updates and some vendors (Onyx, probably others) don't release their device kernels as required by the Linux GPL.
My father has completely destroyed two M1 iMac installs so far. YMMV.

He watches YT videos all day and is paranoid about everything. End game was he managed to install two different VPN packages on one install and managed to install a system cleaner on another and spend about £500 in total and end up with two non working systems and higher blood pressure.

I think at this point he needs an iPad in a rugged case with screen time turned on and all his credit cards taking away. Possibly locking his hands in a box somewhere where they can't curse anything as well.
This is ridiculous. Tailwind css is a utility "framework", which generates configured css classes to set 1-2 css attributes each.
The only reason it adds a build step is that it wants to tree-shake all unused classes to keep your bundle size as small as possible and let you configure which classes are available for generation.

Even the documentation makes it extremely clear which properties are set by which class (the default ones anyway).

As an actual example: how completely braindead do you have to be to not know which properties are set from looking at the official documentation? https://tailwindcss.com/docs/overscroll-behavior

Your comparison to an ORM would work for things like Bulma, bootstrap and pretty much all component libraries, including TailwindUI.
It's completely nonsensical for tailwindcss

You've either never actually looked into tailwind css and are purely talking out of your ass or are just repeating this opinion from someone that did such.

Disliking tailwind css is fine, and there are perfectly fine reasons to not use it. But your argument is just plain dumb.
I hope they can run a more frequent service, or at least alter the times to match up with the HSR, once service begins. It's currently only hourly after the morning, and doesn't run after 7pm.

https://metrolinktrains.com/schedules/?type=station&originId...
Yes electricity. Just like when you open up a ssd and inspect it under a microscope, its very hard to physically identify software stored on that disc. Same with human cells. Probably some electric layer containing programs of the human body.
Then google is stealing my time, by showing me ads - I am very happy to bill them at my going hourly rate.
There is Food-tracker and Waistline on F-droid. I don't like counting calories, so that is not a recommendation, as I haven't used them.
It would be the most expensive megabyte.
Very well done! Enjoyable and just short enough to do before work!
> It would link there with a commuter rail connection to downtown Los Angeles

So cut the commuter rail crap and just send the bullet trains to downtown Los Angeles?

Put another way, they've cut 4 hours of driving into 3 hours of train riding where you can't even get 3 hours of sleep and have to haul your luggage to another platform, likely up and down some stairs, 2 hours into it. And you still need to deal with transit once you arrive, so add another hour to get wherever you're actually going in LA (if you're lucky with the traffic). Time savings is zero.
I had to reload the page on Android FF, then I got past "Loading"
Roslyn didn't have much of changes in terms of optimizations - it compiles C# to IL so does very little of that, save for switches and certain new or otherwise features like collection literals. You are probably talking about RyuJIT, also called just JIT nowadays :D

(the distinction becomes important for targets serviced by Mono, so to outline the difference Mono is usually specified, while CoreCLR and RyuJIT may not be, it also doesn't help that JIT, that is, the IL to machine code compiler, also services NativeAOT, so it gets more annoying to be accurate in a conversation without saying the generic ".net compiler", some people refer to it as JIT/ILC)
Dont they have a patent on it?
I prefer my computations have unreported errors at the whim of explosions billions of light years away. Makes me feel connected to the universe.
Lo key disappointment that it is not maglev monorail cannon
How is this an unhealthy market?

Everyone can easily access the books they want. People choose to read the Bible and Harry Potter because that's what they want to read.

Of course, it might be a shame that we all coordinate on reading a few hits that everyone else is reading rather than check out some underappreciated books. But is the market really to blame for that? Amazon makes it easier than ever to find all the books. Publishers, as pointed out in the quote, are publishing tons of books that don't make it, in part because of a belief that it's a good thing to do. It's easier to self publish than ever before. And social media is often playing a big role in discovering the huge hits that everyone else is reading - many are not the books pushed by the marketing machine, but word-of-mouth successes that get discovered and shared by a huge group of dedicated, articulate readers.

If there were hardly any books selling 3-digit numbers, that to me would suggest an unhealthy market. The presence of lots and lots selling that many seems very positive.
We peaked with the west coast and east coast mainlines. HS1 was suffered in its ambitions thanks to low cost airlines (the infrastructure is underutilised today). HS2 got gutted. The Transpennine electrification is going at a snail's pace and isn't ambitious in the slightest.

The UK is finished with ambitious infrastructure (and house building), as we are a populous country of rich and influential NIMBYs with a party often in power that panders to them
All so that people can gamble.
I haven’t noticed this in my i4. There is a bit of a whine when you accelerate, but it doesn’t hang around at all. But I bought this car for the soundproofing, so maybe I’m just getting that. I’ve never tried driving a model 3 before.
When I tried Phi2 it was just bad. I don't know where you got this fantasy from that people accept obviously wrong answers, because of "pandering".
> they are cumbersome for humans to read and compare, e.g scanning log files.

I think the positive still outweighs the negative here: you can search your whole company's logs for a UUID and you won't get false positives like you would with serial integers.
Systolic arrays are essentially how matmul is implemented in tensor cores in GPUs and TPUs.
I just browse through a holiday brochure I got from the loacal travel agent and tick a few promising posibilities.

Have a quick chat with the Missus about which one she likes. She does wear the trousers after all.

check the bank account to make sure we have enough dough.

She books it and pays for it.

Job done.

Who needs ai when I have a pen and a brain.
Its not just the smell--its harassment, ranting, screaming, and even violence. Women especially don't feel safe. These are people with serious mental illness.
Did it shot up (relative to neighboring states, I assume, otherwise it's not very relevant) because more Oregonians started doing drugs or because drug addicts from nearby states moved in?
For those not intimately familiar with Mexican politics: Morena is a political party (according to Wikipedia, "left wing and anti-neoliberal"). The current president of Mexico is from them

Sheinbaum is the current governor of Mexico city, and candidate and frontrunner for the upcoming presidential elections.

Note: Mexico doesn't do presidential reelections - even temporary holders of the post can never run for or hold it again. They had a number of civil wars and related fights around this so it's taken very seriously.