skysight-inc/HackerNews huggingface dataset:
"Theoretical computer science" is garbage.

Of all the scientific fields, computer science is the one that is mostly closely related to fields where theory is most worthless. If you have a computer science theory, then write some damn code to prove it. Then share your code. Others can then run it and replicate those results. At the "theory" phase, the idea is worthless.
But who will buy it when the price is $8 for the shoes, $6 for starter car and $12 for standard car.
I had heard that IV might be considered sacrilegious, as the god Jupiter would have once been spelled IVPPITER, as I was used for modern J and V for modern U.
https://github.com/gytis-ivaskevicius/high-quality-nix-conte...

This sort of twenty-minute adventure?
> So they had all the pieces, but only Apple put it together

Its very difficult to change a mindset or culture in big companies. Existing VR companies were too invested in using a controller. Similarly back in the early smartphone days all the big companies thought that smartphones must have physical keyboard.
I agree, that is a strange point make.

My first thought was this, https://en.wikipedia.org/wiki/OpenSSI

Never an especially viable option, but one that always fascinated me.
Increasing resolution increases computational complexity. This is especially true with the 100hz refresh rate of the display. Current Vision Pro resolution is higher than 4k. Imagine trying to build a 8k 100hz PC. You couldn't even use Display Port or HDMI to transport video data because those channels don't provide enough data.

With the questionable state of Moore's law, and the battery powered nature of the device, it might be awhile before tech catches up. Faster components would use more energy. We need to balance performance with battery capacity, and I expect the product that really catches on will have more of both.
I feel like zstd trained on a randomized sampling of games from the database would come very close to (or better than) this with nearly zero effort.
MM1: Methods, Analysis and Insights from Multimodal LLM Pre-training
What a neat reply I am going to use whenever valid criticism about he readability or accessibility of my websites arises.

"Just use an extension that changes the website bro!"
What sort of heap sizes does g1 vs zgc really start to make a difference?
There are six trusted operators, many with multiple logs. So there is some degree of redundancy, but this project is definitely an outcome of those same concerns.
completely agree!

I keep seeing people trying to shove this into the narrative of "Apple coming late but doing it better and solving real problems". But it doesn't fit that narrative well. Apple here is early to something else that just happens to look like the thing that people are viewing as the predecessor, and it's utility is highly questionable and full of all kinds of weird gaps. In a telling kind of way, they are actually in part leaning on the aspects they are not trying to sell (Here, look at these immersive experiences! But shhh don't call it VR) - to paper over the fact that the core of what they are really trying to build is just not ready yet.
It seems pretty clear what you were implying. I don't see a problem with their journalism.
If you're ok with TOFU ala ssh you can just use self-signed certificates. Skipping the browser warning is the "trust" equivalent.
Twitter is complicated. I think much of its challenges are due to Elon's personality and other choices. If that stuff hadn't happened then they would have had much less of a problem with advertisers (and therefore, revenue). But regardless of whether it was ultimately/financially a success, there's no doubt that they cut a ton of salary expense, and the platform is still running. That was what other tech companies/board members/shareholders saw.
Of course that's a core of franchising: Limiting the choice of business owners. They have to source your stuff even if choices more suitable for them might exist.
You’d presumably need some kind of trash compactor to maximise the efficiency.
Funny how the sequence of events was reversed compared to Redhat, yet the result is the same. A community is building around fork(s) they are losing control of, and they gained nearly nothing from the self-destruction.
"Speculative Execution" is gonna be my boat name.

I'll tell people it's a punny triple entendre, leading people to believe I am a wall street hacking guru hit-man.
WHAT?! Javascript can run on the web now? That's crazy.
> I categorically disagree that VR is going to have remotely this level of impact on humanity.

This feels like a comment from Blackberry or MS making fun of the first iPhone.
I was thinking about this whenever I hear about airlines going down when their dinosaur-mainframe software breaks. How about each airport PRINTS an hourly update with ETAs for each inbound plane, where they intend it to depart, and the disposition for the crew of each plane. maybe even IDNs for all the baggage on each plane and each outbound passenger. Might take up 20-30 pages per hour at a non-hub airport. hubs could have their own "edge" device that can print on demand if the mainframe dies.

If the db goes down, make a bunch of copies of that paper, disseminate them, and keep running. worst case is planes don't run at 100% capacity. Just do the best you can to keep the next few legs going without the mothership telling you what to do. Shouldn't be that hard. I know one of the biggest constraints is that crew members run out of fly-able hours. So print that in the backup too: X pilot has Y hours left after HH::MM zulu time. Maybe lobby FAA to allow pilots to fly a few hr past their maximum a few times a year only if the scheduler goes down. I just dont accept that these billion-dollar networks should be this susceptible to disruption given the current state of tech.
I suppose a major issue here is I wonder how many people who speak Irish know that's abbreviated to "ga"
Honestly, I'm watching a bunch of people punch down at imaginary people, I'm not sure there's really anything here than whining about a good article and bizarre irrational stack ranking
It is, like many an intellectual technological innovation, currently the Churchillian "worst, except for all the other options."

Once a company is traded publicly, the market, over a long time horizon [1], usually gives a good value estimate to the company. In the short-run you have to contend with the different ways to juke the price, such as share buybacks just before the CEO is to get a bonus etc. Heck, even in Boeing's case, the market corrected for the stock price (especially if you consider inflation) once planes started falling out of the sky, and the company started to change. Now only doors are falling out of the sky! It's still a price we shouldn't be willing to pay for a market correction - and that's where efficient regulation comes into play, itself a very fraught tool to get right. All in all, we suck at forecasting, understanding, and learning from outlier events. Maybe it's an inherent problem.

[1] with the usual caveat that the market can remain irrational longer than the plane can remain airborne
Comments moved to https://news.ycombinator.com/item?id=39712618. Thanks!
I mean... they have a superlaser with enough power to vaporize an entire planet, so why don't they just... burn the trash?
Thanks, Ollama.

(Sorry, could not resist.)
Also, a ship as small as a Star Destroyer doesn’t have to worry about issues that a Death Star might - it might make sense that the weight and balance of the Death Star has to be carefully controlled or it could get lopsided; meaning they don’t eject trash and instead compact it to be put on supply ships that just dropped off equal weight.
That's kind of an unfair comparison. The flake you linked:

1. Defines a Go binary (i.e., how to build it)

2. Defines a Docker image that uses said Go binary as an entry point

3. Defines a NixOS module that creates a systemd service that runs the Go binary (only relevant on NixOS)

4. Defines a NixOS test for the module that ensures that the NixOS module actually creates a systemd service that runs the Go binary as expected. The NixOS test framework is actually quite impressive - tests run in a QEMU VM that also runs NixOS :)

Note that only (1) and (2) are relevant to the linked article (+ some of the surrounding boilerplate).
This was my immediate takeway from using Quest 3 as well. Zuck has stated forever that he wants a platform, yet when it comes time to do the hard work, we just end up with an Android distro running a React app.
I wonder if this has anything to do with their acquisition of DarwinAI. After a decade of mediocrity, I'd love to see Siri get smarter. Any improvement would be welcome at this point.
IMHO, the peak of Command and Conquer. Would love to see it remastered.
But if you can't accept credit cards for some reason, no one would tell you to close up your business instead of accepting debit cards.

"This specific category has a high risk of chargebacks, so it's using a less convenient/safe system" does not seem like an absurd thing for a payment processor (or a storefront) to say. Services like Paypal support direct bank access for payouts, right? The systems may not be ideal, but payment processors are not so uncomfortable with them that they won't support them at all.

This doesn't really explain why payment processors couldn't restrict payments for adult material to a subsystem or charge higher transaction fees for it specifically. If this is just about risk, then... risk can be priced. It doesn't seem that complicated. You calculate the chargeback rate for the category and you price transactions for that category accordingly. Part of the financial cost of payments online goes into subsidizing risk, this is already something that we all do every time we use a credit card on a service with transaction fees.

Stripe couldn't have a different pricing tier for payments or businesses operating within specific categories?
I assumed it was letting you store it on the local filesystem, not in the browser storage, which I agree is a bad place to store anything. There is one site I use that stores my favorites in the browser store and I had to write two JS bookmarklets so I can import/export my settings on a regular basis because pretty much every time Chrome crashes you can be assured that all my cookies and storage data gets zero'd out.
>Zig is not a mature language. But it has made enough useful choices for a number of companies to invest in it and run it in production. The useful choices make Zig worth talking about.Go and Rust are mature languages. But they have both made questionable choices that seem worth talking about.

Well, Zig's native string type support, or lack thereof, is also a questionable choice. It's not like Zig did all the right choices and only Go and Rust made questionable ones.
Show HN: A website tracking subreddit's active user so you know when to post
I've tracked the top 3000 subscribed (and some subreddits that I visit frequently) subreddit's active user over time, so you know when to post to get the most feedback!

I come from a nodejs background, and this is the first time coding with Go, so the structures might not be standard. But feel free to give me any feedbacks!
You are very wrong.

Many of the key results of theoretical CS is to prove impossibility. There is no code to be written when you show that something is not possible.

- Halting problem: impossibility of TM to determine if other TMs halt.
- crypto: impossibility for a Turing machine to break a cryposystem in polytime
- sorting lower bounds: impossibility to sort objects given only a less_than operator on them in time less than O(n log n)

and so on. There is no code to be written for these, because they are mathematical theorems.

> computer science is about computers as much as astronomy is about telescopes ~Dikjstra.
Reversible cerebrovascular vasoconstriction syndrome from a Carolina Reaper
Interesting. I've eaten a few of these and only have experienced the "joy"ful pain that comes with eating them.
You've unfortunately been breaking the site guidelines a lot lately - not only in this comment but others such as

https://news.ycombinator.com/item?id=39719417

https://news.ycombinator.com/item?id=39681453

https://news.ycombinator.com/item?id=39681364

https://news.ycombinator.com/item?id=39616844

If this keeps up, we're going to have to ban you. I appreciate your good comments, but they don't make it ok to break the rules.

If you wouldn't mind reviewing https://news.ycombinator.com/newsguidelines.html and taking the intended spirit of the site more to heart, we'd be grateful.
This is the second time you wrote a comment claiming it's a third of the essay.

This time around, I feel like I should point out I went back and checked and it's in 6 sentences across 3 paragraphs in a 18 paragraph article.

I don't know why you started a new account to make wildly exaggerated claims about a pretty good article, but here we are
From the arxiv pdf after eq125:

> This presents a testable deviation from classical general relativity, potentially observable when the other terms are small, such as at low acceleration. The absence of such terms is likely to falsify this model. On the other hand since diffusion of the metric can result in stronger gravitational fields when we might otherwise expect none to be present, it raises the possibility that diffusion may explain galaxy rotation curves and galaxy formation without the need for dark matter

It certainly doesn't seem like an extreme reading to call this a MOND theory.
Sentencing takes so long because the judge is allowed to consider basically anything, and there's a whole data-gathering process to facilitate this. It's just not likely to be a major factor.
The concept of ordering is independent of architecture. What operations need to be ordered relative to other operations to be correct does not change. But, your architecture may implicitly guarantee certain orderings so you do not need to explicitly guarantee those orderings.

If I remember correctly, x86 basically gives you everything except S-L automatically. That means a traditional acquire, L-LS, and traditional release, LS-S, barrier should be "free" and require no explicit instructions. I forgot about that, so it makes sense why they would not mention the presence of explicit barriers. But, that does not change the fact that you need that ordering to guarantee correctness, it is just built-in and automatic.

The oddity here is that speculative loads across a L-LS ordering requires some pretty deep black magic to be going on at the hardware level. I have no idea how they could safely reorder stores across a L-S ordering and still maintain "as-if" the store happens after the load, and even safely reordering loads across a L-L ordering and maintaining the "as-if" seems pretty arcane. The fact that the paper is claiming their PoC works and thus the reordering must be happening is wild. Either the processor is not correctly implementing the declared memory ordering semantics, or they are doing some real reordering magic.
Those 120 lines are not exactly representative. For example if I was writing this for a single service, I wouldn't bother making a new module and would inline it instead. Then, you've got many lines which would map 1:1 to an inlined systemd service description, so you're not getting rid of those whatever the system you choose. There's also a fancy way to declare multiple systems with an override.

This example is a "let's do a trivial thing the way you'd do a big serious thing". If you wanted to treat it as a one-off, I'm sure you could cut it down to 40 lines or so.
> I don't believe Zig wants to have "package manager" at all.

? it's literally one of the project's main milestones: https://github.com/ziglang/zig/projects?type=classic
https://archive.is/c9AsH
American Mountaineer and Filmmaker David Breashears Dies at Age 68
Thanks for the link - they do a good job of addressing it from many angles.
>A compact standard library is more resistant to scope creep

I don't see "scope creep" as a problem.

I see "Lack of standard library support for X brought 5 competing libraries for the same X functionality, no de facto standard, and projects using incompatible implementations and versions, maintained in different states of disarray" as a problem.

Never had a problem with Python standard library having "scope creep" for example. Where I do have problem is where there are several competing libraries and no single well supported one you can always depend on for some - which happens for things not in the standard library.
>I'm fairly confident that not everyone who wants an EV has one already.

Right. But everyone who wants (and can afford) a Tesla has one. And that's about 4.2% of the total US market it seems. Sales growth has ceased entirely for them since 2022.
Because just factually Red Hat isn't working on many of these things alone. Most of these project have huge interest from many parties. And all those parties work daily with Red Hat and somehow the conspiracy remains undetected. The idea tat Red Hat corporate overlords can easily hurd the Gnome developers just isn't how the project is set up.

Many of the contributes to these project, even when being employed by Red Hat don't always do this as their primary job, many do it because they want to. It just so happens many people that love the linux ecosystem and linux itself work at Red Hat.

Other then that, many project that are very unifying and don't create much 'conflict' are also lead or worked on by Red Hat people. Pipewire for example has been the opposite of 'conflict' for the most part. LVFS is another good example. Flatpak/Flathub are another great example (Maybe Ubuntu is the evil agent of chaos). Systemd is also almost universally adopted by ever major distro even if it created much conflict.

Somehow people can't decide if Red Had is an evil dictator wanting to control everything or if they are deliberately creating 'conflict' so nobody is in control.

The simple reality is, there are a huge amount of people with incredibly different opinions in the Linux space. Even different people employed by Red Hat also don't always agree with each other. So who is really the true Red Hat conspiracy agent?

Difference on opinion is fine as long as people work on their own stuff, but when it comes to unification, like Wayland protocols it just gets really hard. The reason there is KDE and Gnome is because of fundamental disagreements about goals and that will be reflected in how they think wayland properties should be installed.

P.S:

> making a problem-free Linux would be a conflict of interest to Redhat, which makes more money the more problems it has.

What is your actual evidence for this statement? If that was true, why are they working on all those projects. Objectively things like Pipewire, LVFS, Flatpak, Systemd have been major improvements to the ecosystem.
Just throwing in some anecdata but this is how it has been used in the place I've worked at since the pandemic started.

Prior to remote work being basically the norm these tools were used more like traditional real-time chat in my personal experience (I'm sure it varies even still based on particular workplaces), but now its generally async with the possibility (but not expectation) of being synchronous if you happen to catch someone randomly available to be bothered at the specific time you send the message.
Completely agree using last-4 SSN is terrible, but some light in the tunnel exists. It is possible to change it, although it is as you would expect, quite annoying: https://faq.ssa.gov/en-us/Topic/article/KA-02220
In that same vein of thought Nim recently launched version 2 of the language which makes the ORC GC the default with options to use a few others. I don’t know if there’s new ones on the horizon but there’s already plumbing in case that’s an interest for you to explore further.
Comments moved to https://news.ycombinator.com/item?id=39712618.
100% this. Nix may seem better, until something goes wrong and you have to waste your weekend digging into it's depths.
> Maybe the switch isn't the problem

Boeing appears to think it might be. Posted elsewhere here: https://m.youtube.com/watch?v=cRF1YTVJ1Q4
Pretty neat. Doesnt pick up Proton, which I guess is good.
Logically this makes sense, but I can't imagine how many decent apps Apple may have rejected for other petty reasons, only to accept the ones that are lambasting people with rentware and other issues the OP mentioned.
did you even read the article you've linked?
Ah we are rolling out the old Red Hat conspiracy nonsense again. Classic HN.

I'm sure that why they invested in Flatpak, they just really want it to make it impossible for people to run non-standard packages on Red Hat. Makes total sense.
Being in a confirmation bubble is comfort and happiness most of the time. Or at least not be confronted with unhappiness.
Or perhaps Star Destroyers dump their trash because they are simply mobile warships that must resupply at bases.

The Death Star on the other hand is a base. The sheer volume of material it must go through boggles the mind. A compactor would be a first step toward recycling and reuse, separating solids from fluids. Not much arrives and not much leaves.

If the Death Star had to resupply constantly, the resources required to shed waste and transport a small moon's worth of resources would be astronomical.

We only saw the relevant military aspects of the station. There very well may have been enormous sections dedicated to foundries, growing crops, schools (a million folks stationed there and not even a few of the staff's kids accounted for?), etc.

Remember that in the US military, for every front line soldier, there are dozens of supply personnel, support operators, etc. Why would we believe the Empire including the Death Star to be any different?
I agree for personal usage, but I'm struggling to justify throwing away social media for work-related usage. A lot of opportunities and connections in my life have come from being active on social media.
https://news.ycombinator.com/item?id=39712618 was on HN's front page for 4 hours, to judge by our logs.
Having actually tried the thing, and having used VR for several years before that, I’d like to think that my opinion is not just a simple knee-jerk response.
The environment!
This is described pretty well in the paper, but briefly: the "race condition" which they exploit happens because the CPU speculatively (and incorrectly) thinks it acquired a lock. Multiple threads being in a critical section can be exploitable and lead to arbitrary read/write and malicious code execution (one case demonstrated in the paper is some random NFC function). The researchers abuse the fact that the critical section can be entered speculatively to gain speculative malicious code execution, which they then use to construct a gadget which leaks arbitrary kernel memory into side channels.
> Will it be when the only recognized title, legally, is a digital token?

Yes. Changing databases doesn’t change anything. The person who holds the digital token may have obtained it fraudulently, or someone else before them in the chain.

What you might be suggesting is a centralised property record. Most countries have this. But that comes with other yradeoffs.
Hi, @pklausler, here is an example with gcc+gfortran. Thank you.

```

export CC=gcc

CFLAGS="-Wall -Wextra -Wpedantic -Werror"

export FC=gfortran

export FFLAGS='-Wall -Wextra -Wpedantic -Werror -fimplicit-none -frecursive -fcheck=all -fstack-check -Wno-function-elimination'

# Build

cmake -DCMAKE_BUILD_TYPE=RelWithDebInfo -DCMAKE_INSTALL_PREFIX=. -LAH -DCMAKE_C_FLAGS="${CFLAGS}" -DCMAKE_Fortran_FLAGS="${FFLAGS}" .

cmake --build . --target install

cmake --build . --target tests

# Test

ctest --output-on-failure -V -E stress

```
This Kafka sink connector is designed to send data from Kafka topics to Rudderstack. It allows you to stream data in real-time from Kafka to Rudderstack, a customer data platform that routes data from your apps, websites, and servers to the destinations where you'll use your data.