skysight-inc/HackerNews huggingface dataset:
They’re coupled only as far as agreeing on a message format constitutes coupling, which is something you have to do in any actor system anyway. Bigger issue is that tuplespaces tend to be centralized, so it is very much like an app listening to table events in a db, but without a predefined schema. It’s more like pub/sub except one subscribes by message structure, not channel identity.
Hey, thanks for taking the time to reply. I won't be reaching 1M anytime soon, so good to know!
The video touches on that, in that birth rates are low even in countries where all those protections exist so it's not just that.
this is great but I wish I could customize or disable the flashing between channel changes, it's really strobe effectish when changing quickly and hard on my eyes
Thank you for the feedback, I'll see what I can do regarding the mono audio issue, and I'll try to add more features as soon as possible.
We already have more % population in jail than any other country. Mostly for drugs. The social cost is much less for getting in trouble for drugs in the US, but the incarceration rate is really high.
This is amazing. Let's hope youtube doesn't block it.

I already pay for YT Red and would love this to be an official feature.
Eric S Raymond talking about The Cathedral and the Bazaar
"We still have quite a bit of time … we don’t need to rush and we don’t need to like, you know, stop farmers from farming or, you know, prevent people from having steaks or basic stuff like that. Like, leave the farmers alone." - Elon Musk.

The United States has been paying farmers to not farm for over 70 years:

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

Trump subsidized farmers during his administration:

https://www.npr.org/sections/thesalt/2019/12/31/790261705/fa...

"[...] leave the farmers alone." can be interpreted as to continue to subsidize farmers. I don't necessarily disagree with this statement - food security is obviously important for any government - but the farmers aren't working now in a laissez-faire environment (like Tesla who also takes advantage of government credits).
It's annoying that you need so much math to understand the utility of Category Theory. I learned a bunch of Category Theory before I ever saw it used in a useful way.

Grothendieck wrote modern Algebraic Geometry in the language of Category Theory. This is the first time I saw Category Theory really used in a useful way. Grothendieck's proofs of the Weil conjectures I would say is a good example of using Category Theory to solve a famous problem. Category Theory is used to define and work with etale cohomology and etale cohomology plays a fundamental role in Grothendieck's proofs of the Weil conjectures.

https://en.wikipedia.org/wiki/Weil_conjectures
How starfish move without having a brain
IMO Zod is much easier to understand than io-ts, the counterpart to fp-ts: https://zod.dev/
Mutual Reasoning Makes Smaller LLMs Stronger Problem-Solvers
Will this work on a .net 4.7 project?
What a different experience than default UI. Are you making the source for this public, and/or is it based on an existing project?
This is amazing! You could easily have your RAG app return the top 100 results now. You could probably do 1000 with no issues.

Google set the bar and it’s cool to see the other model companies following suit.

Building AI apps for production uses cases has never been easier, and the trend doesn’t appear to be slowing down…
People need to be reminded of it every year.

Does the Bitcoin whitepaper offer a resolution?
If your typical workloads are covered by Phoronix tests, take a look at their energy consumption results. In LLVM compilation, for instance, 9950X does run at higher average power (188W vs 140W for 5950X), but because it finishes the task much faster, its energy consumption is actually lower at 58500 joules per run vs 78700 joules per run for 5950X, so it should be more efficient.
The video showcases the San people. They have hunted like this for countless generations. You can even see an 1892 illustration of them: https://en.wikipedia.org/wiki/San_people#/media/File:Wanderi...

This paper quotes at least 9 documented Kalahari hunts:
https://www.sciencedirect.com/science/article/abs/pii/S00472...

Another:
https://www.researchgate.net/publication/260135266_Persisten...

Here's an Aussie using the technique on feral goats:
https://www.youtube.com/watch?v=Qp6aqcJH7Uw
Is there a reason it's not a direct link? I just right-clicked "Search Google for..." but still...
"was"

They are still busy patent trolling today.
Probably nothing except being an official microsoft backed project.
A technology in search of a problem. Exactly what startups are warned against. Somehow it's ok if you spend billions on it instead of millions?
Hey, this is great! Could you make it so clicking on the video ID in the bottom right corner opens the full video in a new tab? It would be nice to be able to like / save the whole video for later. Kinda like DVR.
Problem can be solved by switching the student in front of computer and by allowing for students to team up at will or be alone.
> Also your math is wrong 5 hours with 1 hour each side (generous) is 7 hours. With 2 hours each side that’s 9 hours.

Its a three-hour flight not a five hour flight. Five hours is including the one hour on each side. And you wouldn't have two hours on the arrival side, you're not having to wait through security. Chances are on the arrival side its less than an hour. Sure, maybe customs slows you down, but I've never had customs take as long as security and the consequences of being a little slow are much less. But there are no customs flying domestically, and I'm not sure what customs are like flying within the eurozone anyways.

> Either way I would much rather take a comfortable train for 10 hours then suffer in a plane for 5.

It's not 10 hours on the train, its 23 hours on the train. And it's not 5 hours on a plane, its three hours. The person said they were taking HSR. Its a 23 hour ride taking HSR.

> The reason 2000km takes so long for op is its 7+ train changes, if you made 7+ plane changes it would be very long too

Sure, but generally speaking you don't have to when flying You often don't even need to change planes once. That's the whole point. Rail is great for certain distances, but past that there grows a lot of complexities. You're not going to take a single shot HSR trip 2,000km practically anywhere. You're going to have times where the train stops. You're probably going to have to change trains, potentially even change to a non-HSR for a leg of the trip. Meanwhile planes don't need to change 7 times to go 2,000km.

> should be cheaper

Sure, if you value two days of your vacation at nearly $0. Or two days of seeing your family while gone on a business trip at $0. Personally, two days of travel would have to be radically cheaper for me to think it worth it.
I've ran a few tests with Kiota and I found that the generated code is awkward and needlessly hard to integrate. It's good to have options available but with openapi-generator around I hardly see the point of bothering with Kiota.
As long as you raise the temperature slowly, the frog won't even notice.
The K2K experiment also sent a beam from KEK to SuperK in Japan. I think there might have been one or two other exeriments like this. If you spend the time and money to create a neutrino detector, doing an experiment like this is a reasonable add on.
i think you are being overly dramatic. We can already tell if an image is AI generated same reason we can tell if a photorealistic gameplay video is real or not.

Our human brain is incredibly good at spotting contradictions even in the most subtle form.

Low trust societies existed long before AI and its the underlying dynamics in those societies that play a role.

High trust societies will exist regardless of AI because societies are ultimately ruled by law and sense of belonging (identity). Anytime you skimp out on one of those two you enter a negative feedback loop towards low trust society.
Would love to see a video of them typing on it at 10wpm! That's seems decent for a phone.
>and pay for your retirement

I think by that point I already paid for my retirement for the 40+ years that I've worked.
Why newsrooms haven't published leaked Trump campaign documents
Not all countries with protection have similar protection.

Most countries with protection have patchwork laws that are easily broken.

Even the US has laws that pregnant people cannot be discriminated against but they face retaliation and discrimination by citing other means - a patchwork law with no teeth.
We're working on backtesting our specific version of TLH over the past 10 or 20 years, which mean I unfortunately can't comment on that yet.

For reference, other TLH providers generally claim 1-2% increase in after tax returns.

https://www.wealthfront.com/blog/how-wealthfronts-tlh-pays-f...
https://frec.com/resources/blog/why-you-should-leave-tax-los...
How I won $2,750 using JavaScript, AI, and a can of WD-40
Actually it could be 2 or 1. IIRC the order of evaluation of operator parameters is unspecified (this used to be UB, now is merely unspecified).

/extremelypedantic
VTSAX is broader than the SP500 though: https://investor.vanguard.com/investment-products/mutual-fun...
Definitely yes! Will add more features very soon.
The distribution of SSN numbers in the US is well known including the special use for railroad and US territories with sequential numbers. I dissected much of that through historical publication of the death master database and made a lookup for it at https://numchk.com/ as a fun side project.
> The FSF is in the unique position in that the FSF could change the GPL if they wanted to.

They can publish new versions of GPL if they want to. They can't retroactively change the terms that users of the software and contributors agreed to.

Just like any code owners who has the complete control of copyright can publish their code under a different license.
How much? How does it compare to the energy currently being used for Bitcoin mining?
There wasn't much discussion in the last thread, but Akeana announces their RISC-V portfolio yesterday: https://news.ycombinator.com/item?id=41239474
I hate that if anytime I upload a short video it forces the video to YouTube shorts.
Especially since I’m not making content for the public - it’s more a demo video or something to specifically send to a few people.
As with so many services nowadays, I like the ability to use YouTube shorts when I want, but I hate that it’s forced upon us with no reasonable and consistent method to not use shorts at the users discretion.
Animate.css: Seamless CSS Animations Across All Browsers
California bill to ban food dyes in schools may have nationwide impact
> we are (allegedly) good at long-distance running.

Whatever the evolutionary reasons for it, I don't think we can reasonably dispute that humans are pretty good at long-distance running.
https://newatlas.com/mariana-trench-water-mantle/57239/
I'd say Grothendieck's proofs of the Weil Conjectures is a good example. His proof uses etale cohomology and the definition of etale cohomoly uses Category Theory in a fundamental way. From the etale cohomoly wikipedia page https://en.wikipedia.org/wiki/%C3%89tale_cohomology

"For any scheme X the category Et(X) is the category of all étale morphisms from a scheme to X. It is an analogue of the category of open subsets of a topological space, and its objects can be thought of informally as "étale open subsets" of X. The intersection of two open sets of a topological space corresponds to the pullback of two étale maps to X. There is a rather minor set-theoretical problem here, since Et(X) is a "large" category: its objects do not form a set."

There's a lot of advanced math in that paragraph, but it should be clear that Category Theory is needed to define etale cohomology.
Thanks! It makes sense, but I'm too lazy to bother.

I haven't seen my email get filtered, even after more than a decade, but I suppose it could happen.

If I do run into something like that, I can always fall back on pwgen. Thanks again!
Speculation would qualify almost everything, so that would be more of a statement on macroeconomics beyond Bitcoin.

BTC is liquid enough while seeing billions of dollars in inflows a month to discount wash trading as a major factor.
So amazing and so well executed. Brings a tear to my eye. I'd love this app on my tv. I hate deciding what to watch.
The real value of this, IMHO, is that it makes it much harder to match you against services and in ad platforms. Hashing email addresses is the primary way user data is exchanged.
Is English not your first language? If it is, I am utterly baffled as how you think that's an endorsement trusting the client, rather than merely a description.
Another observation: with this setup, you essentially randomly jump into the middle of videos, skipping what is usually the most grating part of the show: the intro.

In the intro to most shows/videos, there's annoying jingles, silly animations, a redundant summary of what's about to happen in an already short segment, or just useless chatter "hey guys! it's your boy, _. welcome to my channel, remember to smash that like button, we have a great show today".

Because of all this intro bloat, I tend to jump a few minutes into most YouTube videos by default.
More interesting viewpoint in this is for kids to provide labour for you to buy with your retirement.

This might or might not be an issue for retirements in future. You could have currency units, but there might not be labour to buy with those units. As money in sense is just saved labour.
> I think in general we are losing a lot of functionality especially since the phone UIs are slowly creeping into the desktop. Discoverability and consistency are simply horrible compared to how things worked around 2000. I think it's a huge regression.

Indeed. Remember when every icon had a tooltip that told you what it would do? Remember when it shipped with a book that also told you what each thing did?

I recently used an app that was a unified phone/pc interface and I was pretty sure that somewhere in a list of icons was a thing I wanted, but wasn't sure which. I picked the wrong one and then had to figure out howto undo what I had just done.
SiFive also updated the website, and gave the first SPECint2017 score: Their P870-D is supposed to have a >2 SPECint2017/GHz.

https://www.sifive.com/cores/performance-p870d
> Granted, that is noisier than the Python, despite being a direct translation.

My complaint isn't the noise. My complaint is: can you explain what withJump does? Like, not the intention of it, but what it actually does? This is a rhetorical question--I know what it does--but if you work through the exercise of explaining it as if to a beginner, I think you'll quickly see that this is isn't trivial.

> 1. You don't get weird semantics around mutating the loop variable, and it remaining in scope after loop exit

Is this an upside? It's certainly unintuitive, but I can't think of a case this has ever caused a problem for me in real code.

> 2. You can "break" through any number of nested loops, not just to the nearest enclosing loop (which is actually more useful when dealing with weird edge cases, not less)

Again, is this actually a problem? Any high school kid learning Python can figure out how to set a flag to exit a loop. It's not elegant or pretty, but does it actually cause any complexity? Is it actually hard to understand?

And lots of languages now have labeled breaks.

Arguably the Lua solution (gotos) is the cleaner solution here, but that's not popular. :)

> 3. You can see exactly what effects are possible in any part of the program (which again is actually more useful when dealing with weird edge cases, not less)

What does this even mean? In concrete terms, why do you think I can't see what effects are possible in Python, and what problems does that cause?

In all three of the cases that you mention, I can see a sort of aesthetic beauty to the Haskell solution, which I appreciate. But my clients don't look at my code, they look at the results of running my code.

> Regarding laziness and performance, that is a resolved issue. I have an article that explains that: http://h2.jaguarpaw.co.uk/posts/make-invalid-laziness-unrepr...

The fact that you need a blog post to tell people how to resolve an issue exemplifies my point that this is not resolved. Nobody needs to be told how to turn off laziness in Python, because it's not turned on.

The fact is, Haskell does the wrong thing by default here, and even if you write your code to evaluate eagerly, you're going to end up interfacing with libraries where someone didn't do that. Laziness still gets advertised up front as being one of the awesome things about Haskell, and while experience Haskell developers are usually disillusioned with laziness, many Haskell developers well into the intermediate level still write lazy code because they were told early on that it's great, and haven't yet experienced enough pain with it to see the problems.
Tango, djembe (Senegalian rhythms), piano.

Practicing each of these gives me pure joy and makes me feel invigorated and recharged, happy to be alive.
We chose Apache 2.0 for the Spice OSS runtime.

TL;DR: Data-plane Apache 2.0, control-plane BSL.

Being such a core component, we want developers to be completely comfortable integrating and deploying the Spice runtime in their applications and services, as well as running Spice in their own infrastructure.

In addition, Spice OSS is built on other great open-source projects like DataFusion and Arrow, both Apache 2.0, and DuckDB (MIT), so being permissively licensed aligns with the fundamental technologies and communities it's built upon.

We expect to release specific enterprise control-plane services, such as our Kubernetes Operator under a license such as BSL.

[1] https://github.com/spiceai/spiceai
The videos are hand-picked and are scheduled so everyone is watching the same thing at the same time.
I've also been using ErsatzTV with my jellyfin setup. It can take a while to setup channels how you want them, but I love my sci-fi channel which is going through all the Star Treks, Stargates, and Twilight Zones.

It is so much easier to flip it on to my Sci-fi Channel, animation channel, movie channel, or James Bond marathon channel then to decide what to watch. And since I've seen all this content, it is often kinda nice to start in the middle of an episode.

I also found a ton of old Nickelodeon, Cartoon Network, and Adult Swim bumps that I use as some filler content if I want episodes to start on the hour.

I've been thinking a lot about setting up some kids channels with specific hours (like channel comes on at 7am, goes off during part of the day, comes back on in the afternoon, and goes offline at bedtime) for my siblings kids, as I think letting them just browser youtube kids is terrible.
There's older versions of Autorest for that. But you could encounter issues between swagger V2 and V3, since V3 is newer
I've got a hunch that the "bug in the legal system" is forced arbitration. I have zero actual experience here, but my general feeling is that arbitration rarely works out to the benefit of the plaintiff. Or, put another way, arbitration always benefits large corporations, like Disney. Is there any truth to that?
As long as a human didn't generate the file, all things can be automated.

However, if you ever have the misfortune of dealing with human generated files (particularly Excels) then you will suffer much pain and loss.

I once had to deal with a "CSV" which had not one, not two but 6(!) distinct date formats in the same file. Life as a data scientist kinda sucks sometimes :shrug:.
Surgeons Cut a Giant Tumor Out of My Head. Is There a Better Way?
Neutrinos don't really interact much with other matter so you need either a really intense source of neutrinos or a really big detector (think multiple tons of stuff ) or both. So you're talking about a 10m x 10m volume plus you need the detector to be in a place that doesn't get much other radiation so you need to bury it a few hundred meters underground.
Developers can soon offer in‑app NFC transactions using the Secure Element
> If you’re deep in the Excel world, chances are extremely high that you also have access to SSMS,

Can you provide more information about this?

Like, I'd reinstall windows if this would actually work on messy excel/CSV data.
You know what is worse than making your own engine? Spending ungodly amounts of debugging some redicilously stupid issue because you didn't check a "bloo fobar" checkbox under floo - bar - baz setting menu (that exists only in your awesome engine version 19.10 but NOT in all previous versions) and you didnt have a slightest fking clue what to do and how to solve it if only not for a random single forum post from 2011 explaining it.
meh. I'd rather debug my own bugs than this shit.
I'll add more control options soon :)
> and it's also in a class of its own in workloads heavy on AVX-512, though they might be a bit niche.

It'll be interesting to see if it remains niche - I do a fair bit of work on graphics rendering (some games, some not) and there's quite a bit in avx512 that interests me - even ignoring the wider register width. A lot of pretty common algorithms we use can be expressed a fair bit easier and simpler using some of those features.

Previous implementations either weren't available on consumer platforms, or had issues where they would downclock/limit ALU calculation width for some time after an avx512 instruction was run, only returning to full speed after a significant time - presumably when whatever power delivery issues could settle - which seriously affected what use cases in which it made sense. It wasn't worth it to have "small data set" users of avx512, as it would actually run slower than the equivalent avx2 code due to this. And the size of "large enough" data sets was pretty close to where it'll be better to schedule a task on the GPU anyway....

But AMD's implementation doesn't seem to have this problem - so this opens up the instruction set to much more use cases than previous implementations.

Or has the AVX512 ship already sailed? With Intel apparently being unable to fix these issues and started hacking it into even smaller bits? I mean, arguably they should have started with that - the register width is probably the least interesting part to me, but at some point having it actually widely adopted might be more useful than a "possibly better" version that no chip actually supports.
> Is there a good argument for actually using Rust for such things?

Can't speak for the author, but I'd choose Rust over Go/Java/Python for such projects for following reason:

* Rust is a more pleasant language to work with, i.e. Sum type, pattern matching, and Drop trait closing resources/cancelling tasks.

* Type system is much more robust than Go and Java, resulting in better quality code with less requirement of unit tests.

* I don't care about performance much (for personal projects), but a free performance is always a win.
This is how lit-html implements efficient re-renders of the same template at the same location in DOM. It uses the template strings identity to mark that some DOM was generated from a specific template, and if rendering there again it just skips all the static parts of the template and updates the bound values.

Tagged template literals are crazy powerful, and it would be really neat to add some of that magic to other language features. If functions could access the callsite, you could implement React hooks without the whole hooks environment. Each hook could just cache it's state off the callsite object.
I’ve never really heard a compelling argument for myself to want to have kids. Most of my friends/family have said one of these

“it’s just what you do”

“I want a mini-me” (yikes)

“I don’t wanna adopt. I want my OWN kid”

“I want a best friend”

“I want someone to take care of me when I’m old”

To me these all read as selfish which is why I never reached a compelling conclusion to have my own kids.