skysight-inc/HackerNews huggingface dataset:
With arbitrary-precision, you can essentially replace the entire neural network with a single trainable parameter. [1] Likewise, in model checking, one often uses bounded-length bitvectors, because even a PDA with two stacks is Turing-equivalent. The poor separability between theoretical and physically-realizable models of computation is one of the weaknesses of the Chomsky hierarchy and classical approximation theory, and why more descriptive theories to characterize function complexity, e.g., circuit complexity, algebraic complexity theory and/or logical expressivity, are often needed.

[1]: https://arxiv.org/pdf/1904.12320.pdf
Wrong. Just wrong. And to people who look like me, harmful.

Now to be specific, I didn't make any generalizations about black folks, I was telling others not to. But, even if, I'm still pointing out a specific issue that I can observe and give other examples of, and you cannot "both ways" it. White people making presumptions about what black people think is more harmful than black people making presumptions about what black people think.

This owes to the fact that frequently -- said white person will only be talking to other white people and now you've cut black folks out of the conversation. Black people talking about each other is much different. Skin in the game.
> 1) Poor management (broadly defined) creates misaligned incentives, busy work, etc. that "gets in the way" of good talent executing well.

> 2) Management, who "doesn't really do anything," is overpaid relative to the IC's who "Do the work."

> These two ideas, though, are in contradiction

I don't see them in contradiction. They're also neither mutually inclusive nor mutually exclusive. They are separate observations and both may be valid or invalid for a given set of management.

I happen to think that there's a lot of good "management" but not a lot of good executive teams. Sure there's definitely a lot of bad management too, but IMO there's a far bigger pie taken from poor (or outright employee-hostile) C- or S-level executives.
Several times I keep finding me switching through apps. When notion became the rage, I went to make an account to find out that I already had an account (with to do lists from months ago). I have made sincere attempts to use it as my primary tool, often spending days on setting it up and sometimes money. I always lose interest and switch to the next fancy thing.

Among Notion, amazing Marvin, ticktick, toodledo, things, Microsoft todo, several calendar apps, structured, streaks, Any do, dynalist, OneNote, trello, clickup- I finally (for now) settled on Drfats and OneNote (at work since it comes default and I can move pages around).

Drafts- can’t handle images. Also needs about 20$/year. (I have paid for majority of the above listed apps at some point, including notion for their ai. )
But on the plus side, I got into a habit of just dumping everything on my phone directly into drafts, hoping I will dirty and organize it later. So the capture part is kind of good right now. The acting on captured part is still pending.

Also recommend an app called zen diary which is a linear flow of text, like a log.

I have ADHD, refuse to acknowledge it and I use Apple devices personally and windows at work.
Somebody should build an app that let people enter unorganized text and let AI organize into list of actionalble items and keep remind the user of the plan AI help create.

No more planning, just doing.
Nah, 4g stands for 4g.
He didn't get lucky.

He found a trend and published it widely.

He changed the very thing he was studying. Because politics was already a statistical game, his original models failed to reproduce.

He clearly published a single result.
Women CEOs (Finally) Outnumber Those Named John
When it comes to US market, IKEA is only beat by the custom kitchens from the big box stores. Even midrange IKEA is better than Ashley or similar common furniture stores... not to mention that it's drastically cheaper.
That's fair. My main objection is labeling _everyone_ as "pirates". Technically, yes, they are pirating the steam.

But some of those people are also PAYING to watch plenty of games in whatever sport they are "pirating" streams for. Calling these people "pirates" fails to acknowledge that they are also "paying customers" who are frustrated with how complicated it has become to pay for the product they want to watch.
The issue is drilling into a very deep magma chamber. It's not like drilling the edge of a balloon. It's more like drilling into progressively softer jello. The hole will collapse on itself before you can release a useful amount of heat.
In a few years knowledge work will not be the domain of humans, the same way transporting heavy building supplies is no longer the domain of oxen and donkeys.

We may still ingest knowledge for our own amusement but it won't serve any practical purpose.
Of course. And now we have the RESTRICT act thanks in part to him.
Sure; one thing for me about comments here: I'm not making them just for the other people here. I'm making them for myself. -- I wouldn't feel right if I read garbage and just let it stand, though I know it may not change minds.
It must have taken a lot of time to meet every single one of the 67M people in the UK to form such a generalization.
A simple analogy would be that a groebner basis, for a set of given polynomials, is similar to an orthonormal basis for a set of vectors.
Probably React is easy for someone who already knows it. Is it "simple"? No, not by many measures. Just like game dev UI is easy for someone who is used to it. Is it "simple" though? Nope, also not simple.

UI, simple as it seems to some and complex to others, seems to still be a problem that there is no simple solutions to, they all carry a lot of accidental complexity, web UIs or not.
There's a common polycule meme where every new member pays for a different digital media subscription service and it's shared between everyone. If you get together with a few friends it's possible to split the costs of all these services. If you're sufficiently tech savvy, each person can run a VPN from their home so it doesn't look suspicious from the streaming service's end. Here's a video showing how to do this with Netflix [0].

I remember growing up it would be really common for people to split the cost of a PPV fight and VHS recordings would be passed around. It seems pretty similar.

Community-based media sharing is great. I wish it was possible for me to lend all of my Steam games when I'm not using them.

[0] https://www.youtube.com/watch?v=9CunwUs08og
It's neither shallow enough to make geothermal energy , nor fragile enough to risk a "burst"
It's certainly an improvement that now they speak with partial evidence and admittance, compared to paying for "climate change hoax" campaigning.

In context, the heating we had now already caused massive destruction in polar, in whales, in shallow sea, in mosquitos, in plagues, in desertification. Thus any decrease is welcome. We are not having quota to spare. We're trying to pay a subprime mortgage made before.

Kudos to Shell for admitting that, but the question is how in the world they are able to function and sell stuff? Grid company can switch to renewable comfortably, but Shell found its way in digging ground.

I guess they at least will make the shift to natural gas as that stuff ain't that terrible compared to petroleum, and they can still sell petroleum for plastic.
> But as Prohibition demonstrated, we can't legislate away people's vices.It's extremely expensive and doesn't work.

Death rates from cirrhosis of the liver were halved by Prohibition, and didn't return to pre-Prohibition levels until the late 1960s. Similarly, per-capita alcohol consumption dropped to 30% and then plateaued at about 60-70% of pre-Prohibition consumption, only returning to pre-Prohibition levels in the 1980s.

Prohibition worked. But arguably it was too expensive, and certainly inconvenient. OTOH, national Prohibition turned out to be much stricter than originally intended; the 18th Amendment was originally sold to the public as way to ban hard liquor, not beer and wine, permitting Congress to harmonize state laws which primarily banned the former, not the latter. The ban on beer and wine was a turn that most didn't expect. If Congress' Volstead Act hadn't been so extreme or if SCOTUS hadn't interpreted the amendment so loosely, we might still have the 18th Amendment.
So, a lot of users in this thread seem to be misunderstanding what Mux is, and how the "soccer pirates" interact with their service. Let me clarify:

Mux is a streaming infrastructure provider. They provide services for companies who want to stream video to their users -- news web sites, video chat services, etc. Kind of like web hosting, but specifically for video. They are not a video content provider; they do not sell subscriptions to end users.

Mux's problem is that pirates will sign up for their service to restream pirated video content, like live sports streams:

Official stream --> pirate --> Mux --> viewers

When this happens, Mux usually gets stiffed on the bill, and if the stream stays up, Mux gets legal nastygrams from the content owners. So it's in Mux's interest that they detect these pirates quickly and terminate service before they run up too much of a bill. The blog post explains how they do that.
Using an API does not mean sending URLs of every web page.

I'm quite certain Chrome does not do that by default. There are a number of settings in Chrome that you can change to send URLs of every web page to Google, such as turning on history sync, the checkbox for "making searches better" or the "enhanced safe browsing" checkbox. None of that is enabled by default in a new installation of Chrome.
I think it's poorly worded - there were a bunch of other aggregators at the time who said things like Clinton was 99% likely to win. IIRC 538 assumed that polling bias could be correlated between states while most analyses were assuming that each poll was completely independent, but that's probably an oversimplification given the vagaries of memory.
It stopped working for me when I couldn't install the Chrome extension for 1Password 7 on my work machine.

I've finally given in, after years of being a licenseholder of 1Password 6 and 7 (and maybe 5?) ... and I'm mixed. Definitely plenty of migration pains, you have to set aside time in your life to make this change. Most of us just want our stuff to keep working the way it worked yesterday, and not have yet another chore in our lives.
Fair, but that's not the consumer's problem either.

Gaben is right. Piracy is a service problem.
Thanks! Looks like Pharo is an implementation of Smalltalk?
We should like it, it's the Browser of New York!
If aliens had an Earth Embassy, this is what it's website would look like. I mean, it looks great, but it's just so different.
Too late to edit my typo unfortunately.
> If I would have subscribed to their service, the ONLY team whose home games I couldn't watch would have been the TEAM OF THE CITY I LIVE IN (i.e.: "my" team).

They don't want to cannibalize in-person attendance where fans pay for $300 tickets and $20 pints of beer.
I guess wrt ieee floats, it depends on how often these cases happen and their consequences in the model:

- rounding errors in arithmetic between small and large numbers, large and large numbers, or small and small numbers

- unrepresentable numbers (eg 0.1)

- non-associativity of arithmetic making order of evaluation relevant

- residual connections can introduce, quite easily, arithmetic errors (heard this from research I can’t find atm): x + f(x) happens a lot in transformers, and the terms might be prone to cancellation or inadvertent rounding

- layernorm blocks introducing some error

- gradients might get added with error if too small or too big

On the bright side, some people have suggested that ieee float problems are usually not so terrible that you can see them instead as introducing slightly beneficial regularization
This site pretty much exists to be a free publisher and traffic source for their ads.
240v does charge faster than 120v and is also more efficient.
And who sold them those exclusive rights?

This is entirely the fault of the leagues in question. They set up a shitty service, no surprise that many people will pirate rather than paying for a service that only partially meets their needs.
Awesome to see some more Excalidraw diagrams on the front page, feels like it's really taking off.
Having no security/privacy process is malicious by omission.
Amber 2.0 Roadmap
Planned obsolescence is the subscription model for physical goods.
Precisely to the point I made elsewhere in this thread:

> Just don't pretend that you're funding a better world by buying the premium product - it's a bigger trick than advertisement itself. [0]

I'm not going to play the "media companies are the bad guys" card, but they are rent collectors. All of them do this - they take your money, and then keep squeezing. The only way to avoid being manipulated is to not play the game in the first place.

You still can (and should) fund the artists and creators you're fond of. The moment you agree to terms or a contract though, you've been made a business bitch. OpenAI is no different than the rest of them. Their Faustian bargain is worded a little differently, and the flowers on the table are a different color, but it's still the same shitshow.

As a reminder, YouTube also launched without ads. Just you wait, the squeeze is coming. I guarantee it!

[0] https://news.ycombinator.com/item?id=35706083
Basejump: The fastest way to launch Supabase apps with NextJS
It's mischaracterized. Both warring factions were part of the same military before the fighting started. The issue is not that one or the other of the 2 factions seized the lab and they plan to start using bioweapons. The issue is that the lab workers are too scared for their life to come to work. The 2 factions are not trying to kill any lab workers, but in times like this shit happens, and the lab workers are people like you and me, and they don't like to expose themselves to risk of life anymore than we do.
IIUC, Europe ran out of "old growth" forests around the end of the Middle Ages...
It shouldn't be legal to hire groups of professionals to do that, it also shouldn't be legal to send your representatives gifts, take them on vacations, or out to dinner

Writing them a letter is fine
The really impressive ones haven't even had any maintenance done.

(Of course they have all had lots of maintenance done...)
Is any device identifying information exposed unencrypted ? Thinking if you can use this to tell who is in the proximity.
> Community-based media sharing is great. I wish it was possible for me to lend all of my Steam games when I'm not using them.

You can do that, actually. It has some pretty big caveats, but if you are not actively playing anything on Steam then your library can be lent out to others... all you have to do is sign into their computer using your Steam credentials.
for me it's worth paying premium for until it isn't. I hope I will catch the next one.
Please then provide some references to the e literature you’ve read supporting your claim. Extraordinary claims require extraordinary proof as the saying goes.
Bit of a let down when they reveal that plotting integers in general results in the same spiral pattern as primes. So naturally primes as a subset of integers also produce spirals.

Seems the title is a bit misleading!
It has Hegel right there in the header, it’s self-compressing to whatever your interest threshold happens to be.
To save others the lookup:

"Amber is a web development framework written in the Crystal programming language. The framework implements the server-side MVC pattern using the object-oriented paradigm. Many of Amber's components and concepts will be familiar for developers with experience with other web frameworks like Phoenix, Ruby on Rails or Python's Django."

https://docs.amberframework.org/amber/
> I briefly took an interest in the NHL (this was years ago, granted -- things may have changed). If I would have subscribed to their service, the ONLY team whose home games I couldn't watch would have been the TEAM OF THE CITY I LIVE IN (i.e.: "my" team).

This is why I won't give the NHL or MLB any money for their video services.
I've been using plain text for over 10 years. It's simple to use, easy to modify, has as complex of a tag system as I would like, and will be around until heat death. Why fix what ain't broke.
Yeah being pedantic here, but reading the details of the $750k reference, it's (hopefully) nowhere near $750k that they saved:

> That, combined with the fact that these streams usually have large viewership, means we incur a not insignificant cost and have no one to bill. In 2021 alone, Mux had over $750,000 in unpaid invoices due to pirated streams. For an infrastructure company like Mux, this pirating comes with hard costs. Transcoding, storing, and delivering video is not cheap. If these pirated streams were not held in check, they could quickly spiral out of control and have a significant negative impact on our business. By identifying and shutting down these streams, we are able to reduce our costs.

So to actually saved $750k, they'd have to have some combination of:

1. 100% COGS or 0% operating margin. Youch. Probably not, likely closer to 30% COGS, making actual infra/bandwidth cost to them of $750k services closer to $225k
2. Massive growth in attempted abuse. E.g. Their level of attempted abuse grew 3.3x to $2.5M, they stopped all of it, that would have cost them $2.5M x 30% COGS = $750k

But at the end of the day I think they just wrote a clever headline to get upvotes on HN :)
Not quite true apparently
If you lived in the UK, supported Tottenham and wanted to watch all their games in the 2021/22 season you had to:

Subscribe to Sky Sports (around £50-60 a month) for the Premier League games.

Subscribe to BT Sports (30 a month) for the Saturday early kick off Premier League games and the Europa Conference League games.

Subscribe to Amazon Prime for the 3 random weeks when they are showing the Premier League games instead of Sky.

Subscribe to Premier Sports (£12 a month) to see a Europa Conference League 2 legged qualifier.

And even then you couldn't see all the games legally in the UK because of the 3pm Saturday black out. You are forced to find a stream from another country where they are broadcasting the game.

Then when you are subscriped you get wall to wall gambling adverts during half time. For every other product you subscribe to, it is to avoid ads, but not television.
The problem is that the word "expect" in English is overloaded: sometimes it basically just means to predict, other times it implies what you think someone should be doing.
He’s claiming that his mind is always subconsciously thinking about solving problems even when he’s doing those things.

It’s kind of a humblebrag.
But is this a file that you want to have cached?

Honest question! Not sure how often this is updated.
100% agree. I watch Bundesliga, with sky Germany over VPN you could watch all games 2/3 years ago, not some of them are on DAZN which also charges. ChampionsLeague used to be sky as well, not its prime. Not to mention English, Spanish and Italian league. I watch 4-5h soccer a week throughout the league based in time and interest. Without pirating I would have to pay several hundreds of dollars. Ridiculous.
A bit misleading I agree. I suppose since prime numbers DO make these spirals, it's not inaccurate.
Would you be able to prove it? Which is more likely?:

>A less-intelligent population has conspired to control the activities of an institution in which they are famously underrepresented (even when considering their status as a numerical minority).

>Investigations have been funded and actually taken place in the past, with the results being inconclusive, or unremarkable, or having falsified the hypothesis.

>Suggesting such investigations reflects a misunderstanding of the capabilities of genetic studies as they currently exist. They will not be undertaken because they're fundamentally incapable of answering the question.
Many organizations need to train people for real-world fights. Think police departments, militaries, prison guards and the like.

By far the most popular thing to teach is some variant on Krav Maga. Which focuses heavily on rapid incapacitation while maintaining your ability to move. Going to the ground wrestling is an excellent way to be taken out by your enemy's ally, or finding out the hard way that your enemy had a hidden knife you didn't know about.

The success of BJJ in MMA has not changed what gets taught to people who actually are at risk of winding up in a street fight with lives on the line.
Part of the short-term thinking is because reviews can be gamed. Why would I buy an expensive thing, if I don't have a reliable signal that it is higher quality and worth the extra cost? Price is a clear signal, reputation for quality is not.
Agree that you are not behind. Having said that, I am generally a believer of the "10K hours rule" to get really really good at something: https://www.ncbi.nlm.nih.gov/pmc/articles/PMC4662388/.

So you better be ready to put in those hours.
Is this the beginning of a new conspiracy theory?
> Yes, I know the old adage that if you're not paying for a product you are the product

Now it's just "You are the product". It doesn't matter how much you pay for something. You can spend hundreds on a copy of Windows, or thousands on a laptop or smart TV and still have your data collected and used against you at every opportunity.

It's free software now that's most likely to do what you want without also trying to screw you in secret, but even with open source software you have to watch it like a hawk. So much good software goes bad eventually and even well intentioned programs can have their own ideas on how much data is okay to send to third parties.
What's the commentary on prime numbers currently? Is it expected that there is some unfound pattern to them? Or will they always remain elusive?
Ryzen 7 is the midrange processor. Ryzen 9 has a higher boost clock but also has two CCD for not much more money. The high end is Threadripper (though there isn't a Zen4 one (yet?)), and that has up to 8 CCD which is still bigger than the 4090.

You're comparing a ~$350 CPU to a ~$1600 GPU.
Vanchurin is a physics professor, but ok
https://twitter.com/vanchurin?lang=en

I actually think that interdisciplinary work like this can shed light into common structures across physics, biology, neuroscience, CS, etc. If anything, I wish there were more attempts to explore the connections between these disciplines.
Edge is using some new APIs of task management introduced in Windows 11.

The tl;dr is: It can now suspend tabs without killing the tabs.

I literally can run like 50 tabs on a 4gb RAM device with no problem on Edge. And no need to reload any tabs.

These tabs stay as "Efficiency mode".
Infuriating. I was pissed because I couldn't easily watch "all games in a given league". You only want to watch your team, and you STILL have to pay for four services to get "most" of the games.
Looks like no self host option?

looks pretty though.
but where does it end? what if I personally take a water sprayer with me and spray the ground ahead of me when walking so as to not hurl dust into the air, can I now demand others do so too?

this planet is a shared resource, and a great many things everyone does affects others to some degree, and there obviously has to be some limits, but I think everyone would do well to hold a bit off on judging others, or demanding laws stopping them, for you may soon see others that will turn the cannon around on yourself.

What if the 1 billion Africans suddenly decided "well lets get rid of the US lifestyle, they consume too many resources anyway, literally hurling particles and carbon into the air", will you cheer for the dismantling of all the amenities you enjoy?
Most of these concepts (except Groebner bases) are basic stuff you would learn in a first course in linear algebra. If you don't know what they mean, this post is likely not relevant to you.