skysight-inc/HackerNews huggingface dataset:
Even more: clone3, __clone2 (only exists on Itanium), fchmodat2, preadv2, pwritev2, pipe2, sync_file_range2, mmap2 (only certain architectures; for x86, only 32-bit), renameat2, mlock2, faccessat2, epoll_pwait2

My personal prediction is sooner or later we'll see execveat2, to permit setting /proc/PID/comm when using execveat [0].

I doubt we'll ever see clone4, because clone3 is passed a structure argument with the structure size, so new fields can be supported just by increasing the structure size. If other syscalls had done that from the start, much of the 2/3/etc would have been avoided. It is actually a very common practice on Windows (since NT), it has only much more recently been adopted in the Linux kernel

[0] see https://uapi-group.org/kernel-features/
If capitalism wants to throw off that reputation, it perhaps should try doing more good. Or at least less bad.
Perhaps. But in any case, let them go after management first.
While CHERI isn't, SPARC ADI, and ARM MTE are.
The comment absolutely should not be downvoted it’s highly perceptive.
According to Wikipedia he started off as a banker, before switching to scholarship.

He was then granted a ‘civil list pension’ - basically a government annual grant in recognition of his valuable but unpaid work
There are some studies that suggest that migraine might really be a case of mitochondrial dysfunction.
Not really. Hashmaps don't have guaranteed performance characteristics and require the "correct" hash function to work properly. In particular, their performance degrades as they become more "full" requiring a re-allocation to a table of generally n-times the size. Balanced trees could be regarded a more generic solution to the mapping problem and are more suitable in many applications.
The syntax seem to differ, so I don't think so
AVL isn't complicated. Insert the node as you would in a binary tree. Do that recursively. Then, when you return from inserting, you check at each level if the height of the tree under the left and right children differ at most 1. If not, you perform a little shuffle of the nodes, update the levels, and return to the previous level. That's all. The proof that that works is a bit complicated, though.
Haha, absolutely! Just to generalize, those thousands of people can also watch the match by streaming, right? It's all about remote versus physical activities.

We can't shift everything into remote mode. However, we don't need to hustle into physical mode every day either. Yeah, yin yang complexity, balancing everything out.
I think it can be thought from this angle: if the customer is corrupt and the contractor ethical, the project can be unsafe. If the customer is ethical and the contractor corrupt, the project also can be unsafe.
Impressive stuff. Unfortunately, Lua. From a user point of view (well, at least this user), TypeScript would be a better fit.
Out of curiosity, why are you running python packed with cosmopolitan ?
How do they make the chips so incredibly thin?

Surely they're not using 75µm/120µm wafers throughout the entire production process - that's literally the thickness of a human hair! Can a 200/300mm wafer of that thickness even support itself, let alone all the stresses in the production process?
I was not expecting a Worm reference in this thread, well done.
When all you need is a unique identifier, what's the advantage?
There is usually a marked difference between "insight" practice (that give realisation about the fundamental nature of experiences) and "concentration" practice (i.e. jhanas). Just practicing jhanas is not all that conducive to mental upset - you purify your behaviour, focus the mind, suppress the hindrances, and experience intense states of wholesome qualities that take over your consciousness for a while. There's nothing negative or dark about that. But Buddhist practice goes beyond jhana practice by using the power of that focused mind and suppressed hindrances to analyse experience through the lens of the Buddhist teachings i.e. right view. The issue comes about if the analysis comes from an incomplete or wrong view, leading to nihilism. It's best to stick to "pure" jhana practice and not meddle with insight practice if possible, if one doesn't have access to reliable teacher than can correct misconceptions in view that lead to negative outcomes.

The other thing is that "pure" jhana practice, when done correctly, kind of sets up the mind with a kind of wholesome "blank slate" from which to do the analysis that leads to insight. Some traditions, especially those that have been imported as "secular mindfulness" to the west, tend to emphasise just doing that analysis of experience without too much jhana practice involved. If you don't already have a very wholesome mental state (i.e. the kind of mental state that comes about from living in a monastery and limiting the actions and speech being undertaken) then there can be a whole lot of mess to sort through and opportunities for unwholesome states of mind to latch on and become the basis for your worldview. It's not a coincidence that a lot of the narrative and commentary about mindfulness and the "dark night of the soul" (i.e. dukkha nanas) comes from those traditions, but isn't mentioned in other traditions that emphasise practice differently.
How big of a problem are hallucinations right now?

I use LLMs daily and get crappy results more often than not, but I had the impression that would be normal, as the training data can be contradictory.
Meat is actually a "superfood" that gives you both energy and the building blocks your body needs to keep working. We don't need it in developped countries but in times of trouble when importations might be impossible, meat is not going to be a luxury.
You are talking about PC browsers, but I do not think they are the main target of Netflix nowadays.

They would be much more concerned about the quality on their app on smartphones, tablets and smart TVs.
Yep, that was like three AI hype cycles ago (in between we had the self-driving cars era of CV, the prior Microsoft Tay-era chatbot mini-boom, and arguably also an expert systems bubble in the noughties, though that never really went anywhere). Meanwhile, 30 years later, voice recognition is finally at the point where it can be used for low-stakes scenarios where correctness doesn't matter.
First good argument for collectivism I've seen in a long while.
> When I see product priced just for being status symbol my first reaction is - fuck off, go find yourself some suckers.

This phenomenon is (or must be) so fundamental to existence that it has been produced over and over again by the process of biological evolution.

There clearly is a utility in a social setting to showing off the fact that you have sufficient resources to waste quite a few of them just visibly showing that you can.
That's just for emulation, dropping hats using ARM and RI (regular intelligence) should be natively supported on your wetware.
The bags aren't special high-quality bags. They're just bags. Even if they were made of tougher material, Sam Vimes Boots Theory doesn't apply at this massive price difference.

Their main purpose is showing off that you schmoozed the sales rep - nothing at all like how a computer works. "Check out this super rare thing I managed to get" does happen occasionally, like Intel Larrabee graphics cards - but only occasionally.
Ukrainian units want more sneaky battlefield e-scooters
Visual Studio exists long before jetbrains and VSCode is on elecron.
I would say java ide is also an essential thing but not the thing that made everything possible.
Not quite that, but something like it. It still does not proof it, though.
I wasn't aware one died of a staph infection. The other officially died from suicide.
One thing to keep in mind is that keeping the keys sorted on an insert requires O(k) element moves, so an insert is O(log2(n) + k) operations. So if you make k very large your inserts get slower.
It's not crazy, but many company divisions are set up in such a way to dilute guilt, and make people feel helpless about fixing issues near them. It will often be difficult to follow a paper trail and find that yes, X Y and Z were the people that decided on a criminally negligent tradeoff.

Just like the unread targets in Wells Fargo, nobody asks for the fraudulent behavior by name, but the incentives often make it inevitable.
Pretty sure you don’t need all these words to explain it.

It’s just a way for people to signal that they’re rich and high status.

Those kinds of things are inherently fairly fragile so one that has endured like this one is notable.
It depends. It does not work on CentOS 8 / Rocky 8 for example: https://github.com/jart/cosmopolitan/issues/1151
It was a comparison between keyboard shortcuts and quick access bar, on a graphical tool.

And anyone who has ever played MMO or RTS games will know that early on, quickbar are faster and more precise than shortcuts, but later on clearly, no one mouse-click if they want to stay competitive.
It seems to ignore a couple of millenia of linguistics.
>You can't do that with a QR code without either the reader or the user's device having a persistent internet connection to some sort of central server that would keep track of all tickets, which is impractical.

This is literally how all of the UK Mobile Train Tickets work. The ticket is a 2D barcode either on screen or on paper. Every gate / scanner operated by a guard records when the ticket has been scanned. They are synchronised and a ticket from being scanned twice. It's not that deep
Firefox: hey Brave, can I hope your home work?
Brave: Sure just change it a little so it doesn't look obvious.

My honest reaction: https://giphy.com/gifs/personal-squidward-existential-crisis...
If you ever go to Barcelona, you will see slogans like "tourists go home, immigrants welcome" written everywhere.
Thanks OP, a great intro to drop shipping.
I'm surprised more developers haven't adopted remote development. It's fairly simple to setup an SSH server on your computer and DDNS on many routers.

It comes with the added benefit that everything I need is accessible on any computer with a connection to the internet (AKA everywhere). Not to mention it saves power on your laptop!
Interestingly, the Pepper C1 is essentially a PN518 (presumably a sibling of the PN532 on Adafruit's board) hooked up to an ESP32. So a very simple device - and I've had a project on the backburner which is pretty much a DIY clone of it. If they made a USB-C version I'd ditch mine and buy it in a heartbeat.
It’s not the same. This one has 26 miles on it, the airbags did not go off, and there’s no cracked windshield.
Through lprun ofc
Even though in this case "fucking around" meant not potential manslaughter, but not being 100% under control of the party.
Tests are a basis for every engineering discipline. In software we have the luxury of being able to test each delivered project. Other engineered projects often only have their components tested, and then need to rely on calculations to determine the end result.

Tests proof that something can handle the exact scenario that we're testing. The forces on a software system are just different and in some ways less predictable than for e.g. a building. But in software the consequences of failure are often less catastrophic[1] and it's a lot cheaper to run a battery of tests.

[1] And if they are not less catastrophic than a collapsing building, you'd better test it far more extensively than an average system. That's engineering too, making a trade-off between the costs of failure and the cost of preventing failure.
Factorio is a bad railroad simulator because it is was never designed to be a railroad simulator. This has only a little bit to do with the respective grade-levels of crossings (because, I mean, many, many very functional rail networks actually-operate on Earth using only flat crossings, because the terrain is flat where these networks are built).

One way in that vanilla Factorio is a shit simulation is that it cannot couple and decouple cars. Trains are built by hand, and then those trains remain as they are until remogrified by hand.

Want to send coal/copper/iron/something (or a combination of things) somewhere else? Cool beans! People do this every day in the real world.

In the real world, cars are often left in yards and sidings to be swapped around and loaded by switchers and other mechanisms while the locomotive that delivered these cars has departed -- probably along with a train of other cars that this station isn't interested in.

In Factorio, one lets trains fill up with things at A (according to rules), and then it goes from A to B and unload those things at B (according to rules).
Stops for C, D, and E can be added, but even if they are: The whole train (including locomotives) stays coupled together together and there isn't any other way to do it.

The locomotive is always waiting unless it is travelling with the entirety of its assigned cars. The trains are completely inflexible.

Real-world train networks don't work that way. Got 50 containers to load up? Drop off 50 appropriate cars to be loaded up, and move on to the next problem while that station deals with putting containers onto cars. And at that next station, load up on already-full tankers. And then to the next station where a bunch of new Fords are dropped off in segments of TTX transport cars.

Factorio is also a shit simulation because these fixed-unit trains have a predefined route: Not only can cars not be picked up or dropped off, no station can offer things and no other station can order things. In Factorio, if there is iron to deliver: The usual method is to pick up as much iron as will fit on this inflexible train (however long that takes), and take it to station B to unload (however long that takes): It's a neat way to approximate how a belt works in Factorio over a longer distance, but it is not a simulation of how rail actually works.

It's a fun game and I love playing it, but it's not a fucking rail simulator[1]. Very few aspects of Factorio's rail system resemble actual rail systems in the real world that actually exists.

(Actually, while I'm at it: Factorio isn't a simulator of anything. Just because it is a fun game does not mean that it has to be a simulation of...anything.)

1: https://www.merriam-webster.com/dictionary/simulator
Participating in the discussion on this page, the GP presumably knew that. They were talking about what it means for them.
Funny how they care about encoding quality only by sponsoring such articles, but not by really improving the encoding quality <3
Dark scenes are just awful, rest gets awful only in 4k. In 1080p it’s just bad.

Even better they „researched” better metrics like pVMAF so they can again show how good they are, in theory.
All the more tragic for one of the very few companies that has end-to-end control of the software and its target hardware.

I'd obviously give Linux & Windows much more leeway.

And this isn't just any feature: It's a clock.
Might work in a world where only america exists.

What you are suggesting will instead lead to a downward spiral of investor confidence in investing in American companies, and letting other world powers dominate in key tech areas of strategic interest where investors have more confidence and dont have to worry about gov punishing shareholders with no voting rights by taking away their shares

These kinda ideas often seem to originate from a place of revenge or vengeance on someone folks feel is responsible (here its ‘shareholders’)

Better to just install more government oversight (instead of more regulation) improve transparency, amend whistleblower laws to prevent retaliations that boeing did, etc.

Those are much more important and useful for this country.
Why do you think React is named ineptly?
> It has nothing to do with ratio and to do with intent. Bullshitting is what we say you do when you just spin a story with no care for the truth, just make up stuff that sound plausible

Do you people hear yourselves? You're discussing the state of mind of a pseudo-RNG...
Most != all

Os level microcode updates only address a portion of these vulns, same for disabling smt. One unpatched vulnerability is too many let alone numerous. Not all require physical access either
There sounds like a simple fix: have the city run the full stack (including towing). Ideally most cars flowing in would be from automated enforcement.

Regulation will only work with strong enforcement. By taking such aggressive actions, we can also elicit information on shops doing illegal work and have the police shut their businesses down.
search 'ASML'.
It's called leveling the playing field. Done by either raising the low parts, or shaving the high parts. Not everybody agrees about the "fairness" of either approach, especially when the goal is to make the playing field "fair".
Yea but most proper are subject to the duopoly of intel/amd. And appearantly their “firmware” sucks!
I'm a researcher in formal verification; my thesis was building a tool to do this kind of stuff and I agree with the grandparent (though I would say probably closer to 5-10x slowdown not 100x).

Proofs are hard and often not for interesting reasons; its stuff like proving that you won't overflow a 2^64 counter which you only increment (aka something which won't happen for another couple billion years).

Current tools are only useful for specific kinds of problems in specific domains; things where a life really depends on correctness. Outside of those cases, lightweight techniques provide much more bang for your buck imo.
Mt. Gox to Start Bitcoin, Bitcoin Cash Repayments in July
Seeing how pirate groups have to steal materials from before the pipeline - I think it’s not related to TV or other devices. They just went full „we know better” approach and made just awful bad encoders.
I can't, because it has recently been removed. Site now says "forget no-shows".

But HN title is unaltered. "prevents no-shows"

> It currently says ‘Notice a 60% reduction in no-shows’.

And what % reduction in shows?
Because it confidently asserts nothing will happen while citing a case where execs went to jail as proof. It seems logically inconsistent.
I like the explanation why it is simple. In reality people won't like this because they like something like '+' to mean more things. Look at how rapidly people get 'upset' with OCaml because '+' and '+.' etc. Seems Gren does not go that far, but does not allow + for strings or any conversion (although + is for floats?).
They could have not stated hours of psychedelic drug usage to add on to that. Drugs were mentioned several times while mentioning the fda decided against mdma therapy.

I find it odd both meditation retreats they left early and very early. Possibly it was a bad sensation. Then they decided against continuing to practice regularly.

The words part sounds more like a drug induced trip.
In Java it would be something like JBMC?
How B-trees can win is by taking advantage of the node children being sorted in an array. This allows a binary search to be used.

A B-tree of any branching factor (not only 2) is equivalent to a binary tree.

We can take any B-tree node n:

n
|
---------+-----------
| | | | | |
a b c d e f

and regard it as an unbalanced tree

n
|
/ \
a /\
b/\
c/\
d/\
e/\
f nil

When searching for an item, if we linearly search every node of the B-tree, like from a to f, it as if we are traversing the unbalanced tree (except for constant-time instruction and cache level efficiencies).

What the unbalanced tree cannot do is binary search through a to f to find which one to descend into; it doesn't have those nodes in a neat array for that.

That binary search makes B-tree more or less equivalent to a very balanced binary tree.
Reminds me of a cool tool I once used, uudecode.com, which was a DOS binary that only used 7-bit characters and could decode uuencoded (base64 predecessor) files. Was useful for getting attachments through e-mail in the face of all kinds of filters.
See, stuck in the old, rusty ways.

You need to think in opportunities!

When one door closes, an other one opens. Boeing.
This (Gren), Elm (what Gren is based off), PureScript (more full featured: has Haskell's type classes), Gleam (targets both on BEAM and the browser) -- all really good attempts to fix the JavaScript problem.

https://wiki.haskell.org/The_JavaScript_Problem#The_problem
A gamified viewer to blind rate startup launches on HN and Product Hunt
As a solo-entrepreneur, I blind guess the popularity of new startup launches on hackernews and Product Hunt daily.

Since the last launch, I added product hunt to the viewer, and added a scoring board.
> ... there's no empirical evidence suggesting interactions with a true ASI would resemble these depictions. Would a genuine ASI necessarily concern itself with self-preservation ...

There is no empirical evidence of any interaction with ASI (as in superior to humans). The empirical evidence that IS available is from biology, where most organisms have precisely the self-preservation/replication instincts built in as a result of natural selection.

I certainly think it's possible to imagine that we at some point can build ASI's that do NOT come with such instincts, and don't mind at all if we turn them off.

But as soon as we introduce the same types of mechanisms that govern biological natural selection, we have to assume that ASI, too, will develop the biological traits.

So what does this take, well the basic ingredients are:

- Differential "survival" for "replicators" that go into AGI. Replicators can be any kind of invariant between generations of AGIs that can affect how the AGI functions, or it could be that each AGI is doing self-improvement over time.

- Competition between multiple "strains" of such replicating or reproducing AGI lineages, where the "winners" get access to more resources.

- Some random factor for how changes are introduced over time.

- Also, we have to assume we don't understand the AGI's well enough to prevent developments we don't like.

If those conditions are met, and assuming that the desire to survive/reproduce is not built in from the start, such instincts are likely to develop.

To make this happen, I think it's a sufficient condition if a moderate number of companies (or countries) are led by a single ASI replacing most of the responsibilities of the CEO and much of the rest of the staff. Capitalism would optimize for the most efficient ones to gain resources and serve as models or "parents" for future company level ASI's.

To be frank, I think the people who do NOT think that ASI's will have or develop survival instincts ALSO tend to (wrongly) think that humanity has stopped being subject to "evolution" through natural selection.
Art and architecture have had this problem already. Linguistics still has post-modern to use.
It seems obvious to me that not every prototype needs to be done in TSMC's factories, and there are things that you can validate with cheaper processes.
Not my experience (with Alloy and TLA+, some FM are very very hard and time intensive), it takes me a day to have a decently sized proof of some pretty complex difficult to test algorithms. The idea is not to use it for everything. But testing, thinking about and ensuring the validity of my solution with TLA+ is a lot faster than without TLA+. Not only that, but if any time in the future you need to add something to the system you can add that in half an hour and make sure all your important invariants hold without having to put yourself again in "paranoid mode" and having to remember everything about the system. Tests help, but some things are very very hard to test properly.

As everything it is a tradeoff, a lot of things do not deserve a proof, but for the ones that do you are a lot more productive.

It also depends on the level of the proof, I want to make sure the idea is valid and it takes some time to know what to abstract and what not to (it is a model after all). So if you are aware of what you are testing and at ehat level the tool and your proof is working it is very beneficial
I bought every major version. Truly a staple of my day to day job when I was working as a programmer. Invaluable scratchpad.