skysight-inc/HackerNews huggingface dataset:
perhaps a greater percentage of ivy athletes play for "the love of the sport", as something less than 1% of all college athletes will go on to a professional career (and few of those will by ivy leaguers), but competition is certainly still central. folks who go to exclusive schools tend to be quite competitive, practically by definition. winning and being competitive are certainly not the same though. these athletes want to win, even if they're at a disadvantage and don't win as often as the big sports schools. note also that ivy leaguers tend to do better at sports in which money hasn't heavily distorted the playing field.

the problem for ivies with respect to recruiting (for winning) is the academic admissions floor, not money (harvard and yale having two of the biggest endowments in history) nor necessarily even an aversion to cheating and corruption. top athletes are too conspicuous not to draw outsized scrutiny in that regard, and tarnishing the brand that way just isn't worth it.
I don't think this law has the same (intentional) overreaching characteristics as GDPR, i.e. it only applies to people "doing business" in Germany.

In this end the ruling just clarifies some legal details about when and when not you need to label it in certain cases where the respective law(s) "standalone" was clear enough.

The ruling also seems to be in general in favor of influencers, making it clear that in certain situations they don't have to label content as ads.
What I mean is, “technical account/description of”
"Tired" isn't a valid reason for a corporation to do something. Systematically insulted? Probably and they totes magotes deserve it.
The capital was Philadelphia while Washington was president. Philly had a law that slaves who resided there for a year were freed, so Washington established a rotation system to make sure he had slaves around for help but didn't have to free them.
A lot of context in his own post here, and the reply from Dr. Hinton is linked:

https://people.idsia.ch//~juergen/critique-honda-prize-hinto...

I stopped reading at [backpropagation] "wasn't created by "lots of different people" but by exactly one person who published first [BP1] and therefore should get the credit". Okay, so he was the first. Brilliant insight. Hugely valuable. He should get credit for that, and I'm very sympathetic if that hasn't happened (I don't follow other research enough to make any strong statement about if he has or hasn't received appropriate recognition). But that was 50 years ago and many equally insightful and impactful developments have gotten us to the point where backpropagation is being done in a practical way. "Exactly one person" is ridiculous.
Only if they aren't worried about antitrust enforcement against their advertising monopolies. Probably safer for them to let it go.
Looks like a great service, and it monitors quite a bit more than SSL / domain expiration.
Textless NLP: Generating expressive speech from raw audio
...the most fit to rule, according to their own criteria, certainly.
> The difference is that you can't decide to fuck off (eg. go backpacking or live with your parents) whenever you feel like it if you're an indentured servant.

Do you honestly think people willingly work at McJobs that still require them to live on food stamps when they have better options available to them, like living with their parents?!

Amazon's warehouse workers are not buying organic takeout or getting luxury condominiums, they are buying the cheapest (unhealthy) food and living in the cheapest parts of town. What you asking to keep in mind sounds a lot like a rehash of Reagan's incorrect "welfare queen" characterization from the 70's. Or more recently: "Why do poor people need a smartphone for?"
That is a lot shorter amount of time than you are committed to the military
Wouldn't bot farms just incorporate that as a "cost of doing business" and expand to absorb the computational load? After all, it's not like the bot farmers are paying to add more hardware.
> Why don't serious math journals require programmatically checked proofs for all publications

Because mathematics has more or less worked fine for decades without it, and most mathematicians aren't programmers and aren't interested in it. Proofs are for understanding, not for technical correctness (though obviously the latter is very important). A good proof convinces someone that it's true; convincing a computer that it's true is probably tangentially useful, but not very interesting to most mathematicians. They mostly want to be expanding the frontiers of mathematical knowledge, not painstakingly encoding proofs that they already believe (and, crucially, that their peers also already believe) into a computer system.

That's not to say proof checkers aren't interesting in their own right, but there's lots of really quite good reasons why mathematics goes without them almost all of the time. Formal methods bring a lot to computing, where our programs fall apart constantly, but mathematical proofs almost always don't fall apart. And in computing, almost all programs don't have formal proofs of correctness! If any area needs them, it's in computing, not mathematics. You might as well ask why every compiler doesn't come with a proof of correctness: because it's already hard enough to build a compiler, let alone the monstrosity that would be a formal proof.

The added benefit to a computer-checked proof is usually small to nil, and it's a ton of work. Like, way more work than just writing the proof.
Ask HN: How is Swift UI performing for you in late 2021?
My team and I need to build a mobile application which will involve complex views and animations, and long term down the road access to important hardware on the phone. (Think new LiDaR scanner on iPhone 12).

Many on my team push for React Native but I believe native code is the smarter choice.

People using SwiftUI what has your experience been like? Threads from late 2020 and early 2021 mention that the framework is very enjoyable but needs to mature. What has your experience been like? Have you found it simple to build in UIKit code where necessary?

Thanks a lot for your insights.
In fact, the first external link in TFA is to a whole website [http://www.flagsarenotlanguages.com/blog/why-flags-do-not-re...] apparently dedicated to this.
Physical activity associated with a decreased of infection, severe ill and death
None of these involve wordplay, but it was common in Roman humor.

Did you make the choice to leave it out (since it doesn't translate well), or did your links?
Because stablecoins have a security vulnerability, they're pegged to assets who's value can be manipulated by a third party. I'd imagine there are many motivations to El Salvador diversifying their currency market, remittances might be one, but shelter from Fed monetary policy is a strong additional benefit.

Also, stablecoins that are pegged algorithmically rather than by 1:1 hard asset backing will eventually lose peg. How long that takes on average depends on the design of the system. Look at Nubits and then look at MakerDAO to see different examples of algorithmically pegged stablecoins.
This is an incredibly wholesome post all around. Wish all internet interactions were like this!
Thanks for the comment, I'm the developer of the app! Having it run in a browser would clearly be convenient, but unfortunately Javascript is really too slow. I even wish C++ was faster.

Rendering the vector paths requires the same type of heavy computation as a modern AAA game, and we don't see AAA games implemented in Javascript for good reasons. The paths need to be tessellated, sent to the GPU, then the different layers need to be composited, and all of this takes computational resources.

In addition, unlike Figma where the vector paths are created by manipulating control points, in VGC Illustration it is expected that the paths can be created by sketching them, hand-drawn. This requires extremely low latency and high FPS for the drawing experience to be any good. There's already quite a bit of lag between the stylus and the shown stroke even in Photoshop, you don't wan't this to be any worse :)

I hope this makes sense.
> Another interesting bit was how it's historically rare for slave-owning societies to have more than 50% of their population enslaved

Probably worth noting, then, that in 1860, South Carolina and Mississippi had over 50% population enslaved, and four more states over 40% population enslaved.

Considering that American-owned slaves were treated much crueler on average than Ancient slave populations, I'm curious whether Spartans were more or less like Americans in this regard. A glorious empire built on brutality and moral superiority.
The reason against any ban or anything is that nature doesn't care about your pesky laws and happily tries to develop bio-nukes every single day.

I would vote for bans or limits on what is essentially bio-weapon research though, but that has implications. Should we finally destroy everyone's stockpiles of smallpox? Are we better off not having those stores to test with as we develop new technologies? I'm not an immunologist so IDK how useful an essentially dead disease is to keep around
They will believe they are you, there is no further link that can change any attributes of the second you upon incinerating primary you, the person that already existed.
They also increased the pay of all Whole Foods workers which according to the ones I’ve talked to they all really liked.
In which a laptop defies the trends
I would imagine that, too. Or hope that. Expect that, even. But I would feel better if they actually said that. (Too much nonsense around Covid has made me a cynic...)
Freedman gets the credit for the bits of the proof that are his, the authors of this book get the credits for the novel stuff they add.
Can you share more about this project? Thoughts on management engined access to registers and DMA being a weakness?
Better the devil you know?
Just recently I was trolling through youtube looking for tool reviews and insights. One in particular that stood out to me, the first video, the presenter(rather well known) blasted a brand of tool, saying he didn't understand why they even existed, seemed underpowered, overpriced, etc. A week later he had a video showcasing their tools, and at least tagged it 'sponsoredContent', as if anyone reads those. He featured them on about 3 more videos saying how surprising they are and good value. Really gross to watch. Youtube is about as helpful as Amazon reviews anymore.
Such a monument exists: https://www.theprogressreport.ca/monuments_to_nazi_collabora...
Thanks for finding these! I'm often impressed by how often jokes in other languages/cultures are funny, without much cultural or linguistic context needed.
>They still would have to fear, that someone leaks the video of it

Is it really a deterrent, though? You said yourself that it'd be scapegoated and its not like they depend on good PR to keep their goodies, they own the country after all.

Also I can't help but wonder what these people talk about behind closed doors, do they really play by the same rules you and I would be held accountable to behind closed doors?
Something at this level is still far away, but it should be possible in theory. Last time I checked, there was still a lot of work to be done with formalizing geometric objects in Lean (the only proof assistant I have experience with). We are more in the stage of formalizing proofs from undergraduate books, whereas the proof of the 4-dimensional Poincare conjecture is multiple orders of magnitude more difficult.

From my understanding and limited experience, formalizing complex objects is quite difficult. A long proof where the objects are integers or algebraic relations might be easier than even defining a manifold. For example, with Lean, it was a lot of work to even define a perfectoid space -- which, to be fair, is a complicated object -- much less, say anything interesting about it.

If someone has more experience with other proof assistants, I'd be interested to hear about how far away a proof like Freedman's would be. My understanding is that each one (coq, agda, lean, etc) has certain drawbacks or benefits and can describe some concepts more easily than others, but "high-level" proofs are few and far between for all. For example, Coq has a verification of Feit-Thompson Theorem which is really cool, but I don't think there are many complex objects in there. As far as I know, it's groups, linear algebra, generator and relation computations -- all of which are pretty well handled by computers. On the other hand, to even begin a verification of Fermat's Last Theorem, you would have to first build up the entire scaffolding of modern (well, second half of the 20th century at least) algebraic number theory, quite a feat in itself.
I don't see a movement to boost male enrollment in college. Does this show a shift in the importance of college as a gatekeeper into professions even if unrelated?
I imagine the bloat from a vdom vs the bloat from chromium is somewhat different.
Notifications are not the important case for the HUD.

Other things are. Maps which track your location and show you the way overlaid on the streets and roads you see. Books and manuals which you don't need to hold in your hands. Video instructions that track your hands and correct their position. Finding stuff in a warehouse or in your closet by pointing at it right in your FOV. Heart rate monitor, etc right before your eyes when you are performing your hardest and can't lift your smartwatch to your eyes.

Many good uses with broad markets. Sadly, it's technically too difficult, so it's too expensive for non-professional use.
When I was working in restaurants a decade ago, getting breaks was the exception rather than the norm.
> I still can't get over how it is still legal for a manufacturer to retain any kind of control over a device after sale.

Apple is such an amazing company and we're nothing short of blessed to have their miraculous hardware grace our lives. How dare you want control? You'll take what you get and be happy. How dare you want it any other way? Anything that takes away from our precious and benevolent gift giver should be shunned. They deserve all profits now and forever. Amen.
If by "fittest" you mean "lucky enough to be born into the ruling class".
The problem is, once you have a proof that everyone agrees is correct, what's the incentive to painstakingly translate it into something a computer also agrees is correct?

Yes, you might turn up some "bugs" in the proof, but proof bugs can almost always be ironed out. It's a very rare proof that is accepted and then falls apart later. If proofs were as "buggy" as computer programs- falling apart all the time- then there'd be a much bigger appetite for proof checkers. But as it is, mathematical peer review seems to work awfully well.
If a developer is hit by this while having to deal with hundreds or even thousands of warnings: how would they know when a new warning is introduced in that massive pool of warnings? That seems very dangerous in the context of kernel development.

Some warnings can hint about serious issues (e.g. dangerous casting). This can lead to bugs with very serious consequences.
Perhaps I'm unimaginitive, but it seems impossible to enforce anyway: how can you tell the difference between my verbose and well-thought-out positive review of a product I really liked, compared to someone paid to come up with their own positive review?

Cynically, for years I've been treating pretty much every single product review I encounter as though it's bought by the manufacturer. Ya know, since the internet is a giant steaming pile of algorithmically generated bullshit (for the most part).
Amazon shareholders get stringent minority shareholder protection and legally protected collective voting schemes and can openly collude together against workers. A union gives somewhat similar rights to a similar stakeholder.
Pk Xd Hack
https://gitlab.kitware.com/pkxdcoinshack
> It's also possible that this is a bad translation from Latin, and the original punchline was along the lines of "take a good look at them"

This is pretty unlikely as a mistranslation from Latin, where those would be radically different verbs.
Parallel Testing vs. Traditional Testing
I took 2 classes while doing a full time summer internship when I was in college. It wasn't too difficult. If you can get 2 courses in during each summer that's a typical masters degree in 2 years.
You don't think all the cameras in big box stores are networked and monitored by AI? I would be shocked if they're not doing customer tracking. Notice the number of face-level cameras popping up in Wal-Mart, they even have them built in to the front doors at chest height so they can scan every face and then track what you're looking at as you peruse the shelves.
Thanks for the aggregated link, I'll go through all those. <3
I want to play with these. I want to buy them. I'm not going to because Facebook made them.

The company doesn't align with anything I do. I don't use their products. I think they're harmful to democracy. I don't want to make a Facebook account to use these. I don't want them storing my photos and videos on their servers. I don't want them having access to my life.

It's strange how much feeling these tech giants bring out in us.
Unless one lives at the office, they could always do more.
There’s a blast from the past… I actually built a headless opportunistic cluster using condor back in grad school so I could steal cpu cycles from the windows computer lab over nights and weekends.

https://www.linux.com/news/condor-building-linux-cluster-bud...
Looks like HN is just full of negative people.
The product looks great. I don't want to discourage you guys, I am failing to see a moat as compared to you guys and lets say getporter or others in the spaces. Funny enough you guys are also YC company.

Product with a high touchpoint I think does not scale this early on as a company.

For reference, Porter as a product is doing great because I think they have invested a lot in building a community. I think that works to certain extent as at scale community helps each other.

But, just beware of the fact that market cap is actually pretty small. You have enterprise competition from VMWare Tanzu and others. On the cloud space, you have digitalocean's app deployment thing, AWS has app runner. I have at least seen over 20 companies doing pretty much the same thing. Just a thought.
> QR codes are about the easiest possible attack vector for malware

It's up to Android and iOS (and others) to make sure QR codes are not an 'easy' attack vector.

Why should it be the case that sending an SMS with a (malware-loaded) bit.ly link takes over your phone?

If the phone OS does `principle of least privilege` and sandboxing, and other mitigations then the user should be fine.
I don't know if you should paint the entire company's employees with the same brush. There are probably people at Facebook working on user privacy, trying to fight the good fight. Are they still tainted because they are fighting that fight at a "terrible data collection funnel advertising company"? These companies are huge and have lots of departments within that are not feeding the beast at all. (Disclaimer: Not a Facebook employee :) )
I check and comment on the subreddit on an almost daily basis, and have for about a year now.

It takes a while to believe that it can happen, for sure. I didn't start seriously believing it for at least six months of checking the subreddit periodically.

But when you see how much damage we're doing to our oceans (National Geographic warns there might be no (human) seafood at all by 2048[1], ocean acidification, coral bleaching, etc), how more and more regions are getting into emergency situations with water (which will lead to people getting more and more desperate to get that water, and possibly wars being waged over it), positive feedback loops from global warming that can shoot us way past 1.5c if we get that far (I've seen speculation that it could get up to 12c, which would likely wipe out humanity), and know how terrible humans are at dealing with exponential and compounding escalating situations (as proven by our current pandemic), and yeah, I'm pretty sure it will happen. The only question is how soon.

It's also looking like even if we could do enough about it, we'd have to dedicate almost 100% of our efforts towards it, and basically everyone on the planet are being distracted by petty shit, or even other very important issues, just not as threatening to our existence and society like climate change is (including myself, it's hard to avoid the distractions with our monkey brains). So instead we're doing basically nothing but lip service towards these issues, still, after more than 50 years of warnings by scientists.

So yeah. I'd love to be wrong, but I suspect I won't be, and within the next 10-20 years some unprecedented terrible shit is going to to happen as a result of climate change. It's already happening right now and people are dying from it (wildfires, floods, droughts, heat domes, more intense storms), but I'm betting it's going to get a lot, lot worse.

But hey, in the meantime I'm still working on dumb stuff like designing board games in my free time and not really doing as much as I should be to prepare and/or try to prevent it (tried buying an electric car and there's basically none in the Midwest right now, I am still working from home so at least my emissions are way down, I did try finding a job in green tech and found very few jobs and those that did were terrible about getting back to me).... so yeah, not like it matters all that much that I am aware of the trajectory our planet and society seems to be going in.

Anyway, during the week (not on Fridays, fridays they let dumb shit get posted), it's generally just articles from legit news sources (along with some self posts). Try reading those articles for a while and see if you still think everything is going to be okay.

Also if you do nothing else, watch these videos in their sidebar. You'll get a lot of information from those:

Collapse: The Only Realistic Scenario
https://www.youtube.com/watch?v=qPb_0JZ6-Rc

How to Enjoy the End of the World
https://www.youtube.com/watch?v=5WPB2u8EzL8

[1]: https://www.nationalgeographic.com/animals/article/seafood-b...
> Although I could imagine a modern joke about an astrologer making grand predictions that are whittled down as the person corrects them.

https://www.newsfromme.com/pov/col054/
> You don’t own the picture of the dog, you don’t own 20% of the picture of the dog, it is just, like, you come in every day and someone is playing a new weird game and you try to get the high score in today’s game and tomorrow will be a different game.

Say what you will about crypto more broadly, but this is a wonderful perspective on these sort of flash-in-the-pan financial manias.
Wow, this is cool, I had heard of Expression but didn't the whole backstory. I will definitely have to check it out.

And indeed I have a lot of catching up to do feature-wise :) VGC Illustration won't be able to be as feature-complete as Illustrator for a long time, but hopefully the killer features and better drawing experience will make up for it.
So all I am understanding is, we could make linux 10-100 times faster, but licensing-quirks don't allow it? Physical electricity, time and whatnot is wasted because of legal foo?