skysight-inc/HackerNews huggingface dataset:
It was unscientific to impose any mandates for COVID vaccines whatsoever. Aside from the fact that the virus itself was not particularly dangerous to the vast majority of people, the vaccines themselves were already well known to provide very little (if any) protection against infection or transmission before any mandates were even imposed. To say nothing of the fact that it was not possible to have proven their safety after less than 2 years since their invention.
In 1961.

You can also use some examples from the Boer war or even the Opium wars...

Nobody is equating Putin with Stalin either (he's more of a miserable version of Mussolini if we're being fair...)
I don't understand; isn't the repo licensed under GPLv3?

https://github.com/bitwarden/ios?tab=GPL-3.0-1-ov-file

Is proprietary config required to build the IPA file?
Just another reason why crypto is inferior. So much risk , no upside. like investing in mortgage/ bank stocks in 2007.
While I agree on paper it's a serious crime I have a hard time taking it seriously when the same government agencies have no problem doing partial or full closures when it suits them.
Does it also tell the coordinates (x,y) of the annotated box w.r.t. the screenshot dimensions?
It is because without vector spaces, you could not do linear algebra, which you need for everything. Without categories, you cannot do category theory, which you need for ... what exactly?
There are many secretaries of state in the UK with lots of different portfolios, it’s basically a synonym for cabinet minister.
This is a meaningless diagram that CEOs roll out when they want to make the point that everyone should focus more on business.

It has the same value as the Gartner Magic Quadrant.
I'm happy for that, I repeated that I don't blame the people that get it prescribed. And I was using the term band aid in the colloquial term, as in 'something that doesn't address the root issues'.

Obesity, diabetes, have all risen, especially in kids since the 90s, what changed, and what caused this? Are we still having the same causes, or because we can get a lifetime prescription to Ozempic and cover up the worse symptoms, we're ok with it? This is a massive red flag that something is wrong with this situation, not because some people are losing weight, but because some people are getting people sick and others are selling a cure at their expense. Encouraging another lifelong prescription is not addressing the causes and encouraging people to benefit off of making people sick.
Fair enough. That said, Binance can co-operate with authorities in a way Tether may be technically limited in being able to.
Sideshows are the dumbest thing. I live in an area where people do sideshows. Midnight, a dozen or so cars and then a hundred or more random people will show up and make a racket squealing around. More than once they’ve crashed and caused injuries and property damage.

For what? Even if they succeed in not destroying their vehicles, other innocent people’s property, or maim someone it’s a loud pointless nothing. It’s not a competition, it’s just being loud and smells awful. I don’t even get how it’s a show, it’s literally just cars doing donuts… how many times do you have to see that before it’s boring, once? Who goes to these things
McDonalds of all parties had a new Gameboy game commissioned last year: https://arstechnica.com/gaming/2023/06/for-reasons-no-one-ca...
> If you read the other answers you might understand what he's asking

Dude, relax.
There were no other comments when I asked…
> It would be very simple for Tether to just hold $1 for each 1 Tether coin.

It would not be "very simple" for them to do this. No commercial bank lets you walk up to the teller with $1B and ask to deposit it, much less $93B. The financial system doesn't work that way. They have to cycle it through bonds on the repo market, which is what most huge firms do.
There's this diagram, and there's David Graeber's book Bullshit Jobs.

"What you love" and "What you are good at" certainly have a non-empty intersection, but that's mostly a distinct set from "what you can be paid for". "What you are good at" and "What you can be paid for" also have a non-empty intersection, but that set is again (mostly) distinct from "what you love". In brief, you can enjoy work, but then it will pay shit, or you can make money, but you'll hate it.

The most interesting part however is the right hand side. "What you can be paid for" and "What the world needs" have a practically empty intersection. Regardless of both personal skill and drive, there is effectively zero money available for the sorest needs of society. (Public healthcare (including mental health), public education, public infrastructure, etc.)

Nice diagram, but a pipe dream.
Political advertising is just the tip of the corruption iceberg. When lobbying and gerrymandering is legal, can you really claim you're living in a democracy?
Similarly Instagram started adding tracking querystrings (igshid or something like that), and for a good few weeks any Instagram link with it was completely broken for me (few loops, errors, and throwing me to the home page), I had to manually remove that part of the url.
Why McDonald's E. coli outbreak could be a sign of more to come
Is it trite to ask if this is blocking free speech?
I appreciate your opinion. It's not possible to hold a nuanced conversation about model checking in general or in C in particular in the comments of HN. I'd need much more space. But, I can summarize.

CBMC's abstract machine can detect memory safety violations and integer related UB. This includes things like use-after-free, buffer overruns, heap/stack corruption, thread races, fence post errors, integer conversion and promotion errors, and signed integer overflow. When it detects a violation, it provides a counter-example demonstrating this. It also provides the user to build custom assertions, which allows function contracts to be built and enforced. Any function can be defined as the entry point for the model checker, which allows function-by-function analysis. Shadow methods can be substituted, which provides the abstraction necessary to model check entire code bases. A shadow method uses non-determinism to cover all possible inputs, outputs, and side-effects that the real function could perform. This abstraction also allows modeling of third party libraries, user/kernel code, and hardware. So far, I've model checked code bases of around half a million lines of code. It will easily scale to cover a code base the size of the Linux kernel, as long as you understand how to use it. It's an engineering problem at this point. Tracking that abstraction matches implementation is actually not that hard and can be done by writing good function contracts which are verified by the model checker. If the shadow and the original code follow the same function contract, which includes all possible inputs, outputs, and side-effects, the abstraction can be substituted.

The biggest limitation really comes down to large recursive data structures, which is also a pain point for Rust for that matter. There are ways to deal with this, but that's probably the most significant place where any code base customization is required. It's possible to refactor this code to be just as fast in modern C, but in a way that is easier for the model checker to verify quickly.

It's impossible to convert the trillions of lines of code written in C to Rust or any other language without blowing the entire budget of the tech sector for 30 years. Rewrites are prohibitively expensive. Tooling and automation for this tooling is not nearly that expensive.
Electricity to food via synthetic chemistry feels inevitable. Casey Handmer has discussed in detail. Probably starts out with electricity + air to ammonia first.
CVE-2024-45844: Privilege escalation in F5 BIG-IP
> Quite literally all of the available evidence strongly disagrees with this conclusion.

Easy to write is not the same thing as easy to prove. It may be hard to show that some C program is correct, but when that is done, that doesn't change that it was easy to write (if that had been the case).

C is actually "unreasonably effective". You can't just look at the problems; the overall picture is that a lot of large and complicated, yet well-working systems have been achieved in C. They may not be correct, but are "correct enough".
Salmon Return to Klamath River After 112 Years, with Largest Dam Removal in U.S.
SV only cares about whoever will help them make more money. Everything else is virtue signaling by champagne socialists pretending to care about current day social issues and the struggles of the lower classes.
Alphabet's self-driving unit Waymo closes $5.6B funding round
ok, I get the difference between life 10k years ago and today. Why has obesity and diabetes in children roughly doubled since the 80s though?
Previously (8 points, 1 day ago) https://news.ycombinator.com/item?id=41936262 (9 points, 21 hours ago) https://news.ycombinator.com/item?id=41941374

Related Tesla needs to come clean about HW3 before the word 'fraud' comes out (53 points, 9 days ago, 51 comments) https://news.ycombinator.com/item?id=41858162
Well that or they have the option to buy the real Italian machine not the Taylor piece of crap. It’s just super expensive and comes from Italy
I was one of those technology skids at that time and had more hope for the world. It was a time before I learned ****** was an *** *** *********** job. Before I watched Ron Paul collect the largest grassroots donation drive ('Moneybomb') and then his reach get clubbed like a baby seal by the establishment thereafter. It made me realize The Farm is real and what slop most Farm animals enjoy is just that: slop, prepared in a manner which makes the animal more useful/productive relative to cost. I also realize that there are complexities to ascending to the class of Farmer (or merely Farm-hand) which call for the cybernetic sentimental feedback system being built. How do you manage a farm of human livestock and not get killed? How do you do it in such a way that you can plan a hundred years out and hand it all off to your choice grandson(s)?
The Lesh bass line that sticks in my head is in "Me and Bobby McGee" from a show in Fresno in the summer of 1974 [1]. It's a simple three-chord country song, and the usual bass backing would be a straight oom-pah on the beat. But Phil was all over the place with syncopated counterpoint. I've listened to that recording dozens of times.

[1] https://archive.org/details/gd74-07-19.sbd.symons.12381.sbeo...
Musk pays people to sign a petition, which is legal.
Sounds like a very vindictive policy in service of a mandate that ultimately turned out to be essentially useless at reducing the incidence of first-time COVID infections.
Meta's Movie Gen model puts out realistic video with sound
Really how so? Is that not what you were implying? Or what was your point exactly? Besides the claim that Sadam being not guilty of some small subset accusations targeting him somehow changes anything?
Discussion (69 points, 9 hours ago, 174 comments) https://news.ycombinator.com/item?id=41945169
I'm curious. What syntaxic salt?
It's just pandering. Neither candidate will do anything. Existing regulation will stay in place or tighten.
Hey! We have just published a review and benchmark of different uncertainty estimation techniques [1], it might be interesting to you if you want to get a general understanding of works and what doesn't in the specific case of LMs.

[1] https://arxiv.org/abs/2406.15627
https://archive.is/bCRd3
15%?!

Is this a uniquely American thing because I can’t remember ever having a “sorry our machine is down” in Ontario.
In high-school we met in the biggest and barren parking lots or industrial parks we could find and do it there. But in the last 10-15 years being driven away from private lots (Rightfully so), the only place people can do it (whenever they want), is large intersections and highways. I don't like or agree with it. But I suspect that is part of the reason sideshows have now culminated in streets being taken over. We still do money nights once in a while but it's a smaller group and it's not advertised on social media and we go to empty roads outside of the city or in the industry parks with newly paved roads into the place. The race track is good too but it's only open friday-monday for stuff like that (mostly drag racing) but not a lot of spinning tires or drifting.

https://en.wikipedia.org/wiki/Sideshow_(automobile_exhibitio...
Tether's press release: https://tether.io/news/tether-slams-wsjs-irresponsible-repor...
Well, one person does not make an entire class.

But yeah, people that want him to send them some federal money... Nah, most of them seem to be on the other side too.

And yet an entire party is supporting the guy. And he's getting about half of the votes. Maybe a lot of people are supporting him is secret.
Wikipedia article blocked worldwide by Delhi high court
You're right, but would you want a 100% strict society with zero mercy? Iron fist?
I’d say quantity is no replacement for quality. 3000 games could have been released in Q3 of 2024 but I wouldn’t have noticed because there are exactly zero I want to play online with game pass or be permanently connected to the internet for.
Perhaps. However on the whole not particularly worse what the local governments were already doing there (more so in Iraq, though)
> This discussion has nothing to do with engine out failure modes.

The 787's APU is not intended to run during flight. If it's running, you're in an engines-out scenario.
I wouldn't say that at all. People are thin-skinned about plenty of games too.
Redact-a-Chat
So nice! I remember playing it back in the day, and then forking your repo to make it 128 instead of 2048.

Turns out the fork is still up. It's been literally 10 years.

https://128.arthurhess.com
It will work for any generic data, like a blog post. You can ask it to visualize the 'key concepts'.
I was rather under impression that this whole news source was just spreading things catchy but made up, including said carbomolecule..
And yet, there's few early-2000's nostalgia, even 90's nostalgia or retro hasn't really taken off yet. Closest thing I can think of is Breaking Bad, and that came out in 2008, so at the time it wasn't even "2000's nostalgia".

But the thing with BB is that cheap feature-phones are an important plot device, but 2008 was a turning point in that the iPhone and Android smartphones were taking the world by storm, as did fast always-on internet. I posit that it's not so much the year or time, but the technology and experiences of the time that determine if something is considered retro.

80's was cable TV and walkmans; 90's wasn't much different, but late 90's / early 2000's was marked by the rise of the internet. But people sitting at their computer doesn't make for good TV. Late 2000's to now is the era of smartphones, but again, I don't think anyone will feel nostalgic about people sitting alone together browsing Reddit or HN for hours on end.
> fultongrandjury.com, which I at first thought would be an official government website

Are you being straight serious here, or are you doing a rhetoric thing where "I was confused" is just a shorthand for "I think some people might plausibly be confused"?

I could see some people who aren't net-saavy thinking that domain looks like a government website, but I'm surprised that anybody here might see a .com like that and think it an official anything. Official government websites in America almost always use a .gov, and when they don't they usually have some goofy long string of subdomains like www.courts.state.md.us (I'm not 100% sure that is actually official, but it's in the style government websites use and if an unofficial website used that style I'd definitely consider it an attempt to deceive people.)
I think the movie The Insider expressed it well: "The press is free, for anyone that owns one."

Apparently that comes from an older expression dating back at least to a 1960 quote in The New Yorker: "Freedom of the press is guaranteed only to those who own one."
Yes. If your distances are dense integers, you can use a simple array as the priority queue in Dijkstra, and it will be faster than a heap (Dial’s algorithm).
I understand what you're saying, but if the government shuts down a road partially or even fully, it's usually not because they just want to be dicks.
So are you trying to equate Britain and Russia because of something that the MI6 did over 60 years ago? Seems a bit absurd...
Drift Poll Winner: Pay Parents, Rational Culture
> Are you mad the US hasn't declared war on Russia and worried that it is going to have dire consequences for the US?

We've absolutely been slow rolling aid to Ukraine because the Biden White House bought Putin's bullshit. If we'd provided the weapons we're providing Kyiv with now at the outseet they would have been able to capitalise on the Russian army's lack of preparedness to draw frontlines much more advantageously, possibly even end the 'special operation' before it became entrenched.
I've used it to build a couple of apps for money. It does work and most of the times it seems really easy. However, these were simple apps that fetch data from a server and display it to users. I did use an Admob plugin and that worked quite well.
> The demand for food production is intensifying with a rapidly growing population, yet farmers around the world face unprecedented challenges owing to shifting climatic conditions.

How about we stop creating so many people? We don't have to eat vat grown slop if we just realize that there is a limited capacity for this planet to provide us with real, nutritious food.
Your problem isn't AI, it's shitty AI. Why wouldn't you trust an AI that was competent and understood what you wanted, like any good human personal assistant?
You do realise that this is published by the Japanese government, right?
Who cares? If he completed his obligations for whatever goals were set, then well-deserved.

If you have a problem with the board's goals, then you have another bone to pick.
>Android also uses SELinux

Too bad you haven't even read a part of the article.
Lots of discussion at release (1107 points, 21 days ago, 1008 comments) https://news.ycombinator.com/item?id=41740965
> When lobbying and gerrymandering is legal

Have you ever given money to the EFF? They're lobbyists. Call your represenatative? That's lobbying. Lobbying, i.e. constituents talking to electeds, is fundamental to democracy.
Free money and failure to regulate means scammers have never been more flush and able to talk with money. It's not a great space to be in, glad this administration placed Lina Kahn and others, without competition free markets can't operate efficiently. Both regulatory capture and natural monopolies all jam up the works. People don't remember it but one of the best things that ever happened to tech was the anti-trust suit brought against M$, anti-competitive behavior is such a drag on tech innovation, that combined with the incremental win for right to repair is all great progress.
Macy Conferences
If Tether is a fraud then the entire financial system is clearly a fraud as well. What kind of financial system allows a fraud of this size to continue for over a decade? Let me guess, nobody knew anything. Yet the government knows about every transaction over $600 on all our accounts. It's clown world.
The point to me was the owner's daughter suggesting the genocide was their family's reason for not wanting to endorse.
But that leaves open the door for "FOO[space]BAR" (one space) and "FOO[space][space]BAR" (two spaces) to be registered, so that doesn't really accomplish the goal of "company names must be unique." If case-insensitivity were really their goal, that could easily be accomplished by choosing a case-insensitive collation for their DB.
On balance, blocking such names makes sense. You can secure YOUR systems, and if that was that I would agree but unless you are going to pay to audit all consumers of the data worldwide, this solution is more pragmatic. I am not sure what we gain by letting company names have code.
> [O]ur goal is to make sure that the SDK is used in a way that maintains GPL compatibility.

This does, though:

https://github.com/bitwarden/sdk/issues/898#issuecomment-242...

It seems they reconsidered after the change impacted their F-Droid release. They've always been Open Core not fully Open Source so the SDK not being OSS isn't surprising. It just seems like they didn't think about the consequences of integrating a non-OSS SDK into their OSS clients.

Your first quote actually explicitly says that this incompatibility only became apparent after the fact:

> one thought that came to mind in evaluating this

So, yeah, a mistake although it's not so much they "forgot to change the license" but didn't consider which license it should use and stuck with the default.

> There are no plans to adjust the SDK license at this time

This doesn't mean it was an intentional choice or well thought out. It would have been pretty stupid to say "yeah, we actually just went with proprietary because it's the internal default and didn't think about the pros and cons of keeping it that way" so in lieu of wanting to make a decision then and there or signaling radio silence, that's just a standard corporate non-answer.
This is a reverse anthropic fallacy. It may be true of a base model (though it probably isn't), but it isn't true of a production LLM system, because the LLM companies have evals and testing systems and such things, so they don't release models that clearly fail to understand things.

You're basically saying that no computer program can work, because if you randomly generate a computer program then most of them don't work.
Like elephant, lion is not a native animal. Not in the folklore at least.

Four main direction are dragon, tiger, special bird, Tortoise … wonder if you present a lion to old emperor what does it meant. Giraffe is a good example.
Why is it blocked worldwide? Should the page be geofenced instead?
What, thermodynamic laws aren't science ? If Calories in < calories out then weight loss.

As far as I know, no one can legally force someone else to eat something he doesn't want to. It basically mean that if you're fat it's because you didn't put enough will.
There are also quite a few attempts at "Nix without NixLang". In the ecosystem, I can think of Nickel (a different configuration language, but one with strong typing), Garn (Nix but using TypeScript), and Guix (Nix but using Scheme, and also kind of an ecosystem fork I think?). The common link behind all of them is that they all still have Nix in their DNA, i.e. using a Nix store with Nix derivations under the hood

Outside Nix, there's Brioche (my project!), and there's also Vorpal and Tangram, all of which are "Nix-like" but are from-scratch projects instead of using any Nix tooling

So I definitely agree that Nix as an _idea_ is right, and I definitely also agree that NixLang is a blocker for mass adoption. Personally though, I think if you dig deeper, there are other places that could use improvement beyond just the language itself (but nothing that would necessarily be a show-stopper for adoption IMO). But that's why my project is a "Nix-like"-- there are things that I think Nix could / should do, but which aren't really compatible with the way Nix itself works. One example: Brioche works without having a global store path-- it's per-user instead so that it can be installed rootlessly-- which doesn't really map well to how Nix itself handles store paths and dependencies

So point is, I agree Nix is the right model, but I think the _real_ gold lies outside Nix itself (...with the side note that I'm obviously biased!)
Honestly this is one of the most passive ways to try to combat it but living in a city with shot spotter (Baltimore) I don't think it will be very effective. Police will still have to travel to the scene.

Now get one of those spy planes in the air, and I think you'll shut that shit down quick.
Python 3.8 has reached EOL