skysight-inc/HackerNews huggingface dataset:
Weird. I think any stereotypical image of a person drumming on the table with boredom, their fingers roll from the pinkie to the index finger. Looking at gifs on Google Images, I couldn't find any going the other way.

That makes me think that an inward roll is much more natural. I can type ASDF almost as fast as I can type A by itself, quite literally. It's like a drumroll.

1. http://3.bp.blogspot.com/-wuJ87jox608/VEHZPg9Fo7I/AAAAAAAAGg...
2. https://i.pinimg.com/originals/a7/d9/52/a7d952cccac40f9949bf...
2. https://www.cinemacats.com/wp-content/uploads/gifs/finncatty...
3. https://66.media.tumblr.com/33c922620e578affa28ad2b15634c870...
I assume this the same Kurdish group that has been fighting Turkey for decades, and in Iraq, the one the us allied with to fight Isis? Turkey of course accuses them of all bad things. Maybe it was Turkey. The US never really satisfactorily has gotten past our own JFK murder even though they caught the person.
As for me it looks like the Lynwood is simply used as a proxy of Rambler:
"Rambler has assigned its ownership of the NGINX software and the related NGINX enterprise to Lynwood, together with the claims alleged in the lawsuit. The assignment was approved by the Rambler board of directors"
> That summer the temperature inside my cell reached 125 degrees Fahrenheit.

I hope people understand common this is in jails and prisons around the US. The prison I worked at was the same way. We were told to lie about the temperatures in the pods because the thermometers were broken but the common areas would reach up to 100 degrees. Hell, even the control rooms would get 115+ because they wouldn't fix our air conditioner. I got heat exhaustion once and had a heat stroke. These places are the worst human rights abuses in the US and should immediately be abolished and replaced with something much less sinister and more helpful.
Are there any textbooks that provide a good introduction into Representation Theory, assuming a decent level of undergraduate mathematics as a foundation?
Currently up to draft-ietf-dnsop-svcb-httpssvc and draft-ietf-tls-esni They're designed more slowly than HTTP3.
Federal Court of Appeal Upholds Constitutionality of Canada’s Anti-Spam Law
It's always amusing how different institutions number their classes. At the Claremont Colleges, I took a class Math 103 - Fundamentals of Mathematics which was an upper division course geared towards preparing students for analysis, abstract algebra, etc. Because I started college having completed my math coursework through linear algebra and differential equations, this was the lowest-numbered math course on my transcript from Claremont and when I started grad school for a teaching credential a couple decades later, the program director thought that it was a remedial math course.
In the particular case of Purism Librem 5 phone, many people decided to buy the device in order to support the development of free software for mobile phones. As opposite to the PinePhone, whose developers do not develop any software and rely on the "community developers".
You don't have to take over the hardware to do userspace TCP. You only need the ability to put raw datagrams on the wire (Linux RAW socket, for example). You _can_ take over the device with something like DPDK but that's not necessary. As you correctly say, QUIC uses existing OS-level facilities to communicate over UDP, so there is no reason that several processes on a single host cannot use application-level QUIC stacks concurrently.
Best Cross-Browser Testing Tools 2020
I see a lot of misinformation in the comments here across multiple threads. Here are a couple sourced rebuttals.

> Featured snippets means no one clicks through to the source and thus underlying sites lose money.

Fact: Features snippets are optional for site creators and can lead to dramatically increased engagement in terms of sessions and CTR. [1][2]

> Weather.com in particular is hurt because it is ad supported no one leaves the Google page for weather.

Fact: The Weather Company happily partners with Google for this functionality. “The Weather Company, alongside governments, partner with Google to provide the world’s best weather solutions. We are happy to see Google continue to join with us and others in helping citizens stay informed.”[3]

[1] - https://searchengineland.com/seo-featured-snippets-leads-big...

[2] - https://blog.alexa.com/featured-snippets-in-search/

[3] - https://www.washingtonpost.com/news/capital-weather-gang/wp/...
Clinical benefit of remdesivir in rhesus macaques infected with SARS-CoV-2 [pdf]
For me it is the idea of what it would mean to actually have free will that makes my mind hurts, because it is such an bizarre idea. Maybe it is because of decades of software development hammering in causality.

Because free will implies that cause and effect breaks down, but in a way that is not random but governed by some agency that is not following the cause and effect of the physical structure of the brain.

Where would that agency come from? How would it enable a decision that is not then just deterministic one step removed, or randomness one step removed, or agency one step removed?

And so we have infinite regression: For each additional step of agency you add to sidestep the problem, the same questions arises of how the decision can be made without being a combination of determinism and randomness or involve some external agency...

Conversely, the idea that we do not have free will is easy to resolve for me: Consider yourself a character in a movie. Conceptually your character has free will within the movie universe. Your character could have chosen differently if it had been written differently. But in the movie they will always make the same choice, no matter how many times you rewind, because the choice is already locked in.
> Is the above code fragment hand coded or generated?

It is a handwritten example, there is no code generation involved. However, standard rules can be defined by patterns for specific file extensions.

Basically how redo works is that it runs the builds scripts to generate a target for the first time (these are shell scripts ending with *.do), and along the way it records every dependency for each target in an sqlite database, using a very small number of shell commands to define them in a declarative way. To re-built, it then uses this database of dependencies.

Because it knows all the dependencies, and because the build product is always $3 and then mv'd to the target, it can build everything in parallel by default.
You want a stable, easy-to-use platform. Setting /var/log to something other than the main disk risks all kinds of difficult to diagnose problems. If that means burning through SD cards, so be it. It's relatively easy to mod it to write elsewhere, that's exactly the purpose of user customization.

What they ought to do is put an easy way to set that in `raspi-config`
Zach Beane – Uses This
Fat can naturally float on water due to its density being less than that of water.

The more fat one has, the less overall average density becomes, making it harder to sink. I have a close friend who is very overwheight and she can practically sit upright floating. I must admit I'd usually envy her when I struggled staying afloat while she enjoye a cool refreshment like it were her couch :)

So in short, less fat, more muscle mass, more bone mass harder to stay afloat.

Also the diving suite (which is made from a foam-like material) and some of the hallow diving gear make it harder to sink, hence the need for weights.
Pathfinder.vim: Vim plugin to improve your movements
Both groups are told that they will get psilocybin and they do. Maybe they guess there's a placebo group, but when it starts to kick in, they figure it wasn't them.
I made a bold version and changed my site to use it. Does that work for you? I'm still in the middle of kerning it. Pretty fun with Org Mode. :D
Sad to see you downvoted for stating a possible (and in my personal opinion expectable) outcome of using the device.
кислый виноград.
The talk by Philip Wadler is one of the most insightful I have heard : https://www.youtube.com/watch?v=Dq0WFigax_c

In brief, they are following a process of stripping Go to the most basic possible syntax, and then adding generics (Featherweight). Then they will add more features back and build up to the full language, ending with Cruiserweight where channels will be addressed.

The generics proposal builds on interfaces rather than contracts. Wadler sees Go occupying a unique space in terms of supporting "open supertypes" in the sense that in Go we do not have to declare a struct to be of a particular interface type it is automatically derived based on the methods defined on the struct. This allows a proposal which allows Go to be extended tp solve the "expression problem" first defined by Wadler in 98.

I really hope these beautiful ideas turn out to be workable - I am sure Go will gain immensely if they are well thought out.
Twenty years on, aliens still cause global warming
I think I did. They are so similar that I have mentally merged them as they are a symmetric pair. One is dual to the other.
And in Salaried organisations it shows a disconnect from how professional's work, and Disrespects the employee as well.
Pardon me saying so, though the base vacation policy seems middling in generosity. It strikes me that maybe the unlimited policy didn't work for facet because of that.

essentially: including company holidays in PTO calculation is lame. It's essentially forced PTO, not vacation. I'd consider your vacation policy to be about three weeks, not five, which is "just ok." It's enough for a two-week vacation and some time off for christmas. If your unlimited vacation policy expectation was actually three weeks of vacation, then I could see why it didn't really work for you.

Overall, I think metered is better than unmetered if enough volume is given. I don't know how hard Facet negotiates on extra PTO, but from the baseline offering, I think I could take more in unlimited systems.
I find that there are two aspects of good management that aren’t talked about enough.

First, power. Managers have explicit and implicit power, and you should understand both. Joking about firing someone is an abuse of your explicit power, but you should also be careful about excessive use of your ability to issue direct orders. Similarly, be aware how the implicit power of a manager affects conversations, and do little things like vote last to give others a chance to speak before they know where you’ve landed.

Secondly, good management is a lot of emotional labor. A portion of the emotional well being of your team is your problem, especially around things related to work itself. If managing is emotional labor, then do try to not make your job harder by freaking your directs out.
>do not even say "I'll try to get you a raise" because then if you can't deliver, the person will always wonder why you didn't do it. Even if what you said wasn't a promise, it sounds like one.

But I don't really need to wonder why I didn't get a raise even if my direct manager tried to get me one and it's quite simple: upper management doesn't appreciate my work as much as my direct manager does.
This Is What Uncertainty Feels Like
> Clever ideas to attract other locals to the Municipal Broadband service?

If that's the aim, imho it's really difficult. Assuming your neighbourhood isn't made up 99% nerds&geeks, I'd assume most private users are pretty happy if they can watch movies in 4k, download their games on Steam and/or update their gaming console "fast enough". Downloading 50GB already takes only ~30m on my 400MBit/s, and wouldn't feel much different to 1Gb/s. Latency for gaming/video conferencing also isn't an issue these days. Maybe for big families or shared housing (student dorm) this would make sense.

If you wanted to sell me, you'd get me with (1.) reliable and (2.) affordable. Maybe a no-BS pricing scheme instead of "25 US$/month the 24 months and after that 70US$/month" (which virtually every ISP in Germany does, which means I need to waste my time with stupid ISP hopping every other year if I don't want to feel like being ripped off). I just know that - for my usage - there is no practical difference between 1Gb/s and 10Gb/s. At least none that's worth paying more. Sorry, not that useful, but maybe some valuable feedback? :)

On the business end, this is much more interesting. No need to worry about hitting bandwidth limits when video conferencing with customers is pretty nice (we sometimes have that issue and work around it with multiple connections). Also a perk: Faster access to cloud-stored data, or the ability to put data on-premise and still allowing sufficiently fast external access. Of course it must be reliable. But then, your day job is networking, I think you know that kind of business better than I do :)

//edit:
Ooooh, post a "Ask HN" and bask in the envy of the internet people =) /s No, seriously, I think promoting offerings like this is a good thing to do, and asking for advice on HN is a good idea. I'd love to see (or maybe even run) a local, no-BS ISP in our municipality.
There must be a bigger movement around contributing to Wikipedia, including financial rewards.
IMO righteous indignation is easiest for those with the largest paychecks.
His claim of corporate appeal is completely unsubstantiated and I think when he says corporate he isn't referring to enterprise.

Enterprises largely won't give two shits about HTTP/3.

Just last week I took ownership of another department's decade old app written in VB.NET WinForms. The former dev team was putting the finishing touches on the C# WebForms refactor. It's been interesting taking a step back in time to Dev practices from 2008.
For the deeply conservative domain that infrastructure code is, it has a fantastic fast and enthusiastic adoption. It will take a while until it is used as a standard choice for building python extensions and such (which also makes sense, this stuff should last for some while).
Holy shit I was just looking at their site the other day and bounced because the price was way beyond anything I'd consider spending. It didn't occur to me that they price differently for individuals, or that it'd default to showing me organization pricing, and after reading theses posts and checking the site my first guess was that individual pricing would be higher (it's much lower for some reason? Are the org. ones multi-seat? They don't seem to be. WTF.)

I'd never have even looked at their site again if I hadn't happened to read these posts. Yikes. They need to call that out much more vividly if they're gonna have weird pricing like that.
I've added Buster Keaton's silent films from 1920-1929 since those are the ones Ebert is referencing in his review. That brings the total number of Great Movies available on Prime up to 43.
yeah, do not over look ebay. a hint with regards to using ebay is to search across a week or two to get an idea of availability and what a good price is.
>This is a good article on the topic: https://arxiv.org/abs/1902.03477

Not to nitpick but that article is a year old and the field is moving at lightspeed
Reducing air pollution actually accellerates external input leading to global warming.
Also, pollution is back higher than before in China "after" Corona.
Latest development is rising infection rates in countries opening up. There's a balancing act how much we "open up", vs what measures have most impact. The last part should be solvable.
There's a "Lock" button right above the zoom in/out buttons that does this.
I noticed this has a removable battery, which makes this very interesting to me.

What I'd like to know is if it will work with the battery compartment empty on AC power only.

I'd like to have "smart" displays wall mounted around the house with dashboards on them. I've read about so many instances where people used wall mounted iPads and Android tablets where the batteries would swell after a period of use.
Wikipedia's editing software also makes editing very difficult.
Normal people really like Facebook and so far we can consistently see that in Facebook's usage metrics; the media, however, hates Facebook: https://jakeseliger.com/2018/11/14/is-there-an-actual-facebo...
Great site! But as I clicked on music radio stations across the US, they were almost all broadcasting commercials at the time. Which is one of the fundamental problems with the format.
There is also an app called "radiodroid" (or maybe it is "radiodroid2"; on the https://f-droid.org app store that says it builds all the apps from free/open source) which I have very much enjoyed for this. Unlike the other 1-2 internet radio apps I tried, this one made it easy to browse thousands of stations, search by tag (I guess everything is in there), language, country, etc etc, set bookmarks, list listening history, and no annoying weirdness. Very few that I have tried had commercials, those that did were not enough to annoy: bach, beatles, ethnic, deep lounge, 1940's big band, tejano, on and on.

Edit: I also recall a nice little linux program called radiotray, on debian (that sat in the XFCE or maybe LXDE app tray / bar), that did something similar. Presumably there are others.

Edit2: I mention radiodroid and internet radio among ideas like watching news TV sites on the internet from around the world, on my simple fun/relaxation page: http://lukecall.net/e-9223372036854618463.html

Edit3: I tried libre.fm too (which basically seems to be an FSF initiative to flag or play favorite tracks from archive.org by category, and had high hopes, thought it had promising ideas, but though it seemed to work well at first, I later couldn't get anything to happen after I logged in, etc., and finally gave up. Mentioning in case others know better.
Is this some misguided late April fools joke?
I agree with everything you say here about PHP the language, having programmed in it myself (though not as long as you). It’s a big pile of terrible warts with hidden gotchas everywhere.

I think it’s important to distinguish between a language, and its environment and ecosystem. That’s where PHP shines. I wouldn’t choose PHP for my own projects, but with the tooling and frameworks available I actually don’t mind working on it for money.
Hmm, I think have gotten my physics backwards with regards to the correlation of more pressure to more downward force.

Thank you for correcting this.
Emulating the Emulators
Yes. Brock Turner got six months for rape.

Here's a selection of decade+ prison sentences for marijuana: https://www.boulderdefenseattorney.com/top-10-non-violent-ma...
I always had to document and explain why I thought an employee deserved a raise, or should not get a bonus, etc. Even as a director with ~20 reports I don't have unlimited firing power and I still need to regroup with HR when it comes to that.

Having that system in place isn't enough. You need that system to have teeth, and you need to have someone with as much power as you who will review your decisions and play devil's advocate.

In many teams I've seen with documentation and HR hurdles, they're not real hurdles, they're just there so that there's a paper trail at all. That's because:

1. Most people in the company including the manager's boss and possibly even most teammates of the employee don't see enough of the employee's work, so it's often the manager's word vs. employee's. A bad manager will exploit that, intentionally or unintentionally.

2. When in doubt, the management hierarchy tends to side with the manager on things, because they by default trust the manager more than the employee and their view of the facts of the situation usually comes from the manager. A bad manager will intentionally or unintentionally editorialize the facts on their way up the hierarchy.

3. HR tends to avoid making waves. The only time I've seen HR (excuse the metaphor) plant the flag on the hill they intend to die on, it's because the person being fired or managed out was a protected class of worker. I have never seen HR push back just because the manager had insufficient reasons or suspect reasoning. A bad manager will just shove decisions through HR, intentionally or unintentionally.

In all of those places, there were systems in place where managers had to document those decisions, but there wasn't real accountability, so the systems were nominal at best.
According to two salaries on glassdoor, VP of Marketing at Amazon pays around 170k/yr.
Addendum: their revenue was actually following an upward trend as of their last report: https://meta.wikimedia.org/wiki/Fundraising/2018-19_Report#K...

But the number of new registered users and the number of user edits are both decreasing: https://stats.wikimedia.org/#/all-projects
How about saying, “please don’t joke about firing me?” Feedback is a 2-way street and people aren’t mind readers.
We don't know what will happen in the future. Prison time at least ensures this won't happen for multiple years, and gives you a chance to think it over.

If medical systems he hacked could have hurt people then this is basically conscious intention to hurt others, and it doesn't matter that he didn't. So in this particular case its really hard to stand on his side. If we were talking about some credit card scam - than I would gladly support you that we better try and change a person, and prison is super overkill for this type of crime. But if we are talking about hurting others - this can't be justified.
Water density increases with depth. Though only 4.96% at the bottom of the Mariana Trench.

Near the surface it’s almost never an issue, but for ultra deep dives it’s important.
Didn't anyone else notice that Elon Musk never met with President Donald J. Trump at the launch site.
One question. Why is it that ISPs don't have an on-demand offering for larger bandwidths?

Like if I pay for a 300mbps but I need 1gbps for the day you can charge me 5 bucks extra per day that month.

Are the unit-economics of this that bad?
I never understood why ISPs have such crappy/unflexible pricing tiers. Mobile carriers are way ahead on this type of flexible offering and the math seems to work.
I've read both versions and I am sorry to break your happy circlejerk about butthurtism and "sour grapes", but there is none of that tone in the original article. It's a ridiculously bad word-to-word translation, that's all.
How is touch screen on linux these days, I'm probably pick one up but can't imagine running UBports on 2GB ram.

I would rather use i3/lighter DE + touch screen support for some GUI apps?
Amazon salaries are capped at $160K for everyone. Obviously his total comp (with RSUs) would have been much higher. I don’t know whether the law takes total comp into account.
Yep, this was the first thing I thought of. Hoping to do the same thing.
Mysterious GPS signals reveal ghost ships sailing in wide circles off SF coast
Add Microsoft's own Teams, anything Google, Dropbox. It's blatant, maddening disrespect of the platform's conventions and security policies.
Not exactly surprising to people familiar with the output of the Russian foreign ministry, unfortunately.
Wikipedia is over. Mark my words.
> But in the long term

In long term, there won't be free content for Google to scrape and display in search results knowledge graphs as ad supported / free content businesses shut down. Of course, google can create its own content and does so to feed the knowledge graphs, but it's way more expensive to do so. And the math might not be worth it for google manufacture from scratch all this content.

So then folks won't use google, but will they go direct to Yelp 2030? Will there be Yelp 2030?