skysight-inc/HackerNews huggingface dataset:
I use ZFS to protect against file corruption and ECC RAM to protect against memory corruption. The combination works well.

The combination is not perfect unfortunately. The other day, I had a CPU cache parity check failure hang vim when I was trying to close it. I had to reboot to get rid of the hung kernel thread. It would be really nice if all CPU cache levels had full ECC protection, but only some of them do.
> 100% of the people I strongly dislike have done things that should earn them jail time. I don't know what your thresholds are.

That seems a bit too convenient and perfect. But people were talking about using police on homeless people, who aren't child molesters and serial killers.

> other people I find despicable

That's the problem - your personal feelings aren't relevant.
I read this as the beautiful prison sentence that is the web

But I also love JavaScript so there's that
I used to spend so much time flashing different ROMs, and even cooking a few modifications of my own. These days I find it much easier just to buy first-party devices like a Pixel and just move on with my day. They seem to have the least 'gotchas' in my experience. Stuff is unlocked, it gets updates, and doesn't have bloat/malware baked in.
They are charging for Google Maps today. You have to pay for your store to stand out.
> and its cryptographic security is trivially verifiable

That's going quite far. Even with all the details of it documented and open, there's a relatively small number of people who can actually verify that both the implementation is correct and the design is safe. Even though I can understand how it works, I wouldn't claim I can verify it in any meaningful way.
I use KDE Neon because Windows seems almost childish in comparison.

I use KDE Neon because I haven't bought a Mac yet but I don't know if that would be an upgrade. Neon is just superb.

I just can't imagine how anyone could get use to Neon and then use Windows without thinking it is a joke. Especially if you turn off the bells and whistles, everything is instant and instantly responsive.

I barely know any linux commands but installing software has been trivial in various software managers and apt get.

Beyond that everything just works. I think this experience is predicated on not playing games though. I have no idea what the state of games are for Linux, Windows or Mac.

As long as Neon has a critical mass to exist I could absolutely care less if more people use it or not.
> If you have constant, multiple, concurrent writes on a non-append-only database, it is bound to perform poorly no matter what database you pick.

This is obviously incorrect, since Postgres can handle more than one simultaneous write transaction just fine. The rest of your post is accurate, but this is an intentional design decision to simplify SQLite’s implementation, not some fundamental limitation.
Can I just be blunt here and ask, why the F? No one asked for this. No one wants this. We just want a good, standards-compliant browser that doesn't eat up 8gb of RAM watching a single YouTube video (something that seems to be quite a challenge, though not entirely the browser engine's fault but rather the runaway train that is "capitalistic motives dictate the browser is now an OS and needs all features thereof"))…
They seem to feel that they will be marginalized if Google stops paying them to set their default search engine to Google but, the way they have handled it is to focus on everything else other than their browser. At this point since browser engines are dominated by Blink and Webkit what exactly does Mozilla have? Their market share just keeps on going down.
I always find it odd when a new benchmark comes out and uses models that are all 6 months - a year old. I’m pretty sure all these models are >1 year old.

This looks super interesting and useful, but without Claude or o1 data points, it isn’t clear if it is saturated or not, and without more modern open source models, it doesn’t give me a useful signal to choose a model.
in microcontrollers it's very common to see code generated that creates structs for the registers. They will typically output fields that are a full machine word in size (or maybe in some cases as small as a byte), and individual bits will be addressed with bitmasking (ie `my_device.some_reg |= SOME_REG_FLAG_NAME` or `my_device.some_reg &= ~SOME_REG_FLAG_NAME` to clear it). It is sometimes necessary to be thoughtful about batching writes so that certain bits are set before the periferal begins some process. A trivial example would be:

port_a.data_out |= GPIOA_PIN_1 | GPIOA_PIN_2;

and

port_a.pin1 = true;
port_a.pin2 = true;
Or she could inherit his estate and that includes a talcum powder empire.

They could call it Gold Bond.
Domestic dog, wolf, and coyote are described as separate species even though they can interbreed.
There is, but hiding the tabs on top — IMO the entire point of vertical tabs, since almost all screens have more horizontal than vertical space — isn't supported without maintaining your own custom CSS. It's a pain.
Mozilla is almost totally dependent on payments from Google to survive. If Google stops the payments, Mozilla probably goes out of business.

I think it’s pretty clear why they keep on doing this type of side project. They are trying anything they can think of to diversify revenue.
T2x – a CLI tool for AI-first text operations
DirectX and Win32 are Windows APIs.

Are you saying Linux has "games" because it excels at ... emulating them?

What's the point of using/running Linux then when you have a much higher chance of running games successfully natively? What about dozens if not hundreds of games that use a kernel level anticheat? Pretty much none of them work in Linux.

What's the point of native Linux APIs then?

That's weird.

Wine + DXVK are so good, Linux is GREAT.

No, it shows how horrible Linux is when not a single vendor outside of Valve wants to touch it. And everyone who tried to port games to Linux went bankrupt.
You're literally selling a theme. A common one at that. No sale.
Given that any explanation must be extremely unusual, I think the explanation that only requires one weirdly competent and motivated person still has an Occam's edge over one that requires hundreds of such people.
I sigh a little whenever anyone mentions Isaacson. My book had a different goal. I wanted to write a serious, substantive business history of Nvidia and explore the reasons for its success. Walt has a different style and focus, which wasn't what I aimed to do.
> I don’t think this article is written very charitably

It definitely isn't, but honestly Linux could use more of a drill-sergeant treatment. It's either that or we keep doting on our little pet OS and give up on the idea of desktop Linux being at all a viable competitor to the goliaths of Microsoft and Apple. Maybe we never stood a chance?

Keep in mind, I'm pretty much committed to Linux myself, as I'm not willing to compromise with Microsoft and Apple's user-disrespecting, locked-down, enshittified software. But I have no illusions about the inconveniences and sacrifices of that decision.
Multiple teams have done formal verification of the Signal Protocol, which won the Levchin Prize at Real World Crypto in 2017.
Agreed. Running docker-compose and postgres-alpine works just fine.
Genius idea. There must be one of these gui git clients that work like that.
It is an excellent film. It is one of the "1001 Films to See Before You Die" (and I am happy I was introduced to it).
in 2024/2025 you just might be working with 985 petabyte database which just might have a few issues being “spun up” :)
Mozilla is like the legit side business the Mafia uses for taxes, group health benefits, etc. and to give an air of legitimacy to their operation.

Google needs Mozilla to exist to prove on paper they don't hold a monopoly with Chrome.
> You should care enough for people to make things good for them. If you can’t do it right, don’t do it. This tech bro mentality of move fast and break things doesn’t work with people’s lives.

Yeah, it would be much betterto spend years finding the "right solution" while some people die out there. /s
Element maybe? Mattermost?
I don't have an Android device but surely anything that excludes can just be accessed via web browser? I use my banks mobile website in a mobile browser all the time.
Nostalgia for the 1990s is real. I loved that era. PC gaming was awesome. I bought tons of 3D graphics cards from Rendition Verite, 3dfx Voodoo and obviously Nvidia. Having John Carmack tweet about my book nearly made me faint (surreal!). I adored his Doom and Quake games so much.
Nobody cares about your precious units they care that the system works. Thus you should test units that are as large as possible. That way if you add a feature you know the old ones didn't break. I've seen too many bugs where all the unit tests passed. If you are doing TDD 1000 integration test failures are no problem - the last thing you changed broke them all: either undo or fix it.

the only reason to write a unit test is if the integration test would run too long.
The machine is from ASML, submission from original source: (5 points, 1 comment) https://news.ycombinator.com/item?id=42549037
https://gitlab.freedesktop.org/drm/amd/-/issues

Just check this bug tracker. Just this one. Bug report on top of bug report caused by a fix which was caused by another fix.

Sadly it's not just one bug tracker, I keep an eye on many of them.

Of course in the magical Linux land if "It works for me", then the author is lying.

Never mind that the author of this "click-bait" article is a ... Linux kernel bugzilla maintainer. Yeah. I can vouch for every letter in the article. It's written with my blood.
Saving some clicks:

$10/yr for the first year, $8 for the second, $6 for the third year and onwards uninterrupted.

$1/$0.80/$0.60 per month for the first/second/third year uninterrupted.

I paid for the VS Code theme. I will be passing on this.

https://plugins.jetbrains.com/plugin/26007-monokai-pro/prici...
The Asianometry interview was so much fun. It makes a huge difference when the host and interviewer reads the book and knows background technology/material.
databases can run hundreds of test in a ms. Sure without you could get to thousands in that ms - who cares.
Closest I can think of would be the original Pentium 4, which had double-speed integer ALUs where simple operations like addition would produce the low 16 bits in the first half cycle and the high 16 bits in the second half cycle. A dependent op could immediately start using the low result before the high result was done to give effective 0.5c latency and throughput and 4 adds/cycle. Intel dropped this in the 64-bit capable revision of the P4, though.
They should have become the Rust company and built services around it.
> What's their actual product differentiation from Chrome these days?

Providing monopoly protection to Google.

They have no interest in actually competing for market share.
please fix firefox.
Excited to try it! Been looking for a temporally-aware way of creating a KG for my journal dataset
> My feelings about this very much hinge on whether or not it is in fact the original creator of the theme who gets paid for it.
If so? Fair enough, a very small ask for a very useful thing.
If not? Fuck your own face.

OPs HN profile says: "Author of the original Monokai color scheme and its successor https://monokai.pro"

So i guess, not his face to be f*@%#!

Sometimes it's worth to invest minimal effort into "research" before commenting aggressively.
> from Google to survive. If Google stops the payments, Mozilla probably goes out of business.

> I think it’s pretty clear why they keep on doing this type of side project.

It’s not clear to me. I agree they would have some problems if Google declined to pay them because the next best offer would be lower.

But the best way to keep these payments, or to increase them, is by making a better browser and giving people a reason to use Firefox. After spinning off Servo I lost the last hope I had.

It seems everyone is stuffing AI summary tools into everything, is this something that will retain users or bring in new users? I doubt it.
I agree with this. You have to do the whole culture - not just a part of it. One prominent CEO (I won't name) started posting on social media about the book, the parts of being blunt and direct in feedback, and I bristled. He certainly doesn't understand the entire culture of treating employees like family in times of health crisis.
I'm not sure sad old Gen X folk like me, who were relatively starved for entertainment and found Bond via 2nd hand bookstores and repeats on tiny TVs are much of a market these days.

I think what they did with Top Gun was pretty good - it's still kinda about Maverick but set it up so the universe expands a bit. The po faced Craig films just got boring. I will re-watch the Moore films occasionally for the goofy nostalgia but I can't even remember the names of half the Craig movies.
In a fantasy world, how many standard deviations from average are the female warriors? It doesn't matter, it's a fantasy world where the data isn't real and you're playing the main character, she's allowed to be above average.
It’s not practically open source though - how many people actually build it themselves and sideload onto their Android/iphone?

How much effort would it be for the US government to force Google to ship a different APK from everyone else to a single individual?
Someone will pay to be the default though. Browsers print money.
If you aren't running an encrypted disk on any cloud provider you should absolutely fundamentally understand that your data has been scanned and that your VM data is "business data" so a copy gets sent to whomever wants it, in bulk.
When I used ext4, I had unexplainable ccache corruption about once per year when compiling updates for my Gentoo Linux machines. Since switching to ZFS about 12 years ago, ccache has not become corrupted once.
Interesting! Thanks for sharing, Rust always seems to have something new to learn.
Work (Time keeping during Industrialisation) [video]
Did you skip web design 101? If it’s simple enough, you can absolutely slap it together with jQuery and html.
I suggest you peruse Matthew 7:5. I have nothing further to say to you.
Treasury Hack an implementation error?
-> https://onlinehelp.ncr.com/Retail/Workstations/Wiring/Ethern... (NCR Ethernet Communications Wiring Guide pdf 1998)
> By what logic are the people of Iceland free to decide whether or not to join the European Union, but the people of Greenland are not free to decide whether to join the United States?

I think you may be misunderstanding where my argument stems from.

It is off course for the people of Greenland to decide whether or not they will sell their country to the USA. However both their legislator and their people have made it abundantly clear that they are not for sale[1], so the argument here is kind of moot. What I‘m arguing in the other thread is that USA‘s prospects of buying Greenland are of colonialist nature. Those are colonial dreams and nothing else. Expending your territorial control is colonialism, even when you pay to convince your future subjects to fall willingly under your colonial rule, it is still colonialism.

My biggest fear in all of this is actually that Denmark will sell parts of Greenland from under the Greenlandic people in illegal deals with the USA similar to how the UK carved out the Chagos islands from their Mauritius colony just before independence and handed Diego Garcia to USA so they could build their military base there, expelling all the Chagosians that lived there in the meantime. USA and Denmark have already done so in North Greenland. A deal which in 50 years time will be found to be illegal but at that time it is too late to do anything about it. Such a deal would also be colonial behavior, both on the USA, and on Denmark.

Over here I‘m just pointing out that Greenland is lacking in some areas of their economy, and there are prices persuade some Greenlanders (I know some members of the Greenlandic home rule who would love a good old fashioned business deals with USA, both for mining and for their military operation [probably looking at how the martial assistance gave Iceland a bunch of infrastructure in return {wink, wink} for a couple of military bases and joining NATO]).

1: https://www.democracynow.org/2024/12/27/greenland_trump_colo...
That's the only site whose dev contents I ever paid for. Gary Bernhardt is very entertaining.
The deep understanding of technology is so important. So many CEOs are empty MBA suits who are BS artists and don't know anything. I wish I could shout this to the rooftops even though I do cover it in the book. The importance of technical competence and avoiding finance/MBA/consulting executive CEOs.
Mozilla should have been doing what Proton is doing. But considering how far Proton has gone I wouldn't be surprised if Proton spun up their own browser at this point.
> I don’t think this article is written very charitably

Why would it be? It's about Linux on the _desktop_ where it sucks a$$.

Open Reddit, open any distro related forum, open unix stackexchange - hundreds of support messages daily from a tiny Linux community. That should speak volumes about how ready it is and I didn't even touch on individual issues. The article is called "Final", I will not be actively updating it. The previous one existed for over a decade and I'm done with it.
Thank you for your suggestion. This blog includes a tutorial to ensure everyone can get hands-on experience. If you need the specific project address, you can check: https://github.com/AutoMQ/automq
Generally yes, vanilla gradient descent gets plenty of use. But for LLMs: no, it’s not really used, and stochastic gradient descent provides a form of regularization, so it probably works better in addition to being more practical.
Full batch with L-BFGS, when possible, is wildly underappreciated.
The point of the paper is introducing the benchmarking tool. It doesn't matter whether they've got the latest hotness for that; the idea is that anyone can then take the tool and use it to evaluate whatever models they care about.
It’s an anti-competitive ploy run by Google so they can point to Firefox and say “look there are competitors we’re not the only browser.”
Whatever happened to Servo?
> If they shipped vertical tabs I'd probably switch back to Firefox.

about:config, sidebar.revamp = true, sidebar.verticalTabs = true

It's getting there.
> that still a mock

It's a fake, not a mock.

Mocks and fakes are both test doubles.

> And thr point is to structure your code in such a way that

Sometimes it's not your code. Sometimes you want to change legacy code and want tests to prove that your changes don't break anything.

Life would be so much easier if there were just one way to test, wouldn't it?
Once again, we see Meta being more open than OpenAI. I’m loving that their business incentive is aligned with open sourcing and commodifying state-of-the-art LLM technology. Keep em coming
Master coconut! I don’t know if that’s an Archer reference or a Frisky Dingo reference.

It’s fascinating how fast the competitors are catching up to each other. Can’t wait for seven different SkyNets to compete for dominance.
This is what I have been asking people in the know too. It seems like developing this is straight forward. So not sure why OpenAI has a lead. That too with how fast things are, the gap should be instantly closed.
Firefox needs to be forked and owned by the people. I'd pay $1 a month for a browser run by the people. Management and extension options could be rolled out for government, business, education, etc. There are so many models where the browser thrives, the org that shepherds the browser thrives, and the people thrive.

Firefox is like the shitty best option that camps out in its niche, it sucks but it is really hard to push out of the way.
I'm sure there are MBAs at Nvidia too, but what I found interesting is the vast majority of dozens of Nvidia employees from early years I interviewed were engineers and technical/operationaly employees. I don't remember interviewing an MBA.
This is an academic paper with 81 sources. Those take a bit of time to write and get approved. This is less of a streamlined benchmark and more of a research paper with a bunch of firsts that had to be designed, standardized and build.

A benchmark is more like a program that is run and whose output is evaluated. Those are coming later, but they're not like this. Arguably to make it "scientifically valuable" rather than anecdotally valuable, this sort of work has to come first to figure out what and/or how to benchmark in the first place.
"ATH0" made me tear up
NO. I'm the real Tae Kim.
The book was written after Acquired podcasts.
> It can be a miracle, and yet still not be good enough. Even as a business user, knowing that if I build an app and it probably won’t work in 5 years, is all I need to know about this hobbyist toy

Build a Flatpak, you're done. Your application can depend on a stable runtime and work on any Linux distribution.

> Linux is fundamentally not ready for anyone who has needs more than a Chromebook (which also runs Steam, by the way).

Chromebooks now cover 85% of the U.S. education market, that's most workloads. The Steam Deck is also Linux (SteamOS).

What's left in the world of Win32 apps? Specialty commercial applications like Photoshop, first person shooter games that require an anticheat kernel driver. If you don't need those, a system like Bazzite is much less user hostile than what Windows has become in the era of Windows 11.
Android apps are the same way; most of the apps I use each have somewhat different look and feel.

And people are also used to web apps, which vary widely. The web has no standard UI toolkit.
US Military has atleast privately switched away from any Signal usage within the past few months – it’s undoubtedly compromised in some way. If the FBI is recommending it it’s for exploitative purposes & a false premise of safety.
Ha. You said exactly what was on my mind.
Mozilla laid off everyone they had working on it. The project is still going on a volunteer basis, but it's obviously not progressing anywhere near as quickly as it was when it had people working on it full time.
> AFAIK it is useless

"Useless" is grossly incorrect. Bitlocker is not invincible, but it lowers your threat surface by a huge %.

In real terms: if i get your unbitlockered hard drive, i own your shit. It's not a hack you pay crypto for on the dark web, it's a trivial compromise that every person in IT has known for at least a decade. If you google it, you'll find it. Ring 0 access to all nonbitlockered windows installs. Takes like 2 minutes and a usb or cd.

With bitlocker, at least every idiot on the planet can't login to your profile; that's not nothing
I think password storage is covered by Firefox sync.
You mean exceedingly rare apps that use it? Yeah.

And they weigh in hundreds of megabytes, right, because they come with all the dependencies starting with glibc.

Yeah, that will totally work and has been a smashing success. Except it never has.
Nothing contradictory (in philosophy), really: they said American law enforcement should be able to break encryption when they have warrants and they now say Chinese spies should not be able to.

This is obviously technically impossible, but the desire for that end state makes a ton of sense from the IC’s perspective.
co-author (top comment?) just said that it is peer reviewed now.

Not that it matters at all.
Slight correction: the person with the spy system didn't believe its reports in the end -- the doubt/dismissal problem came before sharing with others, as I remember it. Agreed this was in Children of the Sky.

(aFutD also had a case of high-stakes suspicion of highly compressed messages during Zone turbulence, as I think the GP meant.)
Alternatively, look it up by reading winetricks’ source code. Wait, would that be cheating considering that winetricks is a UNIX tool? Linux and UNIX systems in general are supposed to be harder, not easier, in comparison to Windows, right?

For those unable to tell, I am using sarcasm in that last part.