skysight-inc/HackerNews huggingface dataset:
tl;dr: Valid critiques. Still doesn't matter.

> Syntactic Order Is Not Semantic Order

100% true. Not enough to justify throwing out all the stuff built upon SQL. There's the rub. It can't just be better. It has to be so much better that processing time, retraining costs, and rewriting (even in greenfield) are economically and socially justified.

Humans linguistically adjust to reordered semantics rather well. In Japanese, the verb comes last in a sentence. In German, the verb can be in the second position (most common), initial position (verb first), and clause-final position. In Spanish, verbs are often in the first position since conjugation determines the subject. We can argue about which language is best or most efficient, but once you have a large population that speaks and is literate in that language, it stops mattering anymore.

Rust is supplanting C and C++ in many venues not just because of grammar (in fact, it might even be in spite of grammar), but because there are tangible and measurable advantages in the real world with regard to memory safety and code maintenance.

As long as the arguments against SQL remain firmly in the realm of aesthetics, it's not going anywhere. You need examples where the replacement actually benefits the efficiency or safety of a database engine without sacrificing existing functionality and use cases. I firmly believe this to be possible and likely in the future, but I think far too many critics and naive syntax haters underestimate the amount of work involved. We're talking "whole new operating system from scratch and then build popularity" level of difficulty here.

Google has amazing resources available to it and very smart people. They made the Spanner database engine largely from scratch that supplanted many assumptions about the inviolability of the CAP theorem at scale using custom hardware, atomic clocks, and a lot of novel techniques. And yet they still put an SQL layer on top of it. There's tons of research into "cleaner", "more elegant" options than SQL just like the paper listed here. Google's no stranger to new language development from Dart to Go to Carbon.

And perhaps Dart is the best example of this principle. Looking at the language, many would argue it is an objectively better language than JavaScript. Google controls the engine underlying Chrome, Opera, and Edge now. The Blink engine has a commanding level of marketshare. But like VBScript before it, Dart was never widely adopted for web development, even for internal web apps where Chrome/Chromium are mandated for use. Dart may have been "better", but it wasn't "better enough" to displace a massive install base and legions of developers already familiar with JS. Cosmetic improvements to JS, massive VM optimization efforts, and the introduction of the typed superset known as TypeScript have proved more than enough to keep usurpers at bay.

It's gonna take a lot more than academic papers and translation layers. To all the SQL haters out there: "You're gonna need a bigger boat."
Warning: Anti-adblocker popup.
The big diamonds are specifically the Chen notation of ER diagrams. Which is popular in academia because that's how Professor Chen first described ER models, but seems pretty unpopular everywhere else because it's not that readable, especially as models get larger. Most people who have to actually use ER diagrams seem to use some variation of the UML notation. And even though it doesn't seem to have a name, OPs version is a pretty straightforward (and imho more intuitive) extension of the UML notation (forbidding N-N relationships and adding the relationship name as a foreign key to the table instead of writing it on the arrow). It's also hardly the first time I've seen it, we just need someone to publish a book that gives it a catchy name.

If we want people to actually use ER diagrams, treating the original version from 50 years ago as the only valid way to write them doesn't seem useful. Both science and engineering are about iterative improvement after all.
The point about workers using the new system to simulate the old workflow, even when it's less convenient/efficient is great. It's very easy for the company deploying the system to do insufficient training and for the workers to just try whatever works to get going quickly in the initial phase. If you never check on them they might keep doing the suboptimal thing forever out of habit.

Then 2 years later you find out they have separate warehouse gate for each contractor because they never bothered to learn the functionality that lets them assign priorities to contractors. So half the time the warehouse uses like 20% of the warehouse gates for no reason other than lack of training :) Real story BTW.
In some sense, basically every field of math makes this kind of distinction. e.g. it's acknowledged that for a vector space V, the tensor products V⊗(V⊗V) and (V⊗V)⊗V are not equal, but they are equivalent in the sense of e.g. a linear isomorphism, or maybe in the sense of an algebra isomorphism or something, and mathematicians do have machinery to track in what sense they consider two non-equal things to be equivalent, and they take the time to prove that operations they want to define on equivalent but non-equal things give equivalent results. Category theory is partly concerned with this kind of machinery.

So they do care about this, but then invented ideas like equivalence relations and quotients so that they can not have to constantly care about it.

With programming languages or a proof assistant like lean, by default non-equal things are not the same, and you need to do some bookkeeping to carry around proofs that things are equivalent in the way you need them to be. The tricky thing is actually making it ergonomic to be able to think of (1+1)+1 and 1+(1+1) as "the same" without constantly needing to think about it. It's hard to do math in most programming languages partly because they lack the machinery necessary to have contextual notions of equivalence (but also because they lack dependent types).

In some fields, that extra bookkeeping is really important. E.g. in geometry you might be able to choose coordinate systems at each point of some space, but perhaps not in a way that is globally defined and consistent with the types of equivalence that you need, so you need to track everything through local coordinate changes as you move around.

Or a simpler example is a vector space and its dual: they're isomorphic, so in some sense equivalent, but not canonically so, so you need to track the equivalence you're using, and maps on one are "mirrored" when applied to the other. More generally, any finite dimensional vector space is characterized (in the sense of equivalence up to linear isomorphism) by a single number (its dimension), so in some sense it "is" that number, but we also think of them as each being different, depending on context. So f.d. vector spaces can in some sense be thought of as "numbers that remember which vector space they are".
This road is only used by tourists and some people who park on the side of the road to get fish and crustaceans. People who live here take the bridge instead (https://en.wikipedia.org/wiki/Noirmoutier_Bridge) which became free to cross a long time ago.

It's actually a nice place to stay as the weather is warm during summer, and there is almost no one there in winter (no humans, no cars or humans' noise, it's both creepy and amazing at the same time). They have beer, good food, and people are usually nice. They also have some kind of local "HOA" (or laws maybe?) across the island which explains why most houses stayed in their traditional old-school style (blue shutters, white walls, specific chimneys that are sometimes fake...)

Feel free to ask anything. It's the kind of place I would live in if I could be full-remote.

Edit 1: While this post may be off-topic, I remember that there was a retro-gaming shop that used to sell NES, Super NES, Neo Geo, and Japanese games. It closed a few years ago but it was very strange seeing that on an island mostly populated by old people. That was not the kind of shop you would expect here.
See, this is where my understanding of LLMs breaks down. I can understand one token going through the model, but I can't understand a model that has different "experts" internally.

Do you have any resources or links to help explain that concept?
Ansible Galaxy Not Functional?
Maybe the real difference is that such things might be possible in the US, but sound laughable in Europe?

What would you need to mess up to be liable for huge sums as a single consultant company?
I am a certified (British) Vegemite fiend, I go out of my way to stock up from the supermarkets that carry it (it's tragic to see a whole metre of shelving, top to bottom, taken up with differently packaged marmite and its derivatives like marmite peanut butter, but not a single tray of vegemite).

However, as a child I went through a phase of eating Bovril on toast. Looking forward with not a little apprehension to "Adventures in making Bovril".
ActivityPub/Nostr/At-Bluesky Compared
> they should at least stop and raise the issue to a government agency, to limit their liability.

Many countries have a revolving door between industry and government oversight.

New Zealand consistently scores well, having low corruption. Currently we have a government that has a very interesting relationship with the tobacco industry, with freight/roading, gambling and with horse and dog racing.

I’m sure there are many more.
Islam

On the surface it always looked like just another abrahamic religion to me.

When I scratched the surface i was unpleasantly confused.
A toolset is always a personal thing. You’ve adapted things to your need and worklfow, and with that can go with your day without worying about what to use. I believe computing should be customized to the individual or the company. Generic solutions will always feel generic and the current trend of either minimal customization or overcomplication is not helping. I think that’s why some people are pinning for old OS as they fullfilled their role of disapearing in the background and let you do your thing. Now you spend more time interacting with the OS than the applications.

Computers can do great, but I think it required some thinking about what you want to accomplish and how a computer can help. Then tailor your computer usage to that. For writing, you may want something like nano/notepad or the full word processor experience. But don’t use one when what you need is the other.

Choosing may be difficult, but a period of reflection will help tremendously.
NYC's AI chatbot was caught telling businesses to break the law
Atlanta Police Foundation pushed 'unprecedented' surveillance plan
You're being polite asking for a source. The source will, as it always does, turn out to be "some random stuff I read on the internet don't know where but everybody knows this is true".

Insert LLM-generated variation thereof.
Per the documentation you have to provide dumps of the original Xbox bootroms, and it can optionally use a HDD image taken from a real Xbox, but the latter isn't required because they provide a basic cleanroom reimplementation of the dashboard you can use instead.

https://xemu.app/docs/required-files/

The CPU in the Xbox was literally an off-the-shelf Intel processor (some crazy people even soldered in faster CPUs that were never meant for the Xbox) but as I understand it the GPU is weird, and that's where most of the difficulty with emulation comes from. It's a unique mashup of GeForce 2 and GeForce 3 IP that was never used anywhere else, so the existing efforts to reverse engineer GF2 and GF3 for Linux drivers were of limited use.
Sounds like a good idea for an app. I believe all that data is available through HealthKit. ChatGPT it up :)
You can think of them as equivalent ways to write the same code. There are mechanical rewrites to go from one to the other, and these rewrites work in any direction. Which way is more readable depends on circumstances.

When a function needs a lot of parameters to do a calculation, these parameters can be arbitrarily grouped into records and supplied in any order. Languages have convenient syntaxes for certain ways of grouping parameters together.

For example, a closure creates a group of parameters in the form of a function.
OR-Types
Samba doesn't use the passwords or users in /etc/passwd directly. You have to map any SMB users into /etc/passwd users in Sambas database. Without that mapping they don't exist for Samba.
If someone is looking for sources, this article goes into great detail though it is extremely long but worth the read. Other publications have posted similar stories.

https://highline.huffingtonpost.com/articles/en/welcome-to-b...

Ground water and soil contamination is just one source of exposure. EWG has created an interactive map of the US which tracks this.

https://www.ewg.org/interactive-maps/pfas_contamination/map/
> He suggested that, perhaps, the kernel's memory model could be rebuilt on top of C or C++ atomic operations, at which point supporting the Rust model would be easier. That seems unlikely to happen, though, given the strong opposition from Linus Torvalds to any such change.

Torvalds is right on this issue. I‘m an avid rust fan and use the language every day. Rust has the job to adapt to the kernel, not the other way around. Imagine if instead on working on „panic-free“ rust for the kernel, maintainers would call for the kernel to just crash.

If rust can not sufficiently adapt to the way of the kernel, either the language needs to change or the experiment needs to be considered as a failed one.
I say scaffolding because for any task an LLM can either do reliably enough or correct reliably enough, or where correctness is easily verified, all you need is a loop of multiple runs, test and feedback.

So for a whole lot of tasks it is just down to scaffolding. For AGI it's not. But for a task like running a Turing machine it is and so it downplays their abilities to measure them by what they can be "convinced" to do in a single prompt.
Cool to see another query language for source code! Yours is definitely closer to SQL than GritQL is.[0] I particularly like the count semantics.

[0] https://github.com/getgrit/gritql
I had a similar issue with my car insurance. My mother in law, who shared a first and last name with my wife, got into a car accident, on my insurance.

I worked it for a year and was unsuccessful in removing it. Ironically, my wife passed away but the accident is now associated with her car. They did figure out however, that I’m no longer eligible for a multi-driver discount.
1) That's a reason to change the student loan rules where you live.

2) When a corporation goes bankrupt, it can get dissolved. This is the corporate equivalent of the death penalty, which you may approve of, but it still isn't going to help: all the assets get sold, and all the investor groups (a) know that (b) can get the stuff cheap because it's a fire-sale, and (c) know the exact size and shape of the market opportunity created by the dissolution. And there's a workforce right there, who were all laid off and are looking for work, who have exactly the skills you need and are already conveniently located and familiar with the equipment.

The debt doesn't get fully paid off, there's just nobody to do the paying.
Works fine in Safari on my iPhone, too. Curious if Apple is doing something in hardware.
If I am not wrong this is a LLE (low level emulator) rather than a hle so it should emulate the hardware rather than the kernel. So you need the dump of the microsoft's xbox kernel for it to work
They do. HN commenters often over simplify complex issues.
It's not quite what you're asking for, but you can retrieve heath records using a Shortcut. I'm not sure if detailed sleep data is retrievable this way, but you at least can get times to bed, times woken up, etc.
> I wonder if they added the anti-crime as PR excuse.

Having now done a bit more research than I care to admit to, this book, particularly the page 14 sample, suggests nuance rather than pretext, particularly that reduction of public urination was a secondary benefit that became a primary benefit after public lighting:

https://www.lespressesdureel.com/EN/ouvrage.php?id=11065
Old dogs can learn new tricks to compete with Apple, https://www.phoronix.com/news/Qualcomm-Mainline-Linux-2024

They have publicly promised upstream Linux support for Elite X at launch.

> I'll gladly stick to ye' olde X86, where I can plug in a USB stick and install any OS I want without worries.

We'll find out soon if these new Arm laptops can bridge that compatibility gap thanks to UEFI and Arm SystemReady.
Fun fact, FFS (and its generalization, FNS) is in CUDA: https://docs.nvidia.com/cuda/cuda-math-api/index.html#group_...

Another nice CUDA hardware intrinsic I like is log2.
Incompetence is obviously not treason. It also sets up a ridiculously bad precedent.
Please read "Story of your life" by Ted Chiang. A beautiful story that involves a discussion of Newtonian and Hamiltonian formulations.
One of the best stories I have read.
This quote would be from the 19th century or a bit earlier. Either Abraham Lincoln or one of the American Founding Fathers.

So it would be talking about the Czars.
Dragonbox Pyra: The MIA Successor to the Open Pandora ARM Linux UMPC
https://pyra-handheld.com/boards/pyrapics/pyrared.png

From Wikipedia:

The DragonBox Pyra is an upcoming Linux-based handheld computer equipped with a keyboard and gaming controls. The project entered prototyping stage in 2015. Pre-orders began on 1 May 2016, with a final release date still undefined.
Yeah, there have been a bunch. The last one I remember was a fairly well used security camera. VPN was how they streamed video back to storage. A really “simple” solution to turning a LAN-based video camera into an internet-connected one.

I’ll see if I can drag up some references, a quick google doesn’t show what I’m looking for.
Thanks for the link for the article, it is nice to read some other perspectives about the matter.

It seems that the claim of Quran plagiarism of Greek embroyology has been debunked and refuted by these articles [1],[2],[3]. For a start Muhammad himself is a well known illiterate or ummi in Arabic. Even if he could read and write, he could not have acquired knowledge of Greek or Hellenic embryology via written works since the first major translations of Greek embryology into Arabic began at least 150 years after the death of Muhammad. The irony is that, after the translation efforts (due to generosity of the Caliphs including Al-Ma'mun who famously pay in weight of gold the equivalent of the weight of every translations into Arabic) there are now more Galen works in Arabic than in Greek!

Al-Mamun also famously accepted a peace treaty from Roman Byzantine Empire in the form of original copy of Ptolemy's Almagest [4]. He could easily wallop the Byzantine Empire if he wished since he is the one who fully conquered Afghanistan, not an easy feat even by today standard where the mightiest of Empires including British, Russian and US government has recently failed.

[1] Did the prophet Muhammad Plagiarise Ancient Greek Embroyology?

https://www.hamzatzortzis.com/did-the-prophet-muhammad-plagi...

[2] Does the Qur’an Plagiarse Ancient Greek Embryology?

https://islam-papers.com/2011/10/02/does-the-quran-plagiarse...

[3] A Muslim Answer To Criticism Of "Embryology in the Qur'an:

https://www.call-to-monotheism.com/a_muslim_answer_to_critic...

[4] al-Ma'mun:

https://en.m.wikipedia.org/wiki/Al-Ma%27mun
I’m so very sorry. I’ll be sure and check in with you in the future to make sure my comments meet your lofty standards.
Airbus was created by European governments, but sold off to force it into market competition.
Median household income in 1990 was probably in the 25k range, mortgaged that’d be a 10-20 year payoff, so not too far off.
I'm quite surprised to hear this. What do you get from GCC's analyser that Clang's static analyser doesn't already report?

I tried to use GCC's analyser several times, but I couldn't find any good front ends to it that make the output readable. Clang has multiple (reasonably good HTML output, CodeChecker, Xcode integration, etc.). How do you read the output?

Furthermore, I find that GCC produces many more false positives than Clang.
I suppose implementing effects like this in CSS instead of GPU shaders is the modern version of implementing a 3D spinning cube on an 8-bit home computer. Pushing the hardware to its limits is now too open-ended, so we push specifications to their limits instead.
Got a big ole dual core VAIO, then toward the end of my CS degree, got a VPCZ1. Great machine. Still used as my backup travel/admining stuff box. Biggest problem I had was I did mulch one of the connectors for one of the FPC ribbons in it, and still absolutely hate that Nvidia 630 M with a damned passion.

The keyboard has been behaving wonkily, so I have a couple of keys soft remapped, but it still does what I ask it to. No regrets.
It's a fascinating project, and esp for from before docker+k8s normalized and nodejs was reinventing the universe

Nowadays, docker compose or k8s ecosystems do a lot of this stuff in a more team-friendly & ecosystem-supported manner. I always liked pm2 bc the dynamic API layers... except docker & k8s also have APIs, and you get all sorts of extras with them by being a layer below

I wonder if there is a name for this waller garden phenomena. The pm2 team built a wonderful universe and it keeps improving afaict, but tech ecosystems also have been improving around them and at faster & bigger levels...
If AWS goes down, and it does, you're still left holding the bag, because no one customer is important enough for them to actually support. You can leave sad voicemails for your customer account representative, and pretty much nothing else.

The idea of AWS as some kind of bag-holding partner is risible. They're a machine that helps convert capex to opex. Any systems services they may offer along the way are purely secondary.
> so it might not just be about regulation

Or is it about risk? Those places have a fair few large disasters, and one is sinking while denying it.
Happy 20th Anniversary, Gmail. I'm Sorry I'm Leaving You
I’m not even sure what a true “settlement” would look like in a case like this. Usually a settlement serves to at least partially repair the damage to the plaintiff. In this case the damage can’t be repaired at all. If there was a crime committed people need to go to jail in such cases. Unequal application of justice: someone steals a donut and ends up in jail, yet, another person person dumps tons of toxic sludge in a river and they get to “settle” using the money that’s not even their own.
> too unpredictable to trust for anything where a human isn't immediately checking the output.

Not just any human either, but one with enough specific domain knowledge to understand subtle failures.

It’s why I strongly recommend against junior developers or anyone new to a language or framework to not use Copilot.

I call this the Babysitter Problem. There’s probably a more official academic term, but in general I don’t any of these vc funded ai startups are asking the right questions when it comes to UX.
But it isn't a monopoly? It is just an extremely capital intensive business. At least if you are building large passenger jets, everything else has quite a bit of competition.
Sentence for Linux audience.

Best Buy customers will understand battery life, performance and shiny "AI" features, thanks to Microsoft marketing.
It sounds like Torvalds has finally found a way to delay the Rust developers taking over the kernel.
I agree, and 9 was a bit hyperbole, still that is the perception a potential candidate is up against. Not a fan of big timesinks like take homes at all, unpaid work has no place in a hiring pipeline.
Or even simpler - build more green spaces with grass, shrubbery and trees. Peeing on those is harmless and they provide other significant benefits as well.