skysight-inc/HackerNews huggingface dataset:
Pro tip for reading an article that concerns Israel: compare and get context. Israel is often held up as a boogeyman even when it compares similarly to other countries. For example, I could say “Israel has a higher rate of incarceration than China!” and while (according to Wikipedia) that’s true, it’s also true for 90+ other states and territories. Israel sounds uniquely bad in the first telling, but when you contextualize you see that they are actual around the middle of the pack. No more boogeyman.

Context is terrible for the boogeyman narrative, so it’s usually left out.

In this case, the accusation is that Israel attempts to influence US opinion. Do other countries do this? In 2020 the US department of education said it uncovered ‘$6.6bn in previously unreported gifts from countries including Qatar, China, Saudi Arabia and the United Arab Emirates. It said this figure could be "significantly underestimated".’[0] $6.6b in secret funding from mostly anti-democratic countries, just to a few universities. How does this story about Israel sound now, in the light of more context? Context tends to disrupt the “Israel the unique boogeyman” narrative.

Does the guardian story include any context about how other countries try to influence US opinion, or what is typical? If not, why not?

tl;dr: seek context, especially in stories about boogeyman Israel.

0: https://www.bbc.com/news/world-us-canada-51481396
Notion Sites (What the founders intended to build before pivoting)
I see it as the Corvette looking like (copying) the Ferrari. I've got a friend who drives one of those 'high-end' wishes-it-was-a-Ferrari Corvettes. Every time she drives up I say "shoulda bought a real car", and I get a dirty look.
Borkdude has a wonderful Clojure/Babashka solution in this space:
https://github.com/babashka/fs
Note that C++ has time-travel, C has not. A printf on a path which later encounters an operation with UB needs to be preserved.
I might have given it a try if Firefox had worked.
In corporate antitrust law, specifically. Nobody is going to jail over this. They might just have to change the sales terms. Is this so terrible?
As an aside, chatgpt is very good at generating jq queries from an example input and text version of the query.
Not much. It's too inaccurate for my research and is a bad writer.

Day to day I write Lean, and I use moogle.ai to find theorems. It's... fine as a first pass. The website constantly gets confused about similar-looking theorems, it can't pattern match, and it can't really introspect typeclasses (which can be hiding the theorems I want). However it usually can usually help me go from a vague description of what I want to some relevant doc pages, so credit where it's due for that.
How many someones are there per active vehicle?
Bash is useless at JSON now. There's nothing stopping Bash from introducing native JSON parsing.
I don't have the answers.

More traffic calming measures? Commercial licenses for those giant pickups SUVs? Less "free" parking? Require 100 miles of transportation cycling to get a drivers' license, for those physically able? Higher gas taxes?
I've been ruuning a hedge fund for 20 years. The type of client depends entirely on size. Most funds start small with friends and family money. Some start bigger like ex prop traders. Before the Volker rule many traders worked for banks known as prop traders (proprietary). The Volker Rule stopped that but prop traders thar had built up a decent track record could leave the bank and set up a fund and take they clients with them. Many of these would be banks clients which include HNW and family offices. Typically any fund under $100m under management would not have big institutional clients like pension funds. Fund of Funds (FOF) used to be a big part of the business but less so today. They used to reply on the fact that due diligence was hard and access limited. It's not the case today. So sub $10m is mainly the managers own money and friends and family. Sub $100m you may some HMW and family office and possibly a FOF. Post $100m you can start to attract interest of some of the more adventurous institutional investors. After £500 you're definitely in the institutional category. Institutions don't want to invest in small managers because they need to invest in size otherwise is not worth their effort but they also don't want to be your entire assets either hence the minimums. Once Institutions start coming in in size then asset levels can really accelerate as the aren't that many funds that are very large so they have a limited choice. So what type of client to have is entirely dependant on your size. In fact it's more dependant on your size than your returns. In the early days to have to be a bit racy to generate the interest. As soon as to get bigger to need to calm things down a bit.
Hot take, plant origin plastics should be deliberately engineered to be non biodegradable so we can lock that carbon up in a landfill instead of releasing it back into the atmosphere
CO2 isn't the driver here, it's mountains of non biodegradable plastic bags getting into rivers, oceans, everywhere.
You can call it what you want.

But the U.S. operation involves less than 1 percent as many ground troops as Russia has deployed in Ukraine.

And last I checked, hasn't resulted in entire cities razed to the ground, and 15 percent of the population displaced.
If anyone could make it work it's Dr. Percival, but I wouldn't want to be the one trying to figure out how to avoid astronomical charges for hydrating and transferring data, or accidentally making too many calls.
I am working on exactly this in a music player I am writing. Specifically, you can use any S3 compatible storage to sync your music and metadata between devices, and it's end-to-end encrypted.

I plan to offer single click resale of storage directly in the app for users who don't want to deal with access keys, secret keys, ACLs, and the like.
How common are they?
I'm probably not the best person to ask, since the last time I touched Powershell, it was Windows only, but I'd say nushell is likely a lot more platform-agnostic, has sane syntax and follows a functional paradigm. Plugins are written in Rust. It's probably not worth it if all you do is Windows sysadmin work, as you'd have to serialize and deserialize data when interacting with Powershell from nu.
Better ORNL article (linked at the bottom of the OP): https://www.nature.com/articles/s41586-024-07267-6

Actual paper in Nature: https://www.nature.com/articles/s41586-024-07267-6
How many cars does each person monitor?
> The case was withdrawn due to the time it took to get to trial

... Which weakens the oral evidence.

The only evidence they had; because there was no DNA found on the condom submitted as evidence.

https://medium.com/@njmelzer/demasking-the-torture-of-julian...

> There were never any formal criminal charges, and the Swedish Prosecution Authority’s investigation into Assange was dropped in November 2019 due to a lack of evidence.

https://rsf.org/en/rsf-dispels-common-misconceptions-case-ag...
Survivorship bias: https://medium.com/@trendguardian/free-will-a-rich-fairy-tal...
> Proving that a program terminates eventually is a very weak guarantee, since it could be a program that terminates after a million years. This matters mostly for proof languages, where it’s useful to write proofs about functions that you never run. If the function provably terminates, you can assume that whatever value it returns exists, without calculating it.

In practical algorithms of significance, we can often do much better than this, proving both termination, and the time complexity of that termination. For instance, a DFA of a regular language will terminate in O(n) of the length of the haystack, and we also have a bound for the time it takes to construct that DFA.

Sometimes, as you're alluding to, we know something terminates, but the time complexity is impractical: exhaustive naïve search for Traveling Salesman will, in principle, halt. This is, itself, useful information.

The article claims (I believe correctly) not just that H-M inference halts, but that it does so in "near-linear" time. That's a much tighter bound than merely proving termination.
The quoted paragraph is correct as written. E.g. if

f: ∀A, B. A -> B -> A

Then we have poly type π = "∀A, B. A -> B -> A".

The monotype μ = Str -> Int -> Str is a specialization of π, so we are also permitted to judge that f has type μ.

The type specialization operator "looks backwards", where we write sorta "π ≤ μ" because there's a kind of "subtyping" relationship (though most HM type systems don't actually contain subtyping) - anywhere that a term of type μ is used, a term of type π can be used instead because it can be specialized to μ.

I think this is a good complementary article: https://boxbase.org/entries/2018/mar/5/hindley-milner/ (it also links to three more academic sources for more context/detail)
Yes, making it possible to reason locally about compiler performance can be pretty helpful. It’s one reason I like to have type declarations for public API’s. Also, hitting an implementation-defined limit (that you can raise) for unreasonable constructs might result in better errors than just continuing to run, but slowly.

A termination guarantee for type checking doesn’t really help.
> To prove how awful and illogical Mac OS is I’m going to provide God knows what feature that 99.9 casual users don’t know or care about

Laughable.
Cool, thanks! I'll update that.
Prefect 3.0
Surface Laptop review: Microsoft's best MacBook Air competitor yet
A timeout (or recursion/expansion depth limit) could be useful to give the human some specifics about what went wrong. But humans generally kill compilations that take much longer than usual. If it took 20 seconds before, and now it's run for 10 minutes and hasn't finished, I'm probably going to control-C it (or whatever), and then diff against the previous code to try to figure out what went wrong.
Is it? If there’s an effective duopoly on the entire market is that truly choice?
Interesting! Both that the study had a flaw (dietary xylitol not being properly isolated) and that the same group "reused" a study from another artificial sweetener. I'm tempted to ask who might be funding this group...
If they want to keep selling in the EU, they better keep it up...
So, a single laptop hard drive a day? 50 tape drives a year? For the biggest repository of video there is? That's literally peanuts.

There's some logistics in handling backup tapes, but that's a well understood process.
This could work but you’d probably need to re-think the shopping cart too so they can be easily re-used.
Cool project, thanks for sharing!
I appreciate that the audio feeds are kept in the podcast app
On the other hand, AMD has had a decade of watching CUDA eat their lunch and done basically nothing to change the situation.
As someone focused on grad school, I find myself much less frequently getting stumped by problems and rage-quitting. I also use some prompts which help to speed up my learning in general while making sure any LLM doesn’t give me the answer.

One of my research interests is on how humans use expert systems (akin to how Go players’ ELO ramped significantly after the release of AlphaGo).
But using an invalid pointer is implementation-dependent, not UB, unless I'm missing a step here?
I would try to drop the “d*ck move” narrative from my thinking if I was you.

There’s a clear precedent, and a clear reason, to request the rewrite.

This has nothing to do with personalities and everything to do with the quality and navigability of the code - just make sure to communicate the whys with your request and word it politely.
The Internet Archive needs all the support we can give so that when hack writers who have Reddit personality disorder blame them for their books not selling during the pandemic sue that the Internet Archive legal team can vaporize said hack from orbit.
Trump strikes me as far more likely to grant him a pardon than Biden. Biden is neoliberal, which are just as hawkish as neocons (they’re functionally identical). Trump is more of a populist, anti-war, “anti-deep-state” (i.e. intelligence agencies) sort, who has at least entertained the idea of a pardon.
> Taking it one step further: Apparently the millions of male users were unable to tell this site apart from any of the "legitimate" dating sites like Tinder.

When LLMs and gen AI started to become somewhat competent, I began wondering if a TikTok style app with 100% "AI" generated content could be successful.

Most people here laughed at the idea, but reading things like this makes me think that it will become a thing.
I see what you’re getting at, but think predator is the wrong word. Narcissism might be more appropriate- it is just thinking about yourself and not caring about the well being of others or of the group. Usually rationalized by the idea that everyone else is as well, and if you don’t you’re just getting taken advantage of… which becomes increasingly true the more people act this way, a self fulfilling prophecy.
> It is not a country which should have any influence whatsoever outside its borders

I'm not going to defend US autrocities, but why exactly is Sweeden and the EU allowing this stuff to happen on their soil?
Trouble is, as part of the deal he is headed to an US territory next to Australia, right?

Seems like the perfect place to kidnap him
There is like 10 python frameworks which achieve that with much fewer steps.
Very interesting, I've been thinking about remote access pc and android as portable storage, but never got time to actually create it. Can you please give a bit more elaboration of your setup, any references if possible too?
This is the problem I have with any study of "systems". It all just feels like overly ornate verbiage for "hey, this thing kinda looks like this other thing if you squint". It's very difficult to distinguish that imgur image from complete Time-Cube-level quackery. "Volume (more than 3 points) <==> deep cause-and-effect relationships <==> trivalent linguistics (he gives the book to his brother)" ... really? Is this really helping humanity understand anything?
Cinderella doesn't even have it's name from the German versions, that'd be Aschenputtel or Aschenbrödel, but from the French variant which was already 1700 years old when you take the story of Rhodopis from ancient greek as its origin (as far as we know now). The greek geographer recorded: "They [the Egyptians] tell the fabulous story that, when she was bathing, an eagle snatched one of her sandals from her maid and carried it to Memphis; and while the king was administering justice in the open air, the eagle, when it arrived above his head, flung the sandal into his lap; and the king, stirred both by the beautiful shape of the sandal and by the strangeness of the occurrence, sent men in all directions into the country in quest of the woman who wore the sandal; and when she was found in the city of Naucratis, she was brought up to Memphis, and became the wife of the king."

https://en.wikipedia.org/wiki/Cinderella

Two years ago I saw an excellent performance of Rossini's La Cenerentola at the Volksoper in Vienna, they put the choir into a 24-legged horse costume to pull the prince's carriage. https://www.volksoper.at/produktion/la-cenerentola-aschenbro...
Isn't this why BigInt was implemented? https://developer.mozilla.org/en-US/docs/Web/JavaScript/Refe...
> Are all of them men? What about their spouses?

No. Many are, but I know some fairly successful tech women who worked at FAANGs and made great money as well.

>but they overspend on everything -- groceries, dining, housing, cars, schools, vacations.

Yes, I guess I was trying to say that in tech focused circle in SoCal, traditional status symbols take a back seat to upgraded houses, vacations, and dining.

I don't know friends who buy themselves a rolex or fancy handbag if they get a huge bonus. They might treat themselves or friends to a high end dinner or a nice vacation instead.
That basically doesn't happen in the USA so there's not a reason to switch here.
I lived in London for a few years and saw the armies of homeless every day, no different from New York City.

In my experience, UK is a country that has managed to combine the worst of America with the worst of Europe with very few redeeming benefits except for the richest 0.1%, who are indeed very well taken care of in England.
I feel like people forget that AMD has huge contracts with Microsoft, Valve, Sony, etc to design consoles at scale. It's an invisible provider as most folks don't even realize their Xbox and their Playstation are both AMD.

When you're providing fab designs at that scale, it makes a lot more sense to folks that companies would be willing to try a more affordable option to nVidia hardware.

My bet is that AMD figures out a service-able solution for some (not all) workloads that isn't ground breaking, but affordable to the clients that want an alternative. That's usually how this goes for AMD in my experience.
Sans I/O when rubber meets the road
> The killer is grocery delivery services.

I don't think so. This is largely dependant on each grocery delivery service, but of you look at it the worst cases are actually just continuing business as usual,which is hardly a regression. In the meantime, some services managed to completely eliminate the use of plastic bags.

As an example, for the past year or so I had a groceries delivery service use their old plastic bags, but they also implemented a charge-back service where they pay you back when/if you return them in the following delivery. This is clearly an improvement. In the meantime I had competing supermarket chains completely switch away from single-use bags to alternatives such as reusable plastic crates and even reusable cardboard crates. Behemoths such as Amazon Fresh completely switched to a mix of paper bags, for example.
On my phone so can’t double test, but can’t you get this by adding “export” in front of every line in your env file and then source before running command?

I suppose if you don’t want it to stay after execution i believe you can:

> $(source .env; my command)

I’m sure there is a fairly straightforward way to encrypt and decrypt a local file
OH thanks for informing. I completely forgot about it. Here are the links:

github: https://github.com/ezpie1/lambda-official
Lambda: https://lambda-official.vercel.app/

Please be noted that the latency is a major downfall, it takes about 4 seconds to load.
This is ironic, as I'm not even sure the authors RSS is setup correctly. My Miniflux instance now has multiple entries for this exact post and in fact the ONLY time I see duplicate posts in there is from the authors site.
Micropayments never took off. Advertising / freemium did. Why?

If your server doesn’t serve responses unless someone pays, then there is the problem of uncertainty for the client — how do I know the content behind the paywall is worth it?

Nearly all of the services we use that index the web are free/cheap and require the ability to crawl the web without logging into services. Search engines like Google, Bing, Yandex, Baidu. LLMs like ChatGPT piggyback on CommonCrawl, in addition to paying for large expensive data contracts from companies like Reddit.

We have a word for the part of the internet that is walled off from open crawling — the Deep Web.
This is basically what we have now and there is an enormous and growing pollution problem due to the non-degrading plastic.

If we could get people to dispose of their waste in a landfill always and forever, this might work, but in practice people treat the world like an open sewer.
Surprise, your data warehouse can RAG
Oh well, I really appreciate you taking the time to explain it.
But honestly, I didn't understand a word. I recognize it is my lack of knowledge.

I hope someone can do me a ELI5.
I really wish 1Password would ship an environment manager for their op CLI.
I think you undershot that by a factor of 60. But when I said "get picky" I meant things like not archiving all of youtube. And for articles specifically, archiving every video article is a lot smaller.

https://routenote.com/blog/wp-content/uploads/2020/08/pex-yo...

And going by this, restricting to a reasonable view count will cut the space you need by a factor of 10 to 25.

If we round that to a petabyte per year, it's not in the range of a typical personal archive, but it's a reasonable thing to picture several big libraries doing.

(Though a single person could handle that much if they really wanted to, spending $10 a day on data tapes.)
Why do you hope they are right?
I spoke with Folkert, one of the developers on this project, on the 'Rust in Production' podcast. Some of you might find it interesting: https://corrode.dev/podcast/s01e05-tweede-golf/
>what happens when those who have the power are abusing it and committing criminal acts?

I never saw anything on Wikileaks I thought needed to be leaked.

>Because they (or myself - or yourself) are not empowered to systematically commit crimes by their/our citizens - who pay for the privilege of that through taxation.

You have power over, say, your children, spouse, parents, maybe you manage folks? Do they have a right to dump all your information to each other?

>Yeah - give me the leakers, give me the dissidents - because you end-up with an out-of-control fascist police-state otherwise.

This is exactly the kind of teenage rebel logic I'm talking about. Snowden exposed an actual significant abuse of power issue. Assange didn't, as far as I know with the things I've seen and remember. People who want to blindly rebel but have nothing but vague charges and cannot point to real issues supporting anything anti-government.

Adults need to focus on understanding the real problems of government and providing real feedback on logically sound arguments. Not ambiguous "down with the man" rhetoric. You live in a world that needs government to function and governments need to keep secrets.
Mostly that Lua datatypes don’t always have great analogs in TS (particularly tables) and you have to be pretty cognizant of what’s going on under the hood.

All of these, too: https://typescripttolua.github.io/docs/caveats
I have read in a few places that Microsoft is using AMD for inference to run ChatGPT. If I recall they said the price/performance was better.

I'm curious if that's just because they can't get enough Nvidia GPUs or if the price/performance is actually that much better.
> For instance we could have a guarantee of free emigration: If a person, of no real criminality, wants to leave their country

One should be a be able to live a fulfulling life anywhere, not be forced to emigrate just to be able to live...

> than trying to Americanize the rest of the world, which seems more likely to lead to the end of the world than anything else.

When you see injustice somewhere else, a good answer is action, better is pre-emptive. Autocracies are fundamentally bad for humanity (otherwise we're going to repeat the past with countries like russia and china repeating ww2 germany)
I never trusted this xylitol shit. Or really any artificial sweeteners. Seems like it’s best to avoid them altogether and avoid developing a sweet tooth.
Critique of Pure Reason and Philosophical Investigations -- I studied philosophy as an undergrad and only helpful modulo your definition of "helpful" of course. For me, expecting my best decisions to be at least partly wrong and my knowledge to always be incomplete.
What are they expecting to be different about samples from the moon's far side to those previously collected?
This is meant jokingly.

Sometimes when a public figure fucks up their career in their home country, they'll move to another country where people don't know about the fuck-up.

This isn't a literal exile, it's figurative.
How to detect the modular RAT CSHARP-STREAMER
Xylitol chewing gum or Xylitol based toothpaste?