skysight-inc/HackerNews huggingface dataset:
If you really want to fix your Twitter/YouTube addiction the easiest way I've found to do it is unfollow/unsubscribe/unlike everything, turn off watch history, & install plugins like Control Panel for Twitter and Unhook for YouTube.
You got downvotes because most people are incapable of nuanced thinking, especially on this subject.

Yes public transport is one of the key talismans in the church of the utopian left.

Public transport in the US is in a terrible state and needs to be massively expanded and funded, yet it cannot solve all of the transportation requirements of our massive economy and geography.
2024 is in 10 weeks.
It'd be interesting to read the legalese, one article states that it's on a case by case system. Since there are so many limitations, how will it deal with, say, there no longer being a car in front of you?
We Will Build Our Way Out of the Climate Crisis
If you are using iA Writer, it also has this feature: https://ia.net/writer/support/editor/focus-mode
Follow-up mail from Theo showing what the full removal looks like.

https://marc.info/?l=openbsd-tech&m=169842095809570&w=2
> higher safety implications

Well, what are the safety implications of atomizing lead? This argument seems short-sighted.
Were you using SQLite in WAL mode?
>> The problem is that they won't approve engines for general aviation that use unleaded gas.

Except that they did approve a lead-free fuel for use in all those engines last year. Banning leaded fuel is the obvious next step.
Stop with this cheap "all Palestinians" baiting. He explicitly and directly endorsed Hamas and Hezbollah on his social media. And directly said he endorses any action by them right after Hamas murdered 1400 people, so there's no doubt whether or not he makes any distinctions. Maybe you should do at least minimal research before regurgitating formulas the media stuffed your head with.
I really like it. As a writer of novels, this is useful for those moments when I have too many doubts about how it should look. One minor feedback: deleting should be forbidden - it's a way to edit the text.

So it should be like a writing machine + the fade out effect.
The dose makes the poison. Don't eat soap.
You control prices of everything by influencing how much money itself is worth through controling how much money you "print" which you do by controling interest rates.

Economy has to be taken into account into how given level of interest rates influences inflation, but only as an input, never an output.

The utility of keeping inflation in check is immense because it provides stable environment for the economy so that everyone can pretty much treat price as a proxy for value. If the inflation does weird things you can no longer know how much your investment is worth or will be really worth in the future.

If you keep inflation in check it's fine if prices of some resources rise because it means their value increases. If price of pretty much everything goes up it's just a sign that you printed too much money, nothing more, nothing else.

When you are using money supply to stimulate economy, sometimes you'll get benefit, sometimes you'll mess up horribly. So the only thing you are really doing is introducing more instability into the system which harms everybody.
When you register for your meals they could ask if you have some of the ingredients.
The core Lean 4 developers do want proving properties about programs to be easy. In the short term maybe priorities have been elsewhere due to limited resources, but that doesn't mean they do not consider this to be a core goal. My understanding is that there are still some research-level problems here that need to be worked out. (Proving things about do notation is currently a real pain for example.)
never let the truth get in the way of a good paycheck
We could easily get to net zero much, much sooner than 2050 by planting a lot more trees. It would be fun and planting trees has many other benefits besides capturing CO2.
Love the idea. Also, a fun elisp project to try and figure out.
I don't think anyone (lest of all Nina Paley) has said that "intellectual property rights do not exist". She makes a nuanced argument here.

I provided a reference so you can confirm the context for yourself. It is not a random quip, but part of a larger thought framework. It clearly explains (part of) this particular framer's intent when writing the constitution. In general, framer's intent does seem to (sometimes) be taken into account by judges.

I agree with you that the us constitution has turned out to be very well thought out.

I do happen to disagree with 20th century legislators who very much went against the intent of the constitution here, only managing to keep to the letter by a hair.
Is this sarcasm or do you really not think it’s possible that a sociopath could draft tax legislation for Elizabeth Warren ?
Do you think there's a technical fix to this or do you think its an immutable aspect of Lemmy's design? Like, is there something facile that the client applications (Apps used to "browse" and interact with the Lemmy ecosystem/instances) can do or is it impossible with fundamentally altering Lemmy itself?
I think it's because

* it's a framework for authorization, with at least 8 different ways of using it (https://fusionauth.io/docs/v1/tech/core-concepts/modes has more)

* authentication is not most folks core competency
Human connection doesn't scale! But authenticity isn't connection. You do not need to connect with someone to see their authenticity.

I think the original sin of Elon-Twitter is mistaking popularity for authenticity - because by definition authenticity isn't universally recognizable. It's how authentic experience is unexpected, arbitrary, incomplete and often contradictory. People being authentic in a world you're not familiar with looks like...nothing? Often? When The Bear came out it showed the characters drinking out of plastic 'to-go' containers because there's no glass allowed in most commercial kitchens[1]. It had the smell of authenticity - but you wouldn't see it if you didn't know what was authentic already.

Authenticity is just not a "universally recognizable" thing. At the 'whole system' level, if you want to promote it, you should be afraid of nearly universally loved content. That content is usually too 'cooked' to really be authentic. You want the less complete stuff.

[1] https://twitter.com/dillllllo/status/1557562291801006081
China is educating engineers around the world
Saw this video yesterday about how the reality show Love Island got professionalized in the same way: https://www.youtube.com/watch?v=S8VqPxYM2tY
It works really well if small operators refers to children who also have no choice but to comply with that sippy cup of tap water.
> I'm soooooo sick of React doing completely hostile things

This isn't really React's fault. Avoiding the things you mention is entirely possible when using React. It's all up to the developer to handle such scenarios, just as it was without React.
> Honestly, the long form tweets became a signal to just ignore that tweet. I unfollow or block users that tweet long form often.

Even though I don't use Twitter much any more, I fully agree here. Whenever I see the "[thread emoji] 1/?" I'm already done.

I can't even fathom why anyone would put the energy in these "thread" style tweets. Twitter content will forever remain fundamentally ephemeral: it's hard to find my own tweets from years back, let alone someone else's I found insightful.

The normal tweet format works well for ephemera, it's a medium for shower thoughts and sloganeering. Similar to how a typical child's sand shovel is correct tool for building sandcastles. Twitter threads feel like someone is handing out full sized shovels for work you know will be lost for ever when the next tide comes in.
Only for some engines. Some of the higher compression engines still have no options.
They have a Feastables product! By MrBeast. Missed opportunity to include the flavor that I had last night: https://feastables.com/products/deez-nutz-chocolate (purchased at 7-Eleven)

BTW there's a trademark lawsuit, in which I'm rooting for MrBeast: https://www.businessinsider.com/dees-nuts-sues-mr-beast-feas...

Extrapolating, but I don't think it's the worst, if lead is worse than cadmium. Their milk chocolate one is lower in lead than the one from Hershey's.

It reminds me of arsenic in rice.

The founder of Braintree is on a longevity quest and he has a list of what makes healthy chocolate, and suggests a brand. I might start ordering my chocolate. https://protocol.bryanjohnson.co/Blueprint-At-A-Glance
Also the slowest, according to the Cinebench single-core numbers.

But it can only get better from here. I'm glad that PC users are starting to benefit from Apple's "desktop ARM" revolution.
> Once they switch over to non-leaded, now they have a customer base that may not be able to buy from them

G100L is approved for all piston aircraft [1]. The only reason someone couldn't buy from them would be obstinacy.

[1] https://www.aopa.org/news-and-media/all-news/2022/september/...
Although I've never heard of D2 until now, it seems like too much programming for a diagramming language. I've used PlantUML for diagramming since couple years and it seems good enough. You need to learn their DSL but you don't have to manipulate visual entities manually.
Using Discord Bots for Osint Investigations
Does it not drive the same roads as human drivers? 4 million miles = 4 million miles.
I still think it’s a disingenuous argument because we’re talking about elevated levels in food production.
some of the most brilliant people I know apparently get stuck in these dopamine loops too. not everything is a matter of intelligence
Muted words is a godsend, but I really wish they would allow more than 200 of them, or at least implement word stemming. It's easy to hit the 200 word limit when you have to add singular/plural/possessive/etc. forms of each word separately.
On the plus side, these tainted chocolate bars provide better X-ray shielding.
Most of the headlines I remember from my childhood were about the IRA.

I'm glad the other meaning is being forgotten.
Obviously I sympathize, but I find it extremely odd that OP is complaining about cards being declined but doesn't once explain whether he/she tried phoning their credit card to unblock? Because that generally works -- you call once, let them know you're traveling and where, and then your card works fine. Occasionally you have to call again for a specific high-value ($500+) transaction, but it's rarely more than a 5-minute phone call.

And then as to buying/using gift cards in India, on a non-Indian account, of course that's going to raise every suspicion under the sun, given that that's a mechanism used by some of the most prevalent scams in the world.

So I'm really confused, because this "vent" reads like somebody not going through the basic steps to use credit cards abroad, and then engaging in the biggest red-flag types of transactions.

And the fact that they're complaining the airport doesn't allow them to carry enough cash (isn't the limit $10K?) really raises red flags for me. If you need to transfer large amounts of money safely between countries to your family, that's what wire transfers or Western Union is for. That's been the case for many decades now.

The more I re-read this post, the less and less sense it makes.
False. Led startups and teams, involved in hiring and helping to process h1b/e3/f1/tn visas. Held a blue card in Germany. What's your experience?
I don't think most Lemmy or Reddit user are satisfied at that level of engagement. RSS doesn't have comments and I don't believe any Redditor/Lemming seriously only goes for the "news" or being informed as the root goal although it would be a far healthier standard of engagement in my view.

Still, I don't see a replacement for community-oriented and community-curated discovery+parsing+critquing of content.
Good LLM Validation Is Just Good Validation
If I understand this correctly, they want to use an AI model for "autoformalization", which sounds like "using a language model to translate natural language proofs into Lean proofs". Which is cool but much less ambitious than the self-train system I described above. I guess AI technology isn't yet far enough to make such a proposal work.
SQLite with strict mode turned on.
New tech reduces the annoying grid pattern that appears on VR screens
I probably should have said better than the average taxi driver as those generally don't include teenagers, 90 year olds and so on. Re the politics say human drivers in an area cause 10 deaths a year vs robot causing 6. Do you think voters are going to say we should have more deaths because humans doing it is better? That said I think people generally expect automated systems to be safe and probably self driving cars will be when they de glitch them. And then self driving cars will compete against other self driving cars more than against humans.
clearly

it's true about the laxative effect! you'd have to use a different oil. and it's true that steatorrhea ensues if you try to get all your calories from fat

but things like halvah, lemonade, buttercream frosting, and white chocolate are still a lot older than the obesity pandemic
That's clever, and I see the appeal. The UI looks an awful lot like iA Writer in typewriter mode. That's a compliment.

But it does seem like a feature that iA could add, calling it "write-only" mode or such, and then you could have that nice experience with all the other awesomeness that Writer brings.

Still, unless/until they do, I totally get why someone would want to use this. Nice job!
There are mountains of evidence, but you're just unwilling to emotionally accept it.
In Germany if you are on parental leave caring for a child you accrue social security benefits as if you were still at your job.
What am I missing here?

Isn't it a good idea to vet people before you let them enter your country? Why would you let in someone that is hostile to your country? Especially these days with so many individuals being driven by nefarious ideologies?
Cutting LLM Costs by 83% with LangSmith
83% cost reduction seems impressive, but is this really an issue for anyone?
>Shutdown the Sacramento data center and re-provisioned the 5,200 racks and 148,000 servers, which generated more than $100M in annual savings. In total, we freed up 48 MW of capacity and tore down 60k lbs. of network ladder rack before re-provisioning it to other data centers.

The story of how they did this is in the new Elon Musk biography by Walter Isaacson. It's a pretty cool story.
XKCD for this

https://xkcd.com/720/

Less tritely - I do find it fascinating how problems that would've been independent research endeavors can now be subsumed by large language models. Rather than building a big dataset of protein, calories, etc., just ask ChatGPT
I’m going to be honest with you. I too used to be pedantic like this until one day I realized it’s really fucking annoying. Now let me tell you why you are wrong. :)

I’m fine with “occurred”. Because of causality the event had absolutely no impact on our local spacetime until those gravitational waves and photons showed up, regardless of how far back in time the event originated.

Another way to think about it: Because the photons and gravitational waves have no mass, no time occurred from their perspective between their origination point and arriving at earth.

I have no qualifications BTW. I just like physics. There’s a decent chance I’m wrong.
What's stopping you from querying them? You could SSH to the server and query them with the sqlite3 CLI tool.

You can enable WAL mode if you're having trouble querying them due to locking issues.
> As you said, it would be interesting to be evaluate whether the antibodies actually have an effect,

The article has a quote from the researchers about how the antibodies could remove a future PEG nanocarrier from the patients' system:

> "The antibodies formed against PEG attach themselves to the coated nanocarriers, thus counteracting the effect that is actually desired: the nanocarrier becomes visible to the immune system and is removed before it can exert its effect," explains Katharina Landfester, director of the department.

I don't know if there are other consequences outside of this. Having your body become good at removing a foreign substance doesn't sound like a bad thing, except in the case where you might want that foreign substance to help deliver a drug.
The US has enormous amounts of capital and the capital owning class aren't just sitting on their fortunes, but are actually investing in fresh blood. The US has a large, rich homogenous market making it comparatively easier to grow new businesses. The US has some of the worlds best educational institutions making it easy to find world class talent. Lastly, the entire population has democracy as a core value, so you'll never see a single person in power for longer than 8 years. There aren't many places in the world that have such a complete package.
Theft and stealing are legal terms in criminal law. Copyright infringement is a different term, mostly in civil law in fact. (To be fair there is such a thing as criminal copyright infringement, it's just a less common thing)

If you're interpreting things strictly in legal terms: Copying is not Theft.

+edit: (And much copying is in fact explicitly permitted, in which case it's even more clearly something else. Case in point: This video is CC-BY-SA: You are permitted to copy this particular video, provided you credit it to Nina Paley et al. , and extend similar terms to people who would copy it from you)
That's not quite right either. Soaps and detergents are not intended for internal use. The residue won't kill you (because it's incredibly diluted) but ingesting the raw product would cause problems such as nausea and vomiting.

That's why there's an entirely separate class of soap products formulated specifically for those among us who own and operate a vagina.
How do you measure the biggest wave ever surfed? [pdf]
> olive oil has been widely available for the last 7000 years

no it hasn't. for most of that timespan approximately no-one outside of the eastern Mediterranean even knew what an olive was
Do you really want to be friends with 8 billion people? Let's say you want to be friends with only 500 of them. How should those 500 be selected out of people who see your tweets? It has become a norm in social media, only real-life friends follow you on social media if you are not a famous person, otherwise its a suspicious behaviour. People can have a transient meaningful conversation in the comments section, never to see each other again.

My school teacher jokingly gave a small scenario, he said "Imagine you know everyone in the city, you have to say hi or atleast nod to everyone. Not doing it would be to acknowledge you don't care for them."
ICE and CBP are using it ... ICE is more involved in illegal migration cases. So its likely being used for both legal immigration pathways and the illegal ones. Perhaps further FOIA or reporting will help reveal more details.
Logs are a better way to implement usage based billing
A little friction is the best way, agreed. Another thing I do is read Reddit on old.Reddit.com on mobile. I destroyed my login by changing the password to a random string I don’t remember. It’s kind of hard to read and hard to collapse comments correctly. The default subreddits are atrocious. I find that it has cut my Reddit time to about 10m/day.

As I read this it strikes me how powerful addiction and habit are that I still go at all
Ask HN: Why doesn't Google build chat into Chrome
It's kind of remarkable to me that Google has been slow motion fumbling their messaging strategy for the last 15 years, but here we are. However it occurred to me this morning that as the dominant browser vendor (by far), why doesn't Google just take a page from Apple and force the market into using Google chat by building it into Chrome?

Not only would this almost certainly be effective at increasing messaging market share, it would make using Google chat on the desktop a lot easier since currently they don't even have a native desktop client for it.

Not sure why I'm asking HN - just looking for some low key tech spitballing for a Friday I suppose.
SQLite in WebAssembly can do that today.
IMO it's bit ironic that people seek maximum diversity within a single platform without taking into account the effort to seek the diversity beyond that platform.

There are online communities beyond X and, event within X you can just choose to track select groups you follow and constantly unfollow what you don't like.
They did, finally, but it shouldn't have taken this long. There was a breakdown on the regulatory side for decades.
18-year-old built a computer monitor that doesn't strain your eyes
No, it isn't. If we want to be on the front page, we'll publish a blog post; we literally rate limit ourselves on that. We're just a piece of the stack, and this person happens to use us to make a point about SQLite.

LiteFS isn't a Fly.io feature; it's Ben Johnson's open source project, and it runs just fine on GCP and AWS. Try it out!
I don't know if it's over the top. ARM isn't too complex to convert. There's some register mangling that needs to be managed for SIMD, data struct alignment checks and overbounding behavior that needs to be accounted for; but it's all relatively (keyword on relatively, it's still a lot of work) simple and orthogonal.

I would assume it's provided because in Xiaomi's primary two markets (India and China), there's a ton of 32-bit apps that their users need and won't upgrade phones (a lot more common in those markets) if they can't keep them. Google Play is also less commonly used in those markets.
> (until I asked shop owner to pay for me and I paid him in cash + small profit...).

I tried that once, family member specifically. They ended up getting blocked too. Customer support told me to take a hike.
> should the U.S. impose it's view on people who aren't citizens?

> maybe we should be reaching out to other countries and telling them what rights they have.

I don't think it is a matter of telling "other countries" what rights they have or impose the U.S.'s view on people who aren't citizens but of consistently exercising human rights within U.S. jurisdiction (which includes visa applications).
What makes the tiktok vague and shallow isn't the topic itself, but the awareness that there's already a hundred thousand identical tiktoks expressing the same or similar feelings in roughly the same way.

What makes it "not culture" is that everyone is watching one or few of those hundred thousand fully exchangeable tiktoks.

A thing which is basic, vague and shallow can become an important cultural work too - it just must become known to approximately everyone in a society. It must somehow become the one representative work in its class, so that when someone makes a reference, everyone knows exactly which work is being talked about, and that everyone else knows it too. Being unique is not strictly necessary, but is highly helpful.