skysight-inc/HackerNews huggingface dataset:
No, it’s not good for some centuries. Corrosion and other processes that aren’t fully understood how they are affected by radiation make it hard to make any leakproof containers that will last even one century. Also, above ground storage is vulnerable both to changing climate as well as changing political circumstances.

Finally, even if all of the above was overcome, it’s just a way to push the problem to future generations. I’d be quite upset if our generation would have to deal with a hundred thousand tons of radioactive waste in old corroding containers without getting anything for it.
Be careful with your phrasing there. The axioms for the real numbers [1] are complete and consistent (within ZFC). Hence I'm almost sure the axioms for each of the finite dimensional vector spaces will also be complete and consistent.

Part of the reason is that you can't define the integers within the context of the real numbers.

[1]: https://math.stackexchange.com/questions/362837/are-real-num...
Advice to New Policemen: Don't Joke About Shooting People

Reminds me of Manwhohasitall

https://twitter.com/manwhohasitall/status/125901549630264524...
If you track the rise of administrative staff from 1990 to 2020, you see a massive increase. For example, HBR posted that healthcare jobs grew by a total 75% from 1990-2012, and that 95% of that growth was non-medical staff.

This growth doesn't really have anything to do with necessary work. It has to do with how incentives function for management.

We do not and have never had an economy where everyone is needed for production. In economics, as the marginal increase in utility for a worker goes down you would think that there would be less workers hired, or at least they would be more evaluated prior to hiring. That doesn't take into account the competing incentives of middle and upper management who have no real incentive to increase production efficiency or where that incentive isn't properly balanced against the social and internal gain from having a larger budget and staff within an organization.

If you have the ability to hire and gain from hiring people more than you lose from their work being totally unnecessary, you hire. It's not your money you're wasting. Afterwards, you or your new hires will create systems of increasing complexity to justify the continued employment and hiring of new workers.
Humans can be classified as lobe-finned fish, so it wouldn't be wrong to say that humans are fish.
Slightly related. My father owned a restaurant when I was growing up and employed local high school students as dishwashers. I was young, probably around 12 and I was at a summer camp that our dishwasher at the time was also attending and I made a joke to him about getting him fired. Ill never forget how mad my father was with me when he found out and how sternly he reprimanded me. He stressed early on with me that when you have control over people's livelihoods you never ever abuse the power dynamic that comes with that position.
An American one!
Yeah that's about the only time it works. When I was managing a former teammate we used to joke about it, but it was just between us and there was never any reason to worry.

In general, though, never a good joke. And even with friends, be careful.
It seems that it disappears (rolls off the top of the screen) when you scroll down, and reappears when you scroll up.

There's little or no "inertia" in that behavior though, so depending on your mousewheel/track-pad/touch scroll behavior that can seem kinda flaky. A tiny scroll-up action brings the sticky header back. I have noticed other sites that do that can be really annoying on mobile, but on a MacOS laptop at least this site seems to do it pretty well (IMO).

It might benefit from not re-displaying the header until you've scrolled up a little more than it does now (again, IMO). I.e,. maybe have a threshold of a certain number of pixels (>1) or a certain velocity of scrolling-up before the header re-appears.
How is YouTube not a competitor to Wikipedia? Both are community powered content. They would be directly competing on many major search terms. The fact that the editorial standards and media formats are different is beside the point.
I think the correct place to have this is on the browser, not on the search engine. I also have a cpp keyword on Firefox :-) They're getting the same result, except mine is faster and more private.
There is a difference between "playing hard to get" and "BEING hard to get"...
At least for sidewalks it probably had a helpful benefit of keeping it waterproof.
When I've looked into people who commits crimes and why, they rarely are considering the judicial system and the possible consequences of their actions.

Harsh punishments do not seem to actually function as a determent in real life. From my perspective, harsh punishments is more about revenge than anything else. They're a simple way to feel like you're doing the right thing, as long as you don't examine it too closely. And most people don't want to examine it too closely.
HTTP/2 and HTTP/3 do not change the semantics of HTTP. That means you can run reverse proxies to server HTTP/1 services as /2 and/or /3 and vice-versa. As a result the transition will be a lot easier than the transition to IPv6. I expect that the transition in corporate networks will be faster -- the opposite of the IPv6 case -- because there is a lot of appeal to HTTP/3.
Flip side is also true.

Joking about quitting is a terrible thing to do.
Why would network providers have to fix their network? Why 5 years to adopt?

HTTP/3 and QUIC are based on UDP. This is very different to the IPv6 transition.
"On a whim" is not entirely correct. Palme was widely hated by the political right, to an uncomfortable degree.
It applies to pretty much any situation where you have some decision making power that affects someone else, and the only reason something does or doesn't happen is because you decide it too.

The joke isn't funny if the only reason its a joke is because you haven't done it yet.
Yep, nothing like joking about using the power you and no one under you has to end employment to really punch up the ol' team spirit.
It's strange, because Nintendo has such good first-party game development skills, develops entire operating systems for their internet-connected consoles (including security architectures spanning hardware/software).

Even some of Nintendo's top brass have had strong software engineering skills: in the late 1990s, during the development of Pokemon Gold & Silver, the team was struggling so future Nintendo President Satoru Iwata developed and implemented a compression algorithm.

The skills are certainly there.
Exactly this. Show a human a thing for which it doesn't already have 10K hours of "training" and they won't do so well.

Monads might be a good example of a thing for which humans don't have a massive headstart on ML due to "years of experience manipulating monad-like things" (as we do for most physical and social concepts). And I don't think anyone one-shot learns a monad.
> I blame it on the fact that the tech culture starts in HS or College and then takes a worker straight into the industry; HS coder -> University -> jr coder role -> startup

As a counter to this, I have seen multiple managers make jokes like this and they all came from nontechnical backgrounds and had 20+ years of experience. I literally had a (nontechnical) manager say in a supposedly joking manner once about going to some meeting “Well you want to put food on the table for your family don't you? So remember that you have to be there for <some not-that-important meeting> Ha ha ha”.

So the whole “it's just coders learning basic professionalism” narrative might not be as cut-and-dried as you think it is. One (unproven) hypothesis I have is that it's possible that people who went to college and had their first decade's worth of jobs in a comfortable economic climate are more comfortable making these kind of jokes than others who were not so fortunate.
15T atoms entangled 1k times/second at 177°C
Because of the COVID-19 situation, HR asked people if they were willing to take a voluntary pay cut this year. Unfortunately it was very badly timed as they decided to ask it on April first.
All the malls in Toronto take WeChat and Alipay.
Thick skin is a fantastic skill to develop in yourself and others.

Amusing yourself by testing how thick other people's skin is not.

Legal doesn't equal good.
> is http/3 completely transparent to the current network

Iirc it introduces use of UDP and thus will be unusable on a million corporate networks where near all UDP-traffic is filtered.
I should have known better. My apologies, the person simias is replying to is not saying that PHP is without fault.
looks sleek.
I thought the comment was talking about PHP already being installed, so you could just start using it.
>The most meaning in life comes from doing things for other people

Exactly. So we should set up a system that provides everyone with enough to meet their basic needs.

That way they can spend their time and effort to find the way they can most effectively do things for other people rather than finding the local maxima "job I can tolerate that keeps me alive"
Capitalist countries can be free and open democracies or they can be brutal dictatorships, but they at least have a path to a free society if they so choose it.

A country where wealth is primarily controlled and distributed by state cannot, by definition, ever be free, even if the people doing the redistribution got elected at one point. That's simply mob rule with no respect or regard for the individual. Socialism or social democracy, or whatever you want to call it requires constant state coercion of individuals to work at all. This type of coercion may happen in capitalism systems like those in dictatorships, but it's not a built in requirement of the system itself.
If DDG is your default search, use the Wikipedia searchbang[0].

!w X

will directly search Wikipedia for X.

[0] https://duckduckgo.com/bang
https://www.redditstatus.com
Are you sure this is not David Brent from The Office?
Absolutely, it's a power play and innappropriate.

I worked for a manager that would use "I exited his ass" as a badge of pride. That shows no respect for the person, and it also shows no due diligence and hiring, mentoring or coaching that individual.

We all have our own particular biases in how we measure our own personal success, and as leaders we also apply our biases to how we interpret other's success. As a leader who has control of someone's livelihood, you should ensure a tempered layering of (1) expectations, (2) feedback, (3) understanding, and (4) mutual understanding of fit.

No one should be surprised that they are getting fired or getting on a performance plan. The silent behavior is a tell, but it is ultimately unfair to the employee.

Bad hires do happen, but it's usually pretty clear and pretty mutual when that happens.
The Silence of the Never Facebookers
Are you seriously justifying a two year prison sentence for selling gum?
>Now all those ISPs, IT departments, and cloud providers that de-prioritize or outright block UDP will get "bug reports" about things being "slow" or not working.

Doubt it. I suspect that browsers have some sort of happy eyeballs algorithm for determining whether to use http/3 specifically because some networks don't handle it well. In those cases it'll fall back to http 1.1.

>Now all those traffic shaping middle-boxes are worthless

How so? how is TCP 80/443 and UDP 80/443 harder to traffic shape than TCP 80/443 alone?

> and your ISP can no longer spy on your requests to gather marketing data about you.

That's more encryption (ie. https) than switching to http/3. Also, encryption is already mandatory for http/2 (for most browsers).
This is another example of the trend in the 21st Century, people being so easily offended.
e.g., Non working: A short Hike, Quadrilateral Cowboy, nuclear throne, mu cartographer
I don't mean this as a personal attack, but I'm struck that your objection to having been "conditioned" is immediately followed by a paragraph affirming the content of the supposed "conditioning".

> > You’ve been CONDITIONED to think that large corporations are better ways to allocate your time and organize us all.

Emphasis added.

> Large corporations enable efficiencies of scale which in turn enables modern living. ...

I want to point out in this connection that advertising (commercial propaganda) is ubiquitous in most modern societies, and IMO counts as "conditioning".
I like the title, although maybe it could have included the phrase "representation theory". I did not know that Burnside expected so little of representation theory; I think it's an interesting and important part of the article.
Ask HN: What're little-known practices that make for great development teams?
I'm curious about perhaps little-known (or not widely discussed) practices that you've encountered in your career that clearly set a development team you were in apart from other development teams you had previously worked in.

From time to time, particularly when changing jobs, we are exposed to different and sometimes enlightening development practices that more or less change our professional mindset for the better. That kind of thing that in hindsight seems like something we should've already been doing for a long time.

In that sense, what's a development practice you came across that's left that impression you?

Thanks in advance!
Because the semantics of HTTP don't change in /2 and /3, you can always put a reverse proxy in front to bridge versions.
Yeah I get that Bezos cannot personally rescue us, but I find the lack of imagination absolutely bonkers. Like Amazon only works in a not-collapsed world, yet the measures that he does take are only inside Amazon. Why not spend a couple of billions of basic research in climate change mitigation. The dude could fund the Xerox-Parc of climate action in perpetuity and not notice it.

And of course you can see Bezos as the stand-in for the 1%. I just feel that the people who are the most able to actually do something, seem completely fine with the collapse because they got theirs and their children will live happily in their New Zealand bunkers while the rest the world kind of fizzles out.
Great product! Just tested my website’s performance on multiple devices!
> ignorance rather than (intentional) cruelty

Yes, and that ignorance is a _privelege_ of power. Most employees don't think they can risk-free joke about firing their boss.
Gilead's remdesivir prevents lung damage in COVID-19 study on rhesus macaques
It's such a loaded question because any simple answer implies you acknowledge that 5pm is early. Gross. I hope you told them you value a healthy work life balance and left anyways. If a place fires you for that, you're better off not working there, barring exceptional circumstances.
Here's the optical flow paper considered worldwide state of the art for drone navigation:
https://arxiv.org/abs/2003.13045

4x Zhejiang University, Hangzhou, China

6x Tencent's Youtu Lab, Shenzhen, China

Before that was released, the previous state of the art was:
https://arxiv.org/abs/1904.09117

3x The Chinese University of Hong Kong

1x Tencent AI Lab, Shenzhen, China

In Sintel, a benchmark performed by a German university, both of these also rank higher than the highest-ranked research team including a US citizen. It may not be what people want to hear and/or it maybe an issue of cheating, industry espionage, or global politics, but Chinese research teams ARE world-class at computer vision and have been for at least a year now.
Coronavirus hospitalizations rise sharply in several states
Has communism been able to exist outside dictatorships? Or has it been unlucky in that regard and always attracted authoritarianism.

I guess the question would be, if given a chance to choose would people living in those regimes keep the economic system and reform government or would they vote for a different kind of system altogether?
And yet here we are, living in a world of material excess.
For what it's worth, FF14 has taken several cues from UO for its crafting and housing systems. It's the only MMO I've seen since with any real depth in either.

With that said, FF14 is still a theme-park MMO in every other way, but the crafting and housing systems are amazing.
I actually love modern macOS's fullscreen.

On small laptops like my 11" Macbook Air, fullscreen is essential to having a comfortable amount of screen real-estate. Seeing two applications at a time isn't usually practical, unless I'm just copying items between Finder windows or some such.

If I'm moving between two or three applications, I know how many swipes I need to get from one to the other, and the movement is quite efficient. If I'm working with more than three, I can swipe up and pick the app I want directly in Exposé.

On desktops I use fullscreen much less often, but it's useful for psychological reasons when I need to focus on a single task.
Yes, but in SERPs I think the main rivals to YT are independent blogs and content sites. Search for "how-to" type queries on Google, and it will often return videos from its own property (YouTube) ranked above text-based content. Google would prefer you to stay within its ecosystem. This is anticompetitive.
Please do not take this advice, enough engineering hours and talent has been wasted on this "technology".

- as someone who was involved in ETH core starting in 2015
then you should be asking for a paid membership
At this point, I basically have to append "reddit" to every search if I want to get quality answers.
> ...zero-click results have cost Wikipedia’s English language subdomain tens of millions of organic visits.

> ...Google was able to steal over 550 million clicks from Wikipedia in six months...

"Cost"? "Steal"?!

This would make sense if Wikipedia were ad-supported. But Google saves Wikipedia money by requiring less servers to support traffic. And Wikipedia is open content, you literally can't steal from it -- being open content was part of its original mission statement!

I personally love it when my search results just give me the answer I'm looking for, so I don't have to click through to Wikipedia (or any site) and wade through a page to try to find it, and maybe it's there or maybe it's not.

The idea that Wikipedia's success ought to be measured in pageviews is deeply misguided. The more its content spreads and is reused across the world, online and offline, the better it is for humanity.

And to be clear, this certainly isn't any kind of "embrace, extend, extinguish" strategy on Google's part. Wikipedia isn't declining or going away. Every time you need to read an actual whole article, you still go there. This is solely about convenience in getting quick facts.

This is good -- not bad, folks.
The recent episode of the Ezra Klein podcast interviews Paul Butler who argues that prison does more harm than good and that we does replace it with a system that actually improves people.

He compares our current lease enforcement system to a chokehold: "Butler describes a chokehold as “a process of coercing submission that is self-reinforcing. A chokehold justifies additional pressure on the body because a body does not come into compliance, but a body cannot come into compliance because of the vice grip that is on it.” That, he says, is the black experience in the United States. "

https://podcasts.apple.com/us/podcast/the-ezra-klein-show/id...
UPDATE: Playing with it a little more I do think it is a little flakier than that. There's something weird about the marquee image that makes the header re-appear for reasons I don't understand. If you use the arrow keys for scrolling (so there's no chance of an accidental "bounce" when you stop moving your fingers) the behavior is a little more obvious and consistent, but you can see that when scrolling from the top of the page the header disappears then comes back briefly for reasons that aren't clear to me.

Clever or subtle UI/UX behaviors on the web are hard.
Actually, the organization behind Wikipedia has way more than "a few" staff members. There's been a perceived problem with excessive spending growth for many years now although to be fair, the increased spending has also allowed for compelling new features, projects, and avenues of editor support. (Stuff like the Visual editor, newer successful projects like Wikivoyage and Wikidata, initiatives to support article-editing in educational and scholarly settings, large-scale contests to support the editing community, etc. etc. just wouln't exist absent that revenue growth.)
I see this as largely not a problem with OSS per se. It just happens that a lot of people have expectations around software that they don't have elsewhere.

For instance, let's say that I have this very clever idea that would improve on the good old-fashioned shovel. I could try to monetize this idea, but probably wouldn't have much success. Now, if I could figure out how to apply the idea to a grader or bulldozer or boring machine, I might have more success.

My best chance might be if I happen to already own an equipment manufacturer. But to create a new manufacturing company just to produce my new-fangled backhoe is a daunting task. And it turns out my one idea isn't enough. My backhoe needs hydraulics, power, tires, and a bunch of other stuff.

Most people wouldn't expect to be able to quit their day job to focus on a new shovel idea. But they somehow think that people should line up to fund a new web framework. Or a novel NoSQL approach.

It's hard to monetize any idea. This is not limited to OSS.
I used logic.ly for a class last semester, we used it for about a month and built up to a very basic cpu. I found it pretty easy to pick up and fun to work in. Wouldn't be surprised if a lot of online computer arch classes use this in the coming online semester.
Surely I'm not the only one that thinks very little has changed in 10 years?

I hadn't built a PC (nor used windows) between 2005 and 2016. After a few hours of catching up on the newest names (ie, what's the cheapo intel line called? What DDR version do I get? What is the SATA equivalent now?), everything became super familiar. Putting everything together was much easier (mouse cursors in BIOS?!) and looked a bit different, but amusingly familiar.

10 years ago I got a new Android from Google. Apple released a new iPhone with a larger screen. I had an app on whatever Google Play was called back then and this app still works on my phone. I read news online, I coded in Java, Javascript and Python on my MBP. I read Paul Graham essays about startups and posted comments on Hacker News.

The police had descended on my city (Toronto G20 in 2010), putting up massive barriers, kettling protesters, making massive arrests and brutalizing people. I was checking Twitter to see what was happening.

I booked flights on aggregators, booked hostel stays on websites and planned my trips through Google Maps.

Sure, many particulars have changed (AirBnB vs hostelworld, more things on phone vs laptop), but I honestly struggle to see much technological change in my life. Getting a Tesla, which was completely unattainable in 2010, seems like the technological highlight of the past decade.

Ironically, it seems our political situation has changed drastically over the last 10 years while technology has been slowly spreading but remaining fairly stable.
Before Academic and Religious Freedom
Doesn't less page views also mean less donations?
That sounds like a terrible job for the temp employees
My intent was to elaborate on the parent's phrase "For a professor to use only FLOSS when teaching CS students...", not to accuse him/her of ignorance. If my use of the word "just" sounded argumentative, I apologize.
The theory is the he did not actually return to the scene, right? He just said he did to create confusion.