skysight-inc/HackerNews huggingface dataset:
They are not built-in, no. https://github.com/awalterschulze/ccc-talk/blob/1e781326d2e3...
I used to be a chef. It's really easy to level a bunch of value judgements at people on topics like this, but the truth is, food marketing is complicated, and none of us is as rational about our choices as we might imagine.

Putting aside the appeal of the terms vegetarian and vegan, which is what most comments here seem to focus on, there are other factors. I reckon the most important one is in-groups and out-groups. As soon as you label something as being "for someone," it subtly implies that it not for someone else.

The small Boston-area fast casual chain Clover did a really good job of side-stepping that. Their menu was ovo-lacto vegetarian with lots of vegan options, but they simply didn't market themselves as such. In turn, they were generally seen as a restaurant for everybody that served plant-based foods rather than a restaurant for people who eat plant-based diets. There are things that kind of annoy me about Clover that I won't get into here, and I'm not a vegetarian, but I do really admire what they did there.
> They are different forms of content, just on the same platform

No there really is something to what they are saying. My husband is a HUGE youtube user and now on most of his devices his feed is 50% shorts. It completely changes the experience of consuming youtube content.
These words, I do not think that they mean what you hope they will mean.
Some software work requires the same level of engineering as public works like roads, bridges, electrical grids, pace makers, etc.

Most software probably doesn't require that level of rigor. IMO, those who work on critical software ought to be formally licensed like "normal" engineers who design roads, bridges, and so on.

I think about chiropractors when I think on this topic. They don't have the same training, the same level of rigor or skill (IMO). But they can still help people, hell some folks swear by it. But the point is, they aren't formally licensed in the same way and still make their living.

It isn't a perfect analogy, admittedly. Nor is it a welcome topic on this forum! Regardless, I believe some industries should require licensed software engineers.
Project to build and send cheap FPV drones to Ukraine
Related: https://www.kyivpost.com/videos/21211

"Ukraine’s ever-escalating drone race with Russia is reaching a critical stage and a low-tech $260 hobby drone has become one of the most vital weapons in the war.

In this new Kyiv Post video, hear about how individual FPV drones flown by Ukrainian pilots are being used to destroy Russian vehicles worth millions of dollars.

But it’s not all good news for Kyiv’s armed forces – Russia is also using them and has been far more effective at setting up factories to construct them as well as obtaining the necessary parts from China.

That’s why Oleksii Asanov, a Ukrainian volunteer and co-founder of KazhanFLY, has set up ‘Social Drone UA’, a project he hopes will recruit people from around the world to build FPV drones and send them to Ukraine’s troops on the frontlines.
"
Without being able to see the flagged comment, I'd venture the authors had a quiet chuckle when titling this piece.
Are you suggesting that AI driving is impossible? What's so special about a human brain "reasoning" while driving that AI can't do it?
It is a gate.
> Things like this don't happen in the aviation industry because there are regulatory bodies holding people accountable

Important to note that this has been largely diluted in the US via regulatory capture, leading to things like the 737 Max disasters - so looking at the aviation industry a few decades ago is probably the way to go.
Strongly agree with the sentiment. Note NHSTA in the US recently started publishing incident counts for self-driving vehicles, but its total counts by company, not per-mile, and therefore mostly meaningless
I used Coq in one class in school, and I never encountered wat or wreck. It’s possible they’re user- or library-defined tactics.

One thing I think is important about Coq is that it really is meant to be interactive. Even after a fair amount of usage I still find it somewhat tricky to just read a proof, especially a nontrivial one. A good IDE will show you a panel that includes all your hypothesis and requirements so far, updating as you run each line
I don’t get it either. While they’re at it, why not give DeepMind and OpenAI access to military resources to see whether their models can keep peace better than an army. At least that’s not on civilian territory.
Yes they have (source - Geneva Convention and our subsequent following of it)
Hosting a continuously-updating vector tile server wAWS and old laptop for $1.61
There's nothing wrong with stories, either in history or elsewhere. But good vs evil stories are bad history and almost always bad writing too. Reality is almost always either different shades of gray or blue and orange morality.

If you can't get beyond your own personal view of morality to be capable of understanding a different perspective, you're probably incapable of doing good history or creating good fiction because you're inevitably going to end up writing unbelievable comic book evil kind of characters for your villains.
I wholeheartedly agree. There is no possible way to raise animals the way we do at a scale that can sustain the current demand for meat. But at my small scale, I can make a profit while matching the sales price of mass-produced animal products, and I do that with no government subsidies.

My point was merely, there is a middle way, that makes better products, cheaply, and more ethically.
What do you mean?

I don’t see anything to do with opinion or personal preference of the author in the quoted statement, hence my question.
> Almost everything is the same except the drivetrain.

Which is kind of the problem, because it implies they took a frame designed for the ICE powertrain and stuck some batteries it, which isn't the optimal way to do it.

Even then the difference is in the nature of 20%, which doesn't seem huge?

And the weight is going to be directional proportional to the size of the battery, which can be of arbitrary size. Electric vehicles with a >250 mile range are nice, but the average commute is a sixth of that.

I'm fairly expecting someone to soon make a sporty little sedan with a 75 mile range and a trailer for road trips that adds +300 miles worth of battery and gives you a place to put your luggage. And then you don't need the trailer 98% of the time and that thing is going to be actually lighter than the equivalent ICE car.
Planned Parenthood Sued over ‘Alarming’ Data Privacy Concerns
Well written, but entirely from the point of view of gaming. Not being a gamer, I wasn't familiar with any of the examples. And the 'how to use them' section briefly mentioned using various modes with certain kinds of chords, but gave only one example, and didn't really explain anything beyond that.
I've unkilled it for you.
hack job death march

That is my new favourite expression and describes 85% of startups.
Because otherwise new apps replace older apps.

The older ones go out of business and die.

Obviously investors and employees don't like going out of business. So they try to hop on whatever's becoming popular so they don't get replaced.

It may be confusing for consumers. But surely you can see the logic for app owners. And it also means competition is alive and well.
All quantum functions can be approximated with a three layer perceptron, or by arbitary boolean logic.

Quantum computers can only compute - just like any other computer.
I would hypothesise that a nutritional label like "high fibre" or "low salt" might well have the same dissuading effect. A follow-up study is called for!

Other labels that might have a similar effect are religious ones like kosher or halal.
> Other people can’t help but wander through tasks, get distracted by rewrites or new frameworks, needlessly refactor working code, or otherwise do a lot of activity without producing a lot of work. Both of these fault modes benefit greatly from the pacing and structure of management.

These are all problems that stem from management, not employees.
They’re my kids so I just don’t care if using them as a test subject results in longer term safer roads for everyone.

But I think what you’re talking about is if autonomy makes my kids safer in the immediate, and not as an end result of public testing. Yes, I support that. I don’t think this is that yet. The word beta is right there.
Are you saying Google books in general have bad image quality, or that stripping the DRM somehow alters the images?
Please ignore the guy who's saying "you need a mentor, not a book". Sure, get a mentor because that's easier to consume than a book. But in addition do read everything you can on it. I don't have a special suggestion, this is just general advice.
My point was simple that you can do that while still raising animals for food. They taste great, have a wealth of nutrients, and they can improve the ground they are on at the same time.
Select inputs are a decent example of why people reinvent things. There's no native combobox type input; html5 gave us list input + datalist, but no multiple selection. If anything, the select element has been a perfect example of a bad interface design: it is extremely difficult to use with large lists, but the lack of native combobox has had people reinventing the select input for years.

Number inputs have always been a vile thing to work with, as is the "required" attribute.
4° C is an extrapolation from current trends. Straight up extrapolations are seldom good predictions. There are usually some feedbacks and feed forwards in a complex systems. It is not unreasonable to assume that governments will follow through with at least some of their promises and pledges, especially as the effects of the climate disaster becomes more apparent. And doubly so as new industries pop up around climate solutions with enough money to influence governments over what the dying fossil fuel industry.

That said, I'm under no disillusion that 2° C warming is not a horror scenario and that if governments actually cared about human lives they would limit warming to 1.5° I know they don't and the won't
Just 1% of revenue for being insufficiently wildlife friendly? That's laughable.

https://xkcd.com/1338/

https://www.reuters.com/graphics/GLOBAL-ENVIRONMENT/INSECT-A...

https://www.theguardian.com/environment/2023/jun/07/insect-d...

We can't have animal agriculture and feed 10 billion people.

https://www.eurekalert.org/news-releases/917471

We would need more than 5 Earths to feed everyone a version of the American diet.

https://css.umich.edu/publications/factsheets/sustainability...

We don't have those extra Earths.
Sadly not from the apps without sideloading modified versions. Not only is the quality absolutely garbage but I also noticed that my brain is susceptible to them and I tend to doomscroll if I ever land there. I really try so hard to excise all the short form content stuff from my life but even with extensions and everything, the web version is not great enough to replace the app completely.
I am in a similar boat, I pay for Premium and I don't want to see Shorts anywhere in my feed, but I can't not have them.. I can snooze them for 30 days or something (I mostly use an iPad) but that's not what I want.

As a paying customer, it's infuriating.
It's not easy to do everything well .. and each stage of the process requires expertise.

It's fairly good logic.
I think a solution that I would prefer as a vegan and that wouldn't impact others is for the main menu to say at the bottom "ask for our vegan/vegetarian menu" so that for me it's easier to pick things, and no one else needs to see the labels. It also might invite the restaurants to provide more vegan options and potentially include some (without labeling) in the main menu.
The article title was obviously a troll (I've changed it to the subtitle now). The HN guidelines ask commenters to abstain not only from feeding trolls but also from gobbling their bait:

"Please don't pick the most provocative thing in an article or post to complain about in the thread. Find something interesting to respond to instead."

I know it's a lot to ask, but we have to, given the site mandate, and anyway why not? It's an interesting experiment to work on as a community.

https://news.ycombinator.com/newsguidelines.html
LLaMA embeddings would perform terribly.

MS MARCO is a well known benchmark that mirrors a pretty common use case: https://www.sbert.net/docs/pretrained-models/msmarco-v3.html

https://huggingface.co/spaces/mteb/leaderboard

To intentionally oversimplify, embeddings fall into 2 main categories if you do a cursory search:

- Good at semantic similarity: Most common case, check if two strings have similar meaning, even if the words don't match exactly.

- Good at Q/A: Finds text that can answer a question. Sound similar to semantic, but "What is a dog" and "What is a cat" are very similar sentences but very different questions. These models cluster questions closer to their answers and further from other questions. They also handle the difference in length between questions and answers better.

(Some leading embedding models use prefixes during training to let you adjust performance between those two tasks on the fly)

LLaMA embeddings weren't optimized to any specific task, you'd just be hoping that they tangentially align with some arbitrary goal.

OpenAI had to fine tune their embeddings model, and despite being massively oversized you can see it's not at the top of the leaderboard compared to much smaller models.
The View Transitions API, the Navigation API and the SPA vs. MPA Debate
From what I've gathered, this was no ordinary day in the OR. Based on my experience with complex, unusual and otherwise difficult surgical procedures, your piano MacGyver situation isn't far off from what's going on in the OR in these kinds of cases.

This was no run of the mill lap choli or gall bladder removal.
A cursory search reveals they're not builtin, but were written for the talk: https://github.com/awalterschulze/ccc-talk/blob/main/Coq/src...

nail ~= intros
wat ~= discriminate
etc.
It can be done --- just not easily or intuitively.

To start, you have to enable "airplane mode" on your android phone. This shuts down all communication. If you don't do this your phone will try to use your wireless service for all communication.

Next, you have to selectively enable wi-fi. If there are any other wireless networks in the area that you connect to automatically, you have to disable them, otherwise, your phone will connect and use one of them first.

Finally, with all other communication options disabled, you can connect to and force your phone to reluctantly use the local network with no internet access.
Why would an investment into your own business be less risky than a diverse investment in the general market? It doesn't make sense.

Anyone who has both loans and stocks is "borrowing to invest in stocks". Because they are investing money that could be used towards paying off their loans. As long as the risk is carefully considered (not too high % loans etc) why not do it?
Who says? Its flawed logic that for example makes the internet or any product cheap and stale.

This era of mobile phones is a good example, when providers created their own device before selling out to Android, it was a fantastical place. Now when choosing a phone all you have is a different same rectangle with the same OS.

If you hire the expertise, you add that in to cost factor of your company. Or you set a budget and in creating your own variant while you sell your first.

I open a cookie shop. I sell pre-made cookies that taste amazing and make customers happy.

You hire the kitchen staff to make your own cookies, not as good and they don't sell as well.

You keep going and keep growing the quality as you slow down selling the amazing cookies.

Because as an scenario, say the company who's providing you with amazing cookie changes their recipe for budget cuts and now they're now not selling as good as before, bland and sickly. You lose sales and by not reinventing the cookie you lose quality, rep and profits.

I'm just amazed no one can give me a good case to why not. Innovation is what's missing from this world.
There are cheapish EVs now, you can get a Bolt or Leaf or Mini for non-luxury prices. Not as cheap as the cheapest ICE vehicles, but getting there.
Uzi Nissan, the original registrant, passed away in 2020: https://jalopnik.com/uzi-nissan-internet-domain-owner-who-fo...
looked for this in the article, since it seemed such an obvious thing to test for but they haven't (yet).

Vegan and vegetarian can mean both the menu and the people following that diet, "plant based" is clearly only about the menu, may suggest "healthy", and may not evoke negative sentiments.

"""
Also, while the present work studies the impact of "vegetarian" and "vegan" labels, other terms used to indicate that foods lack animal products, such as "plant-based", have become increasingly common. Do "plant-based" labels also have a negative impact on consumers' choices? How does their effect compare to "vegetarian" and "vegan" labels? The present work could be extended to help answer these questions, as well as study how different labels positively or negatively impact the choices of different consumer groups.
"""
> There is a massive percentage of the land that cannot grow much other than grasses and shrubs.

Things may seem that way since those areas have been cultivated since prehistory, but this is not correct in general. Also, commercial fields (aka green concrete) and naturally grazed steppe/savannah are very different.
But the mineral water and the salad don’t necessarily need to be labeled as vegetarian.

I think the issue is that people don’t interpret the ‘vegetarian’ label on the menu as “this is OK for vegetarians to eat”, they interpret it as “we altered this dish to make it suitable for vegetarians”, and usually the latter means it’s not very good.
Similar reaction here. That said I'd love the idea of a locally hosted https://hemingwayapp.com/ to help with keeping things short and simple ... this linter sadly isn't it.
The burden of proof is that something is possible not that it is not impossible. There is no evidence to suggest at this point that it is cost effective, safe or possible.
India’s obsession with SMS codes and UPI in particular sucks as a tourist/visiting businessperson. Nothing works with a non-Indian number. You can’t get an Indian SIM without an Aadhar number outside an airport and every time I’ve flown in late at night those airport kiosks have been unstaffed.

The whole system is built around phone numbers. It puts the end of the chain of trust in the hands of the corner store vendor not accepting a fake photocopy of an ID to swap SIMs. It’s ko different than when South Korea mandated ActiveX for browser security for banks.

Let’s not even get started on the whole Unique Identification Authority (UIDAI) joke. India doesn’t have Apple Pay because it’s illegal to have device-local biometrics - you must store it and verify it with the government.

UPI is also an extremely shortsighted system throwing away any semblance of privacy for the population. The whole thing doesn’t have fees partly because sharing every bit of transaction data with 7+ parties in every transaction is how it is funded.
It is the UI/UX.

Shorts are not just videos that are short. It also come with a player where you can't go forwards and backwards, that autoplays through an algorithmically generated feed, optimized for retention.

The system isn't designed for you to watch a short, in fact, it discourages it, it is designed so that you watch an endless stream of shorts.
Ah, that makes more sense. I'm not really familiar with the emissions side versus absorption side of things, more with the resulting ppm value and degrees warming.

Looking into this now, though, the linked website has a emissions page[1] which shows only an absolute number rather than a year-on-year increase. Where did you find the YoY value of ~3%?

[1] https://climatechangetracker.org/co2/human-induced-yearly-co...
Yeah but scale matters. The number of people who are on the Internet now, and therefore the cost to serve them (at least for major or popular platforms) is much higher than it was back in the early days of the web.

I too long for those days, trust me, but it's just not a fair comparison.
Am surprised there are no comments about this important piece and global warming.

What are you thinking about this everyone?

I am scared that this goes ballistic and will be worse every single year.
Performance Through Memory Layout
Nope, Russian air defense has been shooting down their own planes for awhile now.
I don't think he implied otherwise. It was an opinion in reference to the study, which I agree with. If I'm at the store and grab a random snack off the shelf to try, I'll pretty much always put it back if the label says vegan because I've been burned by overpriced vegan snacks that taste like garbage so many times.
A month or so ago I started watching a comedian I thought was pretty talented. Youtube then started spamming me her Shorts. I unsubscribed because my brain associates her content with that annoying pattern.
The article shows how interesting properties can be proved (with a nontrivial amount of effort). That's cool, but I wouldn't call it correct by construction.
I forgot the name of it but I've been to that famous mexican vegan restaurant in the sf mission and the food was excellent and yeah, my expectation of the food from it is different than what I would expect from a non-vegan restaurant.

My expectation from most restaurants serving vegan food is that they are just trying to have something so that vegan people technically can eat there but not necessarily that they will enjoy it.
Not if you're on a device or a tablet, sadly.
You can suggest a game on their forums
Hi, thanks. I try to assume good faith but when the same kind of posts keep appearing, opinionated, fact free and making dubious claims which they won't back up when asked, I start to doubt.

Someone elsewhere on this thread described integration. For myself when I've experienced it it's a kind of deep sea-change in my mind, no therapy or reflection required. Something changes, snap, and I'm a newer person.

Thanks about the amnesia, no experience of this nor ever heard of it but I'm glad someone could verify it.
Ah, unrealistic because it's a plain extrapolation without accounting for any behavior change or indeed feedback effects. That makes sense, thanks!

> It is not unreasonable to assume that governments will follow through with at least some of their promises and pledges

FWIW, it actually looks like we're on a path to 2.5-2.9 °C of warming with current policies, and nearly another 1°C reduction with current pledges which are indeed much less likely to fully materialise. Via https://en.wikipedia.org/wiki/Climate_change#/media/File:Gre... which appears to use 2021 data. The "no climate policies" scenario is shown as having the lower error margin actually above +4°C
Saruman and Wormtongue drastically accelerated their destruction of the Shire because the protagonists let them go free. Much less damage would have been done and the final effect would have been the same if they’d just killed them.
One thing is a human editor with taste and understanding of the text. Another very different is a dumb LLM.
> atmospheric CO₂ emissions doesn't really limit itself to state borders

Is that just a catchy phrase to earn +1, or you mean that so there is no merit in doing Country-wide policies, enforce and inspect them to see if they are being followed accordingly and if they are effective at all?
Definitely. Though they apparently weren't very happy with someone bringing it up: https://github.com/errata-ai/vale.sh/issues/46