skysight-inc/HackerNews huggingface dataset:
There's a lot of automated proof checkers out there. Presumably you would just run any solution from an AI through those.
I've been interested in a map of what gets flagged for a while.

Not the negative space, but a list of untolerated content.
Chess already has an element of bluffing and anticipation, it just happens over the course of many moves.
You don't mandate updates, you mandate support. So if a key piece of functionality breaks after N years, or if there's a new security exploit discovered, the manufacturer is obligated to fix it. They can't say "well it's been 2 years, the car isn't supported anymore, just buy the new model".
To eliminate that risk, the worker ownerships shouldn't be in direct stock with the company they work for, but instead be part ownership of a large industry specific fund who in turn takes ownership in the companies. That way, the individual worker will not be punished if the company he or she works for performs bad or has to close down. This large funds could also use their ownership as a tool to steer companies into more climate friendly operations and make sure the companies hire people from groups who need special protection. The boards of these funds should consist of elected politicians, bank executives, union leaders and prominent Arch Linux contributors. Yes, yes! Excellent!
He means he came up with the same concept, not literally created Docker.
> I am starting to warm to the idea of drawing a power tree for even pretty simple power schemes like this one

I'm laughing/crying right now because of a board I had to deal with last week at $JOB. Pretty beefy power distribution board with some... quirks related to load shedding etc. Details don't matter there. I ended up drawing the whole power graph (it's not a tree, there are two independent inputs that go through ideal diode controllers for some of the rails for redundancy). By carefully rearranging the nodes of the graph I managed to get it completely planar (no overlapping edges) except for one spot where a poorly-thought-out connector did require one edge overlap.

Laying that out as a planar graph dramatically simplified routing. It's a technique I hadn't explicitly used before and it sure worked out nicely.
Through a search space often large enough to be completely intractable with a galaxy wide computer.
Show HN: Deformity – AI-driven forms that break the mold
>Where have you seen that Trump wants to do that? The current Republican Party is more pro-labor than it’s been in a while.

You mean the legalized child labor in the rust belt ? I keep hearing kids dying in meat packing plants ...
> All of the big AI labs have been training on synthetic data for at least a year at this point

Curious how you know this and the actual extent of such training.

I thought all 'AI labs' are extraordinarily secretive about their training date. Do you have any inside connections to ' All of the big AI labs' ?
I assume that's the same data. Cars go further than the average bicycle/pedestrian so while ~50% of the trips were by car ~70% of the distance was.
> It's a big reason I won't buy a car without CarPlay

Isn't it a bit naive to suppose CarPlay will still be a thing in 10+ years? Maybe the iPhoneVR 28 glasses will have a completely different UX and the idea of letting it take over a small part of your car dashboard will be a historic curiosity.
Why Zuckerberg's multibillion-dollar gamble doesn't just matter to Meta
Though if someone were an expert in business or startups or sales, I'd say income from it is a good measurement stick.
> Used cars got hit first because it's harder to pretend they are a good asset to hold.

We arent even down to pre post covid prices on ordinary used cars, and dont get me started on collectibles craze.
I’ve found the “collective common knowledge” regarding pop-culture topics such as this, is much like generals preparing for the last war they fought.

Direct kickbacks were an actual problem decades ago. That has long been “solved” all the way to the typical over correction the industry is known for.

The same holds true for the opioid epidemic and folks still thinking pill mills and the medical industry as a whole are the primary way folks get hooked.

It’s fighting last decades battles that have long since moved on. The zeitgeist seems to “stick” each generation and does not seem to keep up with current reality.
Last year I was hospitalized and quarantined for Tuberculosis, which is fairly strong against antibiotics so the antibiotic therapy is 6 months long (minimum), and that's precisely how I was treated, by combining first 4 then 2 antibiotics in order to prevent the bacteria from developing resistance, but you're right, it's super bad for your liver, I've seen heavy alcoholic patients in the same ward that were refused treatment because "we would destroy your barely functioning liver and kill you", and watched them just die, but I don't think it completely prevents the bacteria from building resistance, it just minimizes the odds to a significant degree.
oh a new seed oil that can be produced via industrial processes at a price point cheap enough to supplant already existing seed oils with already established maladaptive effects on our health only with zero data on what those effects will be once they inevitably enter our supply chain for processed and refined foods...

what could possibly go wrong?
Wasn't especially my observation last time I was in London. But it's fair that a combination of online purchases and (maybe?) changing tastes/priorities have taken a hit on at least some categories of B&M retail overall.
If we can formally verify the proof then it doesn't matter. Often the implications on other problems is substantial just knowing the proof exists.
"You said a thing, and I understood what the thing meant, but then I reinterpreted the thing to mean something else that made you wrong. Ha! I win!"

No, you don't.
Malicious Python Package Targets macOS Developers to Access Their GCP Accounts
The main thing is that people have invested so much in getting good at the game as it is, that they don't want to change it, making so much of their hard work useless. That's understandable, and OK. As long as everyone understands that this is the reason things are as they are.

What's more mystifying to me is that in a weird variant like Duck Chess which has oddly gained a lot of popularity online, where so much of the hard work is invalidated anyway, they don't take the opportunity to fix the starting imbalance. In particular, in that variant it would be so easy: just let the first move be duck only!
Is any of those easily modifiable to return the arg-median (the index which has the median).
There are eyewitness accounts all over the net.

Here's a (viral) photo of 20 wheelchairs at FLL, 17 of them ran off the plane: https://x.com/trendready/status/1672734536545841153

There was someone on Reddit that counted 45.

Other accounts from last December, noting the trend and including SWA's reply that they don't challenge the validity of people in wheelchairs: https://viewfromthewing.com/priority-boarding-scandal-is-sou...
El primo
Pretty neat initial launch. What's top of mind to add to it?
SEC Charges Andrew Left and Citron Capital for $20M Fraud Scheme
How many people actually use the AuthZ plugin feature that this bypasses?
This seems like a slippery slope towards bog-standard social media.

Currently, HN is the only place on the internet I am willing to interact with others _because_ it lacks the "social layer" you are recommending.

The focus on user comments that are thoughtful, relevant, and respectful _is_ the social connection I value.
Mine seems fairly accurate - accelerating RDP, 3d printer firmware, touchscreen Graffiti gestures (which kind of dates me) and mainline Linux in SBCs, all of which are my hobbies (I seldom, if ever, comment on actual work, like cloud architecture, networking or... AI, which is too crowded a field).

Weirdly, almost no mentions of Apple stuff (which is supremely ironic given my blog).

So you get an impression of what people discuss here, but not necessarily what they know :)
Show HN: Cazac.tools – a set of tools (inc. yet another favicon generator)
cazac.tools is a collection of mini tools that I found myself needing while building stuff online.

I have found myself time and time again googling and using very clunky and outdated sites when I needed tools like favicon generators, data converters, CSS gradient generators, hashers, etc.

It initially started with some basic tools like:

1. Favicon generator - I wanted to make sure there is a possibility to use an icon from any icon set as well as text and images for generating the favicon. The output is the files and the html code.

2. PHP array to JSON (and back) converter - I needed this when working with my PHP app where often I'd need to convert a JSON payload to a PHP array, to use in tests or other similar situations.

3. CSS Gradient generator - I needed a gradient generator that looks good, is easy to use, and also supports interpolation for beautiful gradients.

I've later added several other minitools and will keep on adding them while trying to keep the site as minimal and simple as possible.
You'll have to add more weights to substring matches, fuzzy search by itself is usually not enough for intuitive search
The moment I saw the screenshot I was like "oh now I know what is was missing"
BBC news footage: https://youtu.be/ZY446h4pZdc?si=Y0DHmeYI8cbFd8wk
Seed oils are a bit of a boogieman, though. Omega 6 is associated with better longevity/cardiovascular health and though linolenic acid has a known inflammatory function in large quantities it's not present enough in a "normal diet" to cause inflammation[1]. Rather than worrying about Omega 6 fatty acids, we should make sure we're getting enough Omega 3.

Your mileage may vary, particularly if you already have inflammation issues or use TikTok for more than 5 minutes.

[1] https://www.health.harvard.edu/newsletter_article/no-need-to...
Cyborg Trading: Robots and Money, what could go wrong?
Unfortunately growing up in poverty, there weren't that many times they stopped us doing stupid things. I feel like it has given us street smarts, yet at the same time, I couldn't imagine doing the same to my children. Weak strong cycle perhaps.
I mean they probably won't read it anyways. Usually with comments like "french newspapers said hamas is russian" end up being strictly factually false.

Perhaps a french newspaper said hamas received russian funding or weapons or some other nuance that they completely glossed over. Perhaps it wasn't even a french newspaper or one not well regarded for accuracy (look at what the Onion prints in the US!). Or possibly it's even worse and the article is just posting a quote of somebody who said "hamas is russian" and so it's not even the french newspaper saying it.

This blindness is also commonly seen in the US. i.e. people saying polls had trump at a 0% chance to win the election despite literally a week before the election even CNN had articles saying it's a tight race -- https://www.cnn.com/2016/11/01/politics/presidential-poll-do...
Yelp's biggest advantage is that if there are recent reviews, the business probably still exists.
Paris greatly expanded their bike network for the Olympics as I understand it, which should be a huge benefit.
If they want to limit “visual pollution” they should crack down on graffiti. Zurich is covered in it and it’s really ugly. Local Swiss claimed it’s no worse than other cities, but it was worse than any place I’ve seen.
degToRad wasn’t the point, the list of cosines being computed at compile time was the point… or something similar, or something different… use your imagination. I used cosf() because it’s clearly a function call doing compile time compute, and I suggested a list because it makes a more clear case for compile time compilation, and because that might start to get into the reasons one would want constexpr allocation. And yes of course a good compiler absolutely will turn things into constants if it can, regardless of how they’re declared, including without any special const* specifiers at all. That is not why either const or constexpr exist, right?
Hard disagree. Anthropic hired Mike Krieger. He's awesome at product. Give it time.
ahh this is the insight I was missing, thank you!
High-quality PDF Version of the manual (NASA Graphics Standards Manual) if anyone is interested (legally distributed by NASA):
https://www.nasa.gov/wp-content/uploads/2015/01/nasa_graphic...

Never was the type of person to spend $90 on a look-book/coffee-table book, but bless those who make things like this possible I guess \-_-/
Are there non-malicious arson attacks?
Wow, I had a hell of a moment there. I think I multiplied 25mm-per-inch (woodworker rule of thumb, I work in metric in the shop and .4mm isn't a big deal) and flipped it around in my head.

This is why you measure twice, cut once. Gonna go walk into the sea now.
Virtual reality consumer product injuries: An analysis of U.S. ER data
Ocaml messed up with their operators. StandardML had a better approach and I hope a future version adds module typeclasses (to help limit the type soup we see in Haskell).

As I wrote elsewhere in this thread, TS makes it incredibly easy to unintentionally make megamorphic functions that don’t have any inline cache and don’t get optimized at all. You think you’re writing efficient, DRY code, but it’s really just dog slow because you’ve neutered the JIT.
Microsoft actually has a driver updater with windows update that downloads and installs not just basic drivers but also OEM crapware onto your PC. It is on by default.

I know this because I had a PC where Microsoft insisted on installing a broken GPU driver that left me with nothing but a black screen. I had to install windows on that PC with it disconnected from the internet because if Windows Update merely got wind of the driver existing it would insist on downloading and installing it even after disabling driver updates.

It seems like the disable option is hidden in the advanced tab of the ancient computer properties dialog, I can't remember seeing it in the mess of new settings menus but those change all the time so I don't really bother learning them anyway.
Pilots said nothing as Southwest plane flew dangerously low over Tampa Bay
>Olson said. "For the most part, the citrus industry has died in Florida."

Interesting article. It also explains why I never see ads touting Florida Orange Juice anymore.

>Disease and climate issues have also affected most of the world's top citrus-producing countries

Yet the Gov of Florida is still denying Climate Change, wonder what it is like seeing an industry FL had a lot of pride about slowly dying. I feel bad for the farmers, I doubt Pongamia Trees will replace all their lost revenue.
Yes, we are always trying to have some effects on other people's behavior, but I don't think most people would say it's marketing. And maybe most important, quantity is a quality on itself. So, me as an individual trying to persuade another individual is a total different game than a big corporation trying to persuade millions of people. To give a more clear cut example, me having a look on the street is very different to mass surveillance.
Nah you can add other repos in a chroot! The only thing you can't really do afaik is test running a different kernel; for that you've got to actually boot into the system.

If you dual-boot multiple Linux systems you can still administer any of the ones you're not currently running via chroot at any time, and that works fine whether you've got third-party repositories or not. A chroot is also what you'd use to reinstall the bootloader on a system where Windows has nuked the MBR or the EFI vars or whatever.

There might be some edge cases like software that requires a physical hardware token to be installed for licensing purposes is very aggressive, so it might also try to check if it's running in a chroot, container, or VM and refuse to play nice or something like that. But generally you can do basically anything in a chroot that you might do in a local container, and 99% of what you might do in a local VM.
sounds like they are underestimating nature here
embarassing. i bet they are using an llm to tell the other llm where to find data and it just got in a loop
I have no idea how old you are, but being in my 40s and needing to get results quickly I don't really care to learn the minutia for whatever type of stamp collecting is important for the project I'm working on now.
I chose my username from the narrator's alter ego in Zen and the Art of Motorcycle Maintenance. In reference to the analytical knife:

"Phædrus was a master with this knife, and used it with dexterity and a sense of power. With a single stroke of analytic thought he split
the whole world into parts of his own choosing, split the parts and split the fragments of the parts, finer and finer and finer until he had
reduced it to what he wanted it to be. Even the special use of the terms "classic" and "romantic" are examples of his knifemanship."

In a bit of nominative determinism, or perhaps just having chosen the name because I know myself (or maybe I just over use these words), my keywords include: "part, system, level, language, article, object," etc.
We don't talk about nation acting rationally when their egos and pride are involved. They are effectively banned from 2024 olympics, so they do terrorist attack to sabotage it. Childish? Yes. What long term good effect for them is there? 0 nil nothing. Is this very typical of russian mentality for anybody who actually knows the country and its leadership? Absolutely, 0 doubt, yes.

Plus arrest of that drunken FSB agent in Romania who was bragging about exactly this terrorism few days ago. Also, very typical.
I meant that if you have two separate substances, we can reasonably assume they will also be used individually, giving bacteria chance to develop resistance. Then strains with different resistances meet in one organism and swap genes.

Although that's extremely simplified. I recall reading that the usual mechanism is somewhat different. When you take one antibiotic to fight one pathogen, also attacks other bacteria in your gut microbiome (also those benign and even useful). Those bacterial also develop resistance. Unfortunately they can later share their resistance genes with harmful bacteria.
https://theyrule.net/
The Pleasure of (Virtual) Immortality
America Is Running Out of Generic Drugmakers. Another One Is on the Brink
there's a massive difference between city planning in European cities vs Canadian for example. I walk my groceries too, like 18 blocks, it's walkable but not what I would define as "a walkable city", which would be someplace with pedestrian priority zones and not needing to walk more than 10 blocks for anything you might need.
Sure, google “skid steer rental Chicago”.

One of the sponsored results is for an electric skid steer that I didn’t know existed. This is genuinely useful to know for small jobs.

Another sponsored result is for a delivery rental service that can bring them anywhere. Also good to know for jobs where I don’t want to go to an equipment rental place in the city to haul it myself to a site 150 miles away.

A separate example is that lots of airports have 3rd party off airport parking that is cheaper. A billboard on the highway to the airport that says “off-site aport parking $20/day, $80/week with 24/7 shuttle service every 15 mins” is literally all just useful information about a way to save money using a third party at a convenience cost that you wouldn’t think to look into.
Book Review: Real Raw News
Engineered poplar for bioproduction of the triterpene squalene
Ok, now let's assume this is correct and a deranged person in my neighborhood threatens to use their nuke, how is the police supposed to react to that? Are they supposed to detonate their personal nuke and destroy the neighbourhood?

You haven't thought through any of this.
> How do you recommend a compiler to detect out-of-bounds at compile time?

I wouldn't make the recommendation that they do at all. Full soundness is not my thing. But... if Flow wanted to do it, it would have to change the type of indexing into `(Element[])[number]` with a read from `Element` to `Element | undefined`.
I was looking for a way to save the result page locally (ie offline). Maybe I need more coffee, but it did not look possible. So I'd add the ability to save the result (or at least make the button prominent).

But the fact I wanted to save a result is a good sign. Nice work!
There's also https://hnrss.github.io where you can "subscribe" to a user's comments.
Getting to Israel Does any fertility policy work?
I thought that was more actual demand than speculation. Consumers have relatively inelastic demand for cars in general, but 1) their real income took a hit post-COVID and hasn't recovered, and 2) simply being used makes a car cheaper, since they are such poor assets to hold.
That's just not true, though. Starmer has only increased Labour's vote share by 1.7%. He didn't significantly outweigh the loss in votes by demotivating opponent vote. Tory voters were more likely to vote for Reform or the Lib Dems than stay home.

Labour's opposition not being united is probably more attribuable to the Conservative party itself not being united. The amount of voters leaving the Tories to go to the Lib Dems and Reform has steadily been increasing.

Besides, a significant part of motivating people to vote against Corbyn came from Starmer's wing of the party itself.
Giving employees full control over the company is a recipe for this
company destruction because of disagreements.
We are sellf hosting with our own customization for 5 years now. Notification is fine on
Desktop. We have 30 developers using.
For mobile notification you can just add your own if you care to modify a few lines of code
Someone correct me if I'm wrong but to my understanding FB uses Btrfs in either RAID 0, 1, or 10 only and not any of the parity options.

RAID56 under Btrfs has some caveats but I'm not aware of any annecdata (or perhaps I'm just not searching hard enough) within the past few weeks or months about data loss when those caveats are taken under consideration.
most people will defer updates indefinitely if they are able to.
Awhile back I was looking at cheap ways to automate drive imaging on a air gapped PC. There are KVM hardware products that simulate mouse,keyboard, sometimes USB drives. I have a couple of them from that time period, the main problem is they have their own janky software that only works on Windows to run them.

It occurs to me that barcode scanner is an adjacent idea and probably has some versatility advances. Really what they wanted was a way to send stored keystrokes from one PC to another and the barcode was just a commonly available way to do it.
Sounds like you’re close to justifying the existence of constexpr, that sounds similar to the summary of what it’s for.

I wasn’t trying to justify the existence of constexpr, I was justifying the existence of compile time constant computation in response to what @38_14 said about there being no such thing as a computation that’s constant, which is, you probably agree, a bit silly. The top comment didn’t seem to be talking about constexpr specifically since the point was about computation and they said “constexpr and similar” which I assume includes const, consteval, as well as the general idea of baking the results of compute at compile time.

HN isn’t really the right place to demand justifying the existence of constexpr, but its existence has been debated at length by people who know a lot more about C++ than me. If you want to read about why it exists, there are lots of good places like cppreference.com and isocpp.org and even stack overflow.
Almost every "number" "in" N doesn't actually exist. In the search for numbers that exist, we will most likely only ever find a finite set of numbers before the Universe or humanity dies.

("Scare quotes")
U.S. Accuses Prominent Short Seller Andrew Left of Fraud
But has there actually been sea level rise? If the ice is melting where is the water?