skysight-inc/HackerNews huggingface dataset:
I have no argument with Coq. I do argue that your chosen definition entirely misses the point of what I was saying. Specifically this definition.

Definition Real := nat -> Digit

My definition of a Real is NOT a function from a nat to a Digit. It is a program that is SUPPOSED TO return a Digit when it gets a nat. Where "supposed to" means that there is a proof in the axiom system saying that it will.

This does not mean it actually will return a digit. Our axiom system might be broken. But we can claim to have a proof from our axiom system that it will.

Given an enumeration of such programs, a program representing your diagonalized function can be created. Your proof demonstrates that IF it always returns a Digit, THEN it will produce output that is different from anything on the list.

But does it always return a Digit? Just as before, maybe, maybe not. The new program waits on another program, and the other program might not return a Digit.

Before we could claim to have a proof in the axiom system that our program would return a digit. We now have less than that. What we now have is a proof that there is a proof in the axiom system that it will return a Digit. A proof of a proof is not actually a proof from the axiom system.

What we have does represent a proof in (axiom system + consistency of axiom system) that it will return a Digit. But this is a strictly weaker claim than we had before. And it is weaker by the fact that we now need a new axiom. Namely the axiom of the consistency of our previous axiom system. And consistency is necessary because we have to deal with the reference to the axiom system introduced through diagonalization.

If you still doubt, please don't bother arguing with me. Go ask your neighborhood mathematical logician. Then argue with them. You've clearly decided that I don't know what I'm talking about. But you haven't decided that of them, so they still have a chance.
>Nobody on the mainland can prevent them from reforming their system of taxation which makes it nearly free to be an absentee landowner while putting almost the entire burden on people living and working on the islands. Will they? Don't hold your breath.

Nobody on the mainland reforms our equivalently landlord-favoring tax systems!
I think this is basically the same as the sentiment that there is no such thing as a truly novel idea.

The standard isn’t “I think that looks like an Andy Warhol picture”, it is “That is substantially similar to a specific Andy Warhol piece”. Copyright doesn’t protect style.

> Feature extraction is literally a form of lossy compression.

This is one way think of neural nets, another is that they find the topological space of pictures.

But these are just models of computation, which aren’t especially relevant in the same way that it isn’t relevant what produces an infringing image, just that it is produced.

Which brings me back to my original point: there are a two different barriers for generative ai: is the model itself transformative, and is the primary purpose of the model to generate copyright infringing material.

With respect to the first… I have no idea how someone could argue that the model itself isn’t transformative enough. It isn’t “substantially similar” to any of the works that it is trained on. It might be able to generate things that are “substantially similar”, but the model itself isn’t… it’s just a bunch of numbers and code.

Regarding the second: I have less experience with image models, but I use chatgpt regularly without even trying to violate copyright, and I don’t think I’m alone, so I doubt you could make an argument that llms have a primary purpose of committing copyright infringement.
Zig being a language that most people are not familiar with is a very high barrier of entry in it of itself.

Given how few projects are written in it, the ROI of learning it is not that great.

I'm not 'against' Zig, it's just basic Lindy effect stuff. People don't want to build or invest in a foundation and then left hung out to dry.

Just like the rest of my development choices, I try to take calculated risk so that the platforms I'm building on have a high chance of lasting into the future.

We all know that a rewrite due to obsolescence can be the death knell for a project.
> gather splats under various real world light conditions, then map those to the closest simulated light condition

is a better alternative from your perspective?
https://archive.is/oZYy9
You may see it as just one methodological flaw but I see it differently. It is an absurd degree of worst case scenario. I would be surprised if the only metric I happened to look into also happened to be the only one with glaring bias injected into it, but I wouldn't lose my mind or anything if that just happened to be the case. At least we have that context now, so we can do with it as we please.

I don't have an exact timeframe for when surface contact was determined to be a much lower risk vector, but I seem to recall that info coming out within the first few months (early to mid spring) after the virus hit the US. At the beginning of the pandemic people were quarantining all of their groceries and/or wiping every single package down with sterilizing solution. Then we learned that the virus is not terribly transmissible from surface contact, the major risk by far is via particulates, and basically everyone stopped doing that.

Of course basic hygiene is still encouraged. Sanitizing stations for carts is just a good idea in general, I hope that option never goes away. And given how bad the average person is at washing their hands on a consistent basis, I'll take the wide availability of hand sanitizer as a win for every single communicable disease (many of which are vastly more transmissible than Covid via surface contact). Like all Covid safety measures, at this point if bags freak you out then don't touch other people's bags.
There’s very few candidates in that region for good allies so Israel has a stronghold in US politics.

If we had made Iraq a powerful ally, it would have weakened support for Israel but that whole area of the world is too embroiled in conflict.
Probably couldn't go any worse than it has with firearms.
That seems reasonable on their end. I bag my own bags when I bring them from home, always have done so without asking (even before the pandemic).
Yes exactly. The fun bit is breaking stuff, securing stuff is soooo boring.

There are different mindsets in this game. You want one type of person to find the holes in your system, and a different type of person to protect it.
If you're familiar with ancient and medieval European history, you're pretty much familiar with the origins of most of the European languages.

Areas that were part of the Roman Empire generally speak Latin dialects like Spanish, French, Italian and Portuguese. The exception being the eastern part of the Roman Empire which historically spoke Greek and still speaks Greek (except for the parts of the Roman Empire that remain Islamic).

Germany and Scandinavia speak Germanic languages because they were never Roman. Britain was only partially Roman and for significantly less time than France or southern Europe so it retained its Celtic languages except in the part conquered by the Anglo-Saxons (a Germanic tribe) who originally spoke a German language called Old English which was mostly mutually comprehensible with Old Norse (the language of a Germanic tribe called the Vikings who invaded England a few centuries after the Anglo-Saxons and were eventually converted to Christianity and assimilated). Then they were conquered by a French nobleman in 1066 and the English nobility spoke French for a few centuries before it fused with "Old English" into something that sounds somewhat like English.

Because of this, English speakers already know a significant number of words in both Germanic and "Romance" (Latin) languages, even moreso than for other Indo-European languages. But you still need to be careful not to trust a German offering you a "gift" (the German word for "poison" because, in German, it was a euphemism that lost its original meaning of English "gift"[0]).

[0]: https://en.wiktionary.org/wiki/Gift
Microsoft will probably redirect it to their own servers. Brave will probably disable it. It's not hard.
Honestly I never quite understood why most folks switched so easily and unquestioningly to Chrome.

Maybe I'm just an open source purist. However, I will say that in almost all tests with websites I am actually using Firefox is faster.

(Maybe not that much of a purist: I do use Chrome at work as we're using various Google products... docs, meet, etc, and those work better on Chrome. Go figure.)
I use Safari on Mac OS with Brave on Windows, with iCloud keychain passwords sync between the two.
I agree, and there really need to be controls on it. I understand they want the "IMessage Network" to have predictable functionality, but I care about security more, and IMessage has been demonstrably unsafe for a long time.

I would really prefer to keep it text-only, and am fine with the goofy symbols. If they want to make photo exchange safe, they have the hardware to securely sign images taken on-device and only allow those.[1] (Although that would probably piss off regulators even more.)

[1] With some work, this could be a new feature, used to demonstrate images haven't been altered. With some lockdown of the clock, it could have secure timestamps. (Location could still be spoofed with a GPS hijack.)
and "aam" also means commonplace in Hindi ... probably just a coincidence but interesting nevertheless
Yes. Courts will generally assign blame to whoever did the thing that caused a breach of the law, which in this case is the user.

In other words, law isn’t a programming language.
The market for private user data should not even exist. So the call for more competition in that area is absurd.
Perhaps those are mutually-exclusive groups of people.
I think pacemakers are a lot more life critical than your phone.

I broke my phone once. I did not die in the next five minutes
Reducing the max character length per line would yield a huge readability improvement :) Interesting tool!
Just for the record, that isn’t true. H.323 is a VoIP protocol and is implemented on a lot of private PBX systems. Most on Prem systems can handle SIP or H.323, likewise for about any standard enterprise IP phone. H.323 works out of the box, pure SIP requires additional infrastructure, mainly SBC or session boarder controller.
I used a Game Boy camera for Facetime video calls in iPadOS 17
Any thoughts on pros and cons of usung Brave browser on iOS?
How did the "Citizen Lab" connect this to the "NSO Group?" Is it just pure breathless speculation?
Organic actually has a legal definition, at least in the USA. https://www.ecfr.gov/current/title-7/subtitle-B/chapter-I/su...

Of course the lists of regulated chemicals and all the weird stuff it covers are don't correspond to what anyone imagines "organic" means, but it is not marketing puffery.
Such is the issue with any business connected to a single large and private infrastructure provider. Of course this is, in part, why we have anti-trust laws.
The funny thing is, the boot processes on Windows and Linux are remarkably similar, and have always been.

>On Windows, firmware loads bootloader, bootloader loads ntoskrnl (NT kernel), ntoskrnl starts first user process smss.exe, smss starts security subsystem lsass.exe, lsass starts winlogon.exe, winlogon logs user on and starts the shell, explorer.exe

Any idea where I can find more about this?
Made a blog post about this my start-up is different. (Talking about Windows)
I'm not talking about free tier limits. Paid users are being limited.
My thoughts here are in the heteronormative sense. No hate or disrespect to other pairings. I'm sure anthropologists and sociologists study this rigorously. These are just some random layman musings.

Just like in softwre engineering, I find human social systems fascinating. A recent example is the so-called "Bama Rush", which is rushing sororities at the University of Alabama, something I honestly probably never would've heard about were it not for Tiktok. Where I'm from we have nothing like Greek life so I find this fascinating.

UA is an SEC school. SEC schools are a sporting division for the NCAA. UA college football is a big feeder for the NFL. Non-Americans may not realize that the Ivy League too is a sporting designation, not an academic one.

Here are some things I learned:

1. UA itself is a feeder into Alabama politics, called The Machine [1];

2. Pre-Civil War southern society had a very rigid structure. Correct or not, I tend to refer to this as plantation society. This is the realm of cotillions and debutantes. This harkens back to Regency England and earlier. The concept of a "debut" isn't exclusive to the South but it's more pronounced (it seems);

3. "Social proof" is such a huge factor in all of this. So much of this is about either seeking upward social mobility or, in the very least, insuring against downward social mobility. Greek life is a part of this;

4. Traditionally women went to college to get what's referred to somewhat derisively as an "MRS degree" (ie to find a husband). This sort of thing happened in the North too where colleges had "sister colleges" (eg Radcliffe for Harvard, which didn't admit women 60 years ago).

Now I bring all this up because when I see comments about the importance of money (from other commenters and elsewhere), I think that's a very shallow (and basically incorrect) analysis. So much of matching in this environment is about social status and mobility. Power and money are proxies for that. You cannot ignore the importance of shared values in all of this.

Thing is, you see this same pattern play out even somewhere like NYC, which very much isn't "plantation society". There are various proxies for social status like what school you went to (high school and college), where you work, your social connections and so on.

In London, you see people reduce other people to what postcode they live in (eg W4, N1, etc).

In LA in particular but probably elsewhere, if you're friends with an A-lister, you will be able to get into exclusive clubs, restaurants, etc even if by yourself. Just that connection alone is sufficient.

You see a lot of these same themes play out in period fiction lkke Pride and Prejudice.

Now you may think this is all very transactional. To a point it is. Compatibility does factor into it too. But you also find so many people who "settle". Another way of putting this is that they have certain goals and they find a partner who is sufficient for that.

[1]: https://en.wikipedia.org/wiki/The_Machine_(social_group)
WebRTC support in FireFox and Safari had been abysmal for years. This has now gotten much better.
Another example of this article being confidently wrong about tomato is Czech, where the word used is rajče or rajské jablko, the latter meaning "apple of paradise."
Yes, Bouba and Kiki are the same in all languages.
This seems similar to observing that vertical and horizontal stripes on clothes (and the width of the stripes) can affect how one perceives a silhouette.
But does that actually refer to exactly what would be called "sushi" in other languages?
The guardian is supporting the creation of an ethno nationalist state of a tiny minority? Wonder what will happen to the vast majority of Hawaiians who don't meet "blood" requirements...
Google Goes to Court
> isn't luke the same story

Dude lost his entire hand for his arrogance
Freedom for me, but not for thee

Thou art a common idiot, see?

Though I've tasted the fruit

And seen that it's good

I fear it won't suit

you like prison would.
Well, Hindi, Marathi, Bengali, and Gujarati are all Indo European, interestingly enough.

Tamil, Kannada, and Malayalam are all Dravidian.
It sounds like you desperately need a vacation. I wish you luck!
Anakin was a literal cripple
Yes, which is still reasonably different to "mango".
Hey fair enough. For what it's worth, I agree with much of what you're saying as well.

Having grown up in a red state and having conservative leanings around self-reliance, even though at a national level I prefer some liberal bureaucracy to keep the system running, because that's beyond me. If the system worked as the founding fathers intended, we'd be able to rely on republican representation to take care of business for us so that we wouldn't have to be as personally involved democratically. The loss of that basic trust and civil discourse really irks me. Especially in recent years, as you said.

I don't have kids, but I have watched my more political friends on social media cool their jets a little since January 6, I think due to family pressure. It seems to be slowly dawning on them that the problems we're facing transcend politics. None of us want to leave future generations saddled with unplayable debts and environmental collapse. But sadly there's not much we can do about that in the short term. So we'll probably have to work through these wedge issues one by one and put it all on the table to reach some sort of consensus or compromise through political horse trading. And that's not a bad thing.

I keep writing and deleting this paragraph, so I think I'll just leave it at that. Thank you as well for responding in depth. I wish I could leave you with the last word, but didn't want to leave you hanging!
I think the Ars writer here is very uninformed. Floc is completely different from Topics, and if you actually read the Topics spec, it seems to be significantly better than 3rd party cookies? At least to me. Maybe I’m missing something.
> Use a browser that is not made by an advertising company.

Personal opinion we need to tweak business incorporation rules to firewall ad business from all other types of businesses. Meaning General Motors can't sell ads. And ad companies can't sell cars.

And as someone on this site suggested extend antitrust dumping laws to services.
I’ve been waiting for years for Safari to support multiple profiles so I can have a work and personal profile, instead of using Chrome for work. Finally this year we’re getting that, goodbye chrome, it’s been a fun 10 years. Unfortunately Chrome turned into a bloated mess over time, even before this news I was waiting to switch.
believe it or not, these features are liked by edge users.
Yes they can? It's totally possible for a small, well connected, group to be writing small pieces of custom code in very critical applications, like core reactor controls system for navy submarines.
That's because I completely forgot about it immediately after seeing it's just a Linux Emulation Box with a cartridge slot, so more like a Hyperkin RetroN instead of a Mister/Analogue FPGA-based product.

I do wonder how compatible it will be with expansion chips (like the DPC in Pitfall 2). I assume they have an internal list of recognized games, but I wonder what happens if someone wires up their own homebrew game with one of those chips and plugs it in?

But you're right, I should have mentioned it because it's a good idea to do and a legit product, I just had it purged from memory because I wasn't interested in it.
I would be inclined interpret it like this:

* Tomatometer ≫ Audience, there is artificial bias on the critics side, perhaps due to political reasons, or perhaps due social conforming by film critics within a clique, or reviews are being paid for by the film industry.

* Tomatometer ≪ Audience, probably more fun, or less serious film, or may have politically confronting themes that critics don't like to praise.

* Tomatometer ≈ Audience, rating is probably a good indicator of film quality.
Every Studio Ghibli Film, Ranked from Worst to Best
I'm picturing someone else at the bar, watching you as you furiously, dejectedly type away on your phone whilst your facial demeanour slowly degrades...

"Say, man, what's up?"

"Someone just made me think about the myriad ways in which The Last Jedi not just sucked, but sucked the rest of the life from the 40-year history of Star Wars"

"oooof! Here, I'll shout you a bottle of Jack's, but I know it's not enough by far".
> The exception being the eastern part of the Roman Empire which historically spoke Greek and still speaks Greek (except for the parts of the Roman Empire that remain Islamic).

Aren't there big chunks of the Eastern Roman Empire that now speak Slavic languages?

Also, the parts of the Eastern Roman Empire that currently remain Islamic constitute nearly the entire Eastern Roman Empire, including the capital.
I'm sorry, you are correct. Nominated not won
How do you sync that?
I could see

max-width: 75ch;
margin: 0 auto;

on the center element being effective
I should have mentioned the British/French computers. In fact, my first computer was a ZX Spectrum (I grew up in Latin America) so I hold it very dear to my heart.
The linguistic term you are looking for is "babble word" or "Lallwort" [1].

[1] https://en.wiktionary.org/wiki/Lallwort
When it first came out, Chrome was much, much more performant than Firefox, and had better standards compliance than Safari. It was just a better browsing experience. V8 was a big deal performance-wise.

Firefox has since largely caught-up from a performance perspective, although there is still some functionality inconvenience.

Of course the stated attitude toward the user is night and day - I switched back to Firefox about the same time they started integrating Gmail / Google accounts into Chrome.
You don't rate it until after you've spent your money
Can you give an example of media overplaying NK?
Yeah, I've thought about having a CA for my home LAN services, and then have my phone and laptop trust that CA, but I'm terrified of the possibility that my CA could be compromised, and then someone could intercept my traffic to my bank or whatever.

So I just put up with clicking through the TLS cert errors every now and then.
I don't think folks are arguing for such a market. Rather that Google owning the market is also bad, maybe even worse.
From the article:

>Gov. Gavin Newsom will now decide the fate of Senate Bill 58...

>The measure passed the Senate 21 to 14, with several Democrats opposing.
I think it’s completely clear in my experience that men are much more willing to throw standards out the window for a hook up.
Several rounds of "culture fit" interviews I imagine ;)
Until everything important in your life requires Chrome.
This is the basic idea behind the Language Transfer series of courses - https://www.languagetransfer.org/
It is an easiest way to install and configure all required toolchains on a random computers.

I've used to maintain my own set of Makefiles for AVR, and that was mostly OK because avr-gcc is in ubuntu repos, and all my computers are Ubuntu anyway.

But when I switched to ESP8266, this no longer worked, there are no nice debs with SDKs I could find. I could have created a complex set of Makefiles to download SDKs, compilers and tools.. but I switched to platformio instead to do it all for me.

This turned out to be a great idea when I later wanted to try STM8 and RP2040 - just 2 line change in ini file and you have a fully working toolchain, libraries, etc.. And the ability to easily share the programs with others and to know that they can use them even if they don't run Ubuntu is great too.
So stop using chrome. Tell your CTO that your engineer department no longer wants to develop for chrome as the primary web app target.
What about opposites that are complementary?

My parents are as different as can be, yet somehow they work well together.

Difference is not just difference. There are different kinds of differences.
You can easily override the service unit to confine it to an unprivileged user and then assign the net admin syscap do it can do what it needs to do.
That's exactly what LSP is. Notice that it was invented by Microsoft and it becomes a lot less surprising.
From my reading of things, they (SearX) wanted to protect us (the people who use SearX) from ourselves (the people who run SearX).

In other words, marketing BS. If I don't want aggregate stats, I won't collect them. I'm a big person now and can decide that for myself, thanks.