skysight-inc/HackerNews huggingface dataset:
RocksDB requires cross address spaces RPC calls which, naturally, is going to be a lot slower than doing something in-process in a streaming engine.
I think most teams who implemented stateful streaming engines just wanted to get to market quick, like the Flink team I knew, hence they chose RocksDB.
The last statement is largely correct (though idk what the imo medalists that are unable to solve actual problems most mathematicians can't solve most open problems). But i kind of disagree with the assessment of imo problems--the search space is huge if it were as you say it would be easy to search.
nobody wants that
> multiply that small amount of work by the number of users who will have to repeat it

This is probably where we have the biggest difference in our calculations. I know there's a lot of pain in legacy CJS systems, but from my view (which is maybe more "browser-oriented", which is maybe a bit more Deno/Bun-influences, which comes from a "Typescript-first" mentality going way back to 0.x) it is more legacy "giant balls of mud" maintained by a sparse few developers. I don't see this multiplicand as very big on the scale of library user count. Most CJS for years and years has been transpiled from Typescript or Rollup; most CJS only exists to be eaten by Webpack or other bundler, many of which today rewrite CJS to ESM anyway. From what I see a lot of CJS seems either transpiled out of habit (for some notion of supporting Node < 10 that doesn't make sense with current security support) or by accident (by a misconfigured tsconfig.json, for example, and then often looping back through a transpiler again back to ESM). The way we cut through the Gordian knot of we're all doing too much transpilation to/from CJS is to start eliminating automated transpilation to CJS in the first place. Which is why I find it useful every time to ask people what they are really trying to do when transpiling to .cjs today.

Of course, if your multiplicand is lines-of-code impacted, because I agree there are some great big huge piles of mud in CJS that are likely stuck that way for lack of developers/maintainers and lack of time/budget/money, then worrying about the minority of users still intentionally using CJS is worth caring about, and my sympathies in that situation.

You, of course, know your library's users better than me and maybe you do have a lot of CJS users that I just wouldn't consider in my calculations. I'm not going to stop you from transpiling to CJS if you find that necessary for your library. That's your judgment call. I just wanted to also make sure to ask the questions of "do you really need to?" and "how many users do you actually think it will impact?" out loud. Thanks a lot for the conversation on it, and I'm still going to be a radical banging the "CJS Must Die" drum, but I understand pragmatism and maintenance needs, especially those of legacy applications, and mostly just want to make sure the conversation is an active one and a lot less of passively transpiling stuff that doesn't really need it.
Many Poles have distinguished themselves in various fields of science and life. I recognize Madame Curie, Copernicus, Ulam, Pope John Paul II, Chopin, Polanski, and perhaps Wozniak. I had a Polish professor at Mellon University who talked a bit about it, and there was a lot.
I broadly agree. This is in the US, which is supposed to be a relative wild west where all you need is cash. You're not microchipped into a central database and have to ask for permission to move like in Europe. Any movement into that direction is regrettable because I think the American system is extremely refreshing and dynamic by comparison. Let there be one place on the planet that isn't a dystopic bureaucracy.
UBI was always a pipe dream IMO, for one principle reason: you can turn it on, but you can't turn it off again. Once people get UBI any politician who responds to changing conditions necessitating reduction or elimination of UBI will have no chance of doing so. It will always be an election winner to run against such a position by simply saying "We will never touch it."

It's an inflexible, unwise arrangement that's only sustainable assuming ideal conditions.
Does it mean for Perplexity.ai now that SearchGPT is launched?
Curious to hear thoughts?
Tesla use BYD batteries for the LFP standard range cars.
A finely balanced, thought-through commentary if I've read one /s
I do this as well. JSDoc is great for simple definitions, but as soon as you want to do something more complicated (generics, operators, access types, etc) you get stuck. The .d.ts are ignored because you're only importing them within JSDoc comments.
Do you feel the same way about Google spidering for their commercial search engine?
This is wonderful to hear thanks for mentioning it. My last position as a software engineer at a very well known company I was in countless meetings where third parties or contracting companies were treated downright disrespectfully. Any time I brought this factor up to management or co-workers I was looked at like I was speaking a foreign language. Even in fast paced engineering environments, there is never room for disrespect. I enjoy stories like this and wish you and your company the best.
These are some great questions! I'll work through them one-by-one.

> (edit: sorry, I missed this one!) why you want to do this?

I believe in pay transparency and paying people for the value they bring to a company. I don't like it when there's a call center with everyone making a dollar above minimum wage, when they take the pain of all the poor decisions people who make 5-10x what they do made.

> What is the goal you are trying to achieve?

A greater alignment to the earnings someone makes for the company and their earnings out of the company.

> Why would you not do this with salaries?

I believe a salary is a promise, something that can be consistently relied upon. Profit sharing is above and beyond that.

> Will there be some people paid more than others that do different roles?

Since a salary is a promise, yes. It also allows for more tenured and skilled employees to "grow" in the company. Generally a more senior person has more responsibilities and my promise to them should correlate well with that.

> If so, why would their profit shares be the same?

Undecided

> Who decides on war chest size?

Probably a collection of employees, including the CEO, and it would be the sum of company expenses for a certain number of years, including cost of living adjustments.

> but what I really mean is an alternate reporting line to hear about problems

I hadn't considered that as a use of a union and I think I like it. I should think on this more.

> My suspicion is that there's a lot of what founders think of as profit that isn't really profit. (and the added part about you underpaying yourself)

Probably! In my context regarding profit sharing, I am thinking that everyone is making an appropriate salary already - before that, it's not really profit. Admittedly, given the structure, the official salary would probably be a little below market rate; but again, that's just the promise of minimum payment and when profit sharing went into full swing, I would like to think it would increase those numbers.
I wish he had chosen to go with the Americans who recognized his genius. Having loyalty to his home country set him back. He could have returned to Poland after the fall of communism, potentially with millions of dollars to invest locally.
A diamond-bearing core-mantle boundary on Mercury
You know it’s bad when this happens
Ask HN: How can we encourage kids to learn how to think?
As I've said, we don't really because union busting is not only allowed but expected.

The reality is that employers should not have such autonomy. What you're arguing is the right for an employer to necessarily hold more leverage in negotiation as opposed to workers. Which... isn't a right. It's an anti-right. As in, you want less rights for workers.

Unions only work if they're enforced. Just like a right to life implies an anti-right to kill, a right to fair negotiations implies an anti-right for employers to choose not to negotiate with unions.
But then you'd have other problems that come with using another paradigm, since there's no silver bullet, and no paradigm that handles all problems better than other paradigms. Probably popular languages tend to be multi-paradigm.
The kind of margin you indicate would have been plenty for our use cases. But, we were already processing all these log entries for multiple other purposes in a single pass (not one pass per thing computed). With this single pass approach, the median calculation could happen with the same single-pass parsing of the logs (they were JSON and that parsing was most of our cost), roughly for free.

Uniform sampling also wasn't obviously simple, at least to me. There were thousands of log files involved, coming from hundreds of computers. Any single log file only had timings from a single computer. What kind of bias would be introduced by different approaches to distributing those log files to a cluster for the median calculation? Once the solution outlined in the previous comment was identified, that seemed simpler that trying to understand if we were talking about 49-51% or 40-50%. And if it was too big a margin, restructuring our infra to allow different log file distribution algorithms would have been far more complicated.
Erm. The read head and the write head in a magnetic drive are the same head. You can't keep the head away from the surface if you want to read the disk. But you can disable power to the driver that puts write current into the head.

... and you could absolutely build similar functionality into a flash chip. But most likely you can't actually buy such chips, at least not with any real capacity.
They're not just formalizing Fermant's Last Theorem's statement itself. They're formalizing the proof.
I can’t remember the last time I had to wade through blogspam to find an answer to something I wanted. I also haven’t had to endlessly look at stack overflow questions for a couple years now. I’m really grateful to stay away from most of what the modern web has turned into
The situation didn't change when it was search index crawlers being called-out. At the end of the day, this sort of "abuse" is native to the world of the internet; like you said, it's decades old at this point.

HN will cheer on a lot of things that are counter-intuitive to their wellbeing; open-weight models doesn't feel like one of them. You can't protest AI (or search engines) because after long enough people can't do their job without them. The correct course of action is to name-and-shame, not write pithy engineering blogs begging people to stop. People won't stop.
I actually really liked that article and how it at least tried to present both sides. However, I tend to agree with the opposing side, but think there are some edge cases that could be improved. I have spent my career working in drug and device development so I probably have a more nuanced view informed by my experience. I have payed millions to doctors, and think my actions are justified.

One thing that the article touched on that I like is the role of non-industry associations, which I think could do a lot more to spread information. However, there's no one that will pay them to do it.
Unless I'm missing something, Secure Boot as designed is fundamentally broken.

Its root of trust is the BIOS/Firmware, which can be updated from a running OS. There is no hardware root of trust.

How Secure Boot Works

Secure Boot ensures that a device boots using only software trusted by the Original Equipment Manufacturer (OEM). Here's a high-level overview:

1. Power On and Initialization: The CPU initializes and runs the BIOS/UEFI firmware, which prepares the system for booting.

2. Platform Key (PK) Verification: The firmware verifies the Platform Key (PK), which is used to validate Key Exchange Keys (KEKs).

3. Key Exchange Keys (KEK) Verification: The KEKs validate the allowed (whitelist) and disallowed (blacklist) signature databases.

4. Signature Database Verification: The firmware checks the allowed (db) and disallowed (dbx) signature databases for trusted software signatures.

5. Bootloader Verification: The firmware verifies the bootloader’s signature against the db. If trusted, the process continues.

6. Kernel and Driver Verification: The bootloader verifies the OS kernel and critical drivers’ signatures.

7. Operating System Boot: Once all components are verified, the OS loads.

Apple Secure Boot Process

Apple adds hardware-based security with the Secure Enclave:

1. Secure Enclave Initialization: Separate initialization handles cryptographic operations securely.

2. Root of Trust Establishment: Starts with Apple's immutable hardware Root CA.

3. Immutable Boot ROM Verification: The boot ROM verifies the Low-Level Bootloader (LLB).

4. LLB Verification: The LLB verifies iBoot, Apple's bootloader.

5. iBoot Verification: iBoot verifies the kernel and its extensions. The Secure Enclave ensures cryptographic operations remain protected even if the main processor is compromised.

For more details, check out:

- <https://uefi.org/sites/default/files/resources/UEFI_Spec_2_8...>

- <https://www.apple.com/business/docs/site/Security_Overview.p...>

I would really love to have a hardware root of trust on a Linux or other open system, with a hardware security module of sorts that is programmable, so I decide what the root keys are, and is able to measure the firmware boot process, establishing a proper audit trail or chain of trust.

I can't remember the HN formatting rules, so expect an edit shortly to make this look better.

Edit: I did a little more poking. It's not quite as bad as I thought, because at least in theory, the BIOS will verify a digital signature of a BIOS update before flashing it.
Counter-point: walking and taking public transit became considerably _more_ interesting for me once I became fully remote. However, I do live in an area with walkable amenities (coffee shops, grocery stores, etc).
A sane DevOps workflow is with declarative systems like NixOS or Guix System, definitively not on a VM infra in practice regularly not up to date, full of useless deps, on a host definitively not up to date, with the entire infra typically not much managed nor manageable and with an immense attack surface...

VMs are useful for those who live on the shoulder of someone else (i.e. *aaS) witch is ALL but insecure.
Agreed, this is a big step forward. Geometry problems are in a different class, since you can translate them into systems of polynomial equations and use well known computer algebra algorithms to solve them.

By contrast, this kind of open ended formalization is something where progress used to be extremely slow and incremental. I worked in an adjacent field 5 years ago and I cannot stress enough that these results are simply out of reach for traditional automated reasoning techniques.

Real automatic theorem proving is also useful for a lot more than pure mathematics. For example, it's simple to write out an axiomatic semantics for a small programming language in lean and pose a question of the form "show that there exists a program which satisfies this specification".

If this approach scales it'll be far more important than any other ML application that has come out in the last few years.
I'm not particularly interested in concealing my identity from the TSA. My intention is more to prevent the collection of a high-resolution 3D scan which didn't previously exist -- which I would wager the mask effectively does.

I understand it's possible to construct a 3D representation of my face using only still photographs, so it may be in vain, but I'll wear the mask and admit it may be pure ignorant superstition.
Create GitHub templates and repository sync
Unbearable website on mobile. Banner ads, footer ads, auto scrolls away from article, video popup ads. Just awful.
Are you arguing that Google doesn't hold a monopolistic position in the Search Space? or are you trying to precisely define my usage of the term?

Regardless, Google is playing bully with money and power that the rest of the search engines don't have(ex:Bing).
Just 2 buggy crawlers seems not that many, sure they each had large impact, but given that there are likely hundreds if not thousands of such crawlers out there it's a rather small number. It seems that most crawlers are actually respectful.
Hat tip to space.com for leading me to the paper:

Mercury has a layer of diamond 10 miles thick, NASA spacecraft finds

https://www.space.com/mercury-diamond-layer-10-miles-thick-n...
> Everyone's busy watching Magnus Carlsen.

Actually, I was looking up Elo ratings of the top computer chess players, and learned that it is not that trivial to compare these, due to differences in hardware requirements and whatnot.
It's quite beautiful, thanks for the suggestion! Unfortunately, seems to not support FLAC's cue files for track lists, which is quite a bummer.
The cool kids have been combining containers and hardware virtualization for something like 10 years now (back to QEMU-Lite and kvmtool). Don't use containers if the abstraction gets in your way, of course, but if they work for you --- as a mechanism for packaging and shipping software and coordinating deployments --- there's no reason you need to roll all the way back to individually managed EC2 instances.

A short survey on this stuff:

https://fly.io/blog/sandboxing-and-workload-isolation/
If you didn't know calling someone naive is often perceived as an insult.
Interesting demo. I'd argue that a good tutor will ask more questions than answer. The tutor has to gauge the learner's understanding and adapt instruction. Properly formulating a question can be tricky if you're confused.
It's a preference, not a need.
Depending on how SEO’d the thing you’re looking for is it can range from easy (looking up docs, specs, etc.) to impossible (product recommendations) to find quality information (without knowing what sources are reliable beforehand). I’m not sure that LLMs will fix the problem, seems like curation is the issue and none of the major players are interested in that.
My city took 4 years after approval and 2 grants totaling $1.5M to build four 500 sq ft tiny homes for temporary housing. One of the biggest roadblocks was where to build them. From a local article, the residents selected for these homes will be required to pay rent and keep the units in a livable condition.

So for a local government that had the money in hand, it has built 4 highly contested tiny homes after 4 years that the people moving in will have to pay rent on. This, proclaimed by the mayor, will really help get people off the streets in our city. It feels like la la land.
I used the plural. Have there ever been any NBA teams with more than one Asian on them? Certainly not starters.
A lot of words to say second place
Google sent traffic to your website. You were at least getting something in return.
> If you wouldn't trust running it on your host, you probably shouldn't run it in a container as well.

- From a Docker/Moby Maintainer
What if the proof were incomprehensible to humans?
So much waste. Even worse than the digital currency rush.
I dont disgree with you on some points.

But using 'war on drivers' is very politocally charged slogen that stands for opposition the pretty much anything to with anything other then 'more highways'. Its literally a far right wing slogan.

I agree that there are lots of unneed subsidies for rich electric car buyers. And investment for those people.

Parking however geneally should be far more expensive, they are massive actually gigantic subsidy that drivers have been benefiting from for decades.

Insurance increases could be reduced by having less accident in total, meaning slower streets, better road design, more bycicles. Not sure what else governments should do about insurance. The NHS is already a huge subsidy for drivers over people who use public tranist or walk.

Better public bus networks are prettu urgent, and thats something even the tories realized. That can do a lot for making people need to drive less.

In terms of infrastructure funding, road networks and highways get a lot and have been getting a lot continiously for 50 years. Its just infrastructure that degrades very fast.

I am not against maintaining existing roads and highways but absolutly no new highways should be built. And new roads only in a few exeptional circumstances.

I would say things like low concetion zones, road diets, bike lanes and change like that are actually good for drivers.

These are all things 'war on cars' people normally are against.

I would suggest that we make it so cars are far more expensive if they are large and heavy. And that includes EVs. Poor people should be encouraged to drive small cars even if they are not EVs.

What things do you think should be done (or not done) for poor drivers?
Try MentionMaster ai it mentions your product naturally in convos gets u customers from reddit twitter hackernews etc. helped my saas reach english speakers when nothing else worked.
He really loved his country, even if the government basically destroyed his career.
Exploitation of the common man being a key ingredient of a product has never once inspired any actual consumer revolt. Fundamentally, no matter what they say, as long as they get their fleeting hit of dopamine from buying/using a thing, people just don't care.

As Squidward says: nobody gives a care for the fate of labor as long as they get their instant gratifications.
You can pay extra to reserve specific seats on basically every airline - it might cost a little more overall but it seems like that you're already just comparison shopping with heuristics.
As patio11 says, "The optimum level of fraud is not zero."
you are 100% correct! Here we just check if there is a pause of 200ms (you can change that in the code). I haven't seen any models that can detect if the user has finish speaking base on the question or social cues. You also don't want to make the delay so long since then it sound unnatural
"One crawler downloaded 73 TB of zipped HTML files in May 2024, with almost 10 TB in a single day. This cost us over $5,000 in bandwidth charges, and we had to block the crawler."

Wow. That's some seriously disrespectful crawling.
Related New Zealand "deeply shocked" after Canada drone-spied on its Olympic practices (34 points, 21 hours ago) https://news.ycombinator.com/item?id=41062774
?? Carlsen is very much active -- look up the YouTube channel EpicChess for an extremely entertaining recap of what he's up to recently.
Isn't this discussion based on a false dichotomy? I, too, use VMs to isolate customers, and I use containers within those VMs, either with or without k8s. These tools solve different problems. Containers solve software management, whereas VMs provide a high degree of isolation.

Container orchestration is where I see the great mistake in all of this. I consider everything running in a k8s cluster to be one "blast domain." Containers can be escaped. Faulty containers impact everyone relying on a cluster. Container orchestration is the thing I believe is "overused." It was designed to solve "hyper" scale problems, and it's being misused in far more modest use cases where VMs should prevail. I believe the existence of container orchestration and its misapplication has retarded the development of good VM tools: I dream of tools that create, deploy and manage entire VMs with the same ease as Docker, and that these tools have not matured and gained popularity because container orchestration is so easily misapplied.

Strongly disagree about containers and dev/deployment ("NOT check"). I can no longer imagine development without containers: it would be intolerable. Container repos are a godsend for deployment.
Jails/Zones are not pretty much as secure as a VM. They're materially less secure: they leave cotenant workloads sharing a single kernel (not just the tiny slice of the kernel KVM manages). Most kernel LPEs are probably "Jail" escapes, and it's not feasible to filter them out with system call sandboxing, because LPEs occur in innocuous system calls, too.