skysight-inc/HackerNews huggingface dataset:
>For whatever reason, papers ... that ... use data to make arguments about productivity, safety, etc. always seem unconvincing to me. ... maybe it's just because the way most programmers write code doesn't matter to me, because most programmers aren't aware of what is possible on the frontier.

As someone involved in PL research I partially agree, but I think this effect happens in both directions. There are plenty of great ideas in PL that haven't been applied to real problems whereas, simultaneously, there are plenty of huge problems for programmers where PL hasn't been applied. That is to say, us researchers often ignore the problems of the masses in favor of ones with more elegant (or more rigorous) solutions because we enjoy writing fancy proofs and theory more than we enjoy pragmatism. I think both sides of the equation are very important here, but it would be great to see some more direct interaction between the two sides. As it stands, a conference like POPL contributes about as much to recreational math as it does to the state of the art in programming.
Of course you can because those executives are influencing politics with their money so they can starve the regulators and/or capture them to prevent things from getting to this point.
I see two ways to get out of this. One is to learn to think of those things and doing them well, even though they're not original, as part of the form. Like meter and rhyming might be part of a poem's form; it's about how you do them, not that you do them, since they're always there.

The other is to consciously decide to ratchet down your consumption of this type of entertainment and put more effort into finding things that are more "for you" -- they don't rely on the tropes you're used to. Look for foreign content, other types / genres of shows, and reduce your consumption so by the time you've watched as much as you used to in a year, several years have passed and the style has morphed a bit.
No, all your pandering and political posturing doesn’t mitigate the fact that FF is a hot pile of usability garbage
I think it would be interesting to know what was the moment that broke the camels back, and who made that decision at Twitch. Would like to have seen that team meeting.
Thanks for pointing that out. I suppose a RFC writing style guide would be helpful to have consistency in language and interpretation.
I am under the impression that the toxic userbase generates the most spending and engagement (not surprising if you think about it...) Therefore we are probably in feature-not-a-bug territory here.
Timeline:

- Oct 25th: Copy and pasted from their email, "We’re just confirming that you’ve cancelled your Audible membership. You’ll continue to have access to your credits until November 25, 2020."

- Nov 4th: I'm charged once more and receive a token.

- Nov 25th: I finally lose tokens and my membership transitions to the canceled state. I'm never charged again.

I've run this experiment a second time when my girlfriend canceled last month (I also wanted screenshots of the cancelation wizard for the blog post I want to write). She was charged once more between the "cancel request", the rebill date, and the actual cancel 30 days later.

What do you think is a more accurate, charitable description of these events? I think "cancelation has a 30-day delay" summarizes the post-cancel rebill much more charitably than it deserves.
I think this is usually because the host OS is caching the files that make up the VM disk image. So effectively, the VM is running from a ram disk. Intuition says that you could probably configure caching/readahead on the bare-metal system to do the same with similar performance results.
From whatsapp faq :
"Media and messages you back up aren't protected by WhatsApp end-to-end encryption while in Google Drive."
> that would be a bad idea because untrained drivers may cause injury to others

One can always justify more government power and more government micromanagement of people's lives by claiming it will prevent some hypothetical harm. Here in the United States we're not supposed to accept that.

> Imagine running a country

Imagine having a country where no one person or small group of people gets to "run" things--where, instead, every adult citizen is assumed to be responsible for their own life and their own actions, and to suffer appropriate consequences if they cause harm to someone else. Where nobody is allowed to just declare by fiat what everyone else has to do or can't do. Where collective action is done by reasonable people persuading other reasonable people that a particular course of action is best for all, not by some people just dictating to everyone else what the "right" thing to do is.

The United States of America is supposed to be that kind of country.
Yup. Even ignoring the lack of randomization, there’s another issue with the hungry judges paper that should have raised some eyebrows.

They fit a model using both the case order (1st, 2nd, 3rd, etc) and the time elapsed. Either is significantly related to the case’s outcome, but when both are included, the rank explains away the time elapsed. This is obviously not compatible with increasing hunger/decreasing blood sugar, since those should depend on wall-time.
Honestly, with the way things are going, I would like them to deemphasize the desktop.

Canonical made it easy to recommend linux as a desktop, but then have made it harder as time goes on, with controversies like Snap and the Amazon fiasco. I'm glad for what they have done, and wish them luck in the server space.

There are others who are now better positioned to pick up where Canonical left off on the desktop. ElementaryOS, Pop!_OS, Zorin, all of these are amazing projects that have picked up and pushed forward from where Canonical left.
The county officials would not remove traffic cameras, so citizens had to put it on voting ballet in Houston and force the county to remove them.

https://www.techdirt.com/articles/20101104/03572911723/houst...
CS is definitely applied mathematics. Whether or not all of the maths that Dijkstra thought were essential to programming are much use in the day-to-day business of programming is debatable. His curmudgeonly view of our field, from the linked paper:

'As economics is known as "The Miserable Science", software engineering should be known as "The Doomed Discipline", doomed because it cannot even approach its goal since its goal is self-contradictory'
The personal stake of BoD individuals is completely irrelevant, and your focus on that suggests you don't understand what "by proxy" means.
+2 for Koyfin
By any chance do you have adhd? Because same.
Ask HN: Favorite (or homegrown) PM-ing tool?
What's everyone's go-to tool for PM'ing features from idea/customer research, design, dev through launch?
Have you tweaked airtable, set up notion boards, asana? something homegrown?
Need to communicate and manage expectations up/down/across.

Not pushing anything here. I'm at a big, slow, highly process-driven and regulated company, our tools are rough, and would love to steer the PM org there into 2021 (let's all forget 2020).
Depends on the state, and whether the cameras are visible.
I'm surprised people even use twitter. It's not all that well established (vs eg. facebook which you have to use) and is barely useful as an alternative to RSS or 4chan or reddit.
Oh yea, calculus and linear algebra is all washed up and the industry has moved way past it. /s

"I don't think any of that is true" is a strong statement. Nobody is saying that a toy renderer in school resembles a AAA rendering engine, but the point is that the thought process needed is the same, and I'm still going to expect a certain degree of rigor from any candidate. Also, the parent post is speaking more about the theory and fundamentals in general, not the direct contents of any particular coursework. FWIW, I am not formally trained in graphics or CS (my training was math).
If Covid had a natural origin then it would have been found in China before the human cases.

Covid is a designed virus made in a Chinese lab and escaped.

Gain of Function virus research is evil and should be banned.
Show HN: Shush – A CLI for Shamir Secret Sharing w/ included AES helpers
There are different points that need to be touched here.

First, as always, there is a distribution of effects, which means that there is individual variation. We can reasonably assume that, _on average_, the older people are, the less they care about other people's opinions. The age after which these effects are noticeable is not immutable since the dawn of times, but depends on when people have kids, are expected to retire, etc. For example, I expect the age at which one cares less to be later in life now that three decades ago, when people at 40 were already considered way past their prime. I mean, for the generation of my parents, physical activity after they turned 18-20 was for wealthy people or "eccentrics".

Second, it depends very much on what is settled for the person or what is still fluid. If someone has a family or has reached of the "peace of the senses", they are already caring much less about the major source of frustration (much more than source of joy) and status-seeking behavior for most people: sex. If somebody has also given up on practicing sports (or any king of competitive hobby), put up the classic 40 pounds more at 40 years old, they care even less about others. Lastly, hormones change, testosterone in men visibly drops, women start getting into menopause.
And then it depends on personality (see the point above about variation), there are people who are still combative in the status game at 80 and others who have given up at 21.

In synthesis, it is not that older means wiser and thus the "who cares what other people think" comes from a place of introspection (between us: sex is incredibly pleasurable), but more simply that hormonal changes, "giving up" (sex, competition) put people, sooner or later, on the bench of life: spectators, more than players.
The difference is that the Foundation legally cannot spend their tax-free money paying the salaries of employees of a for-profit entity, to develop a product that pulls in significant revenue.

It's a matter of "can't", not "won't". Subscription revenue would go to Mozilla Corp directly and therefore has no restrictions, because it's taxed as income. It at least has the possibility of being spent on Firefox development even if it actually goes to Rust maintainence or whatever else.
The thing is they don’t have it anymore. They are crying and asking for it back now that it became valuable.
Facebook stores your data whether you have an account or not
Police Chiefs have said, on the record, with reference to photographers who have been arrested (not necessarily for filming the police):

"We can't expect our officers to be constitutional lawyers."

http://www.krages.com/phoright.htm
>Ethereum was only about a year old at the time. When Bitcoin a year-and-a-half old, it had a bug that required a five-hour chain rollback.

>Bitcoin people will object and say that was a bug with the blockchain itself. However, sample code on ethereum.org had vulnerabilities similar to TheDAO's bug, so arguably it was a platform issue on Ethereum as well.

I think the main difference here was that bitcoin never had a "code is law" belief, whereas ethereum did.
>Should some people be allowed to blatantly lie and deceive and manipulate the public without even having the faintest fact-check or verification?

You can verify their claim/rebute them with the reply button or an aptly written article. Making this a fact-check stamp is akin to a big corporation telling you how to think vs people arguing over things (which is constructive)
In the worst case, it might not be possible to assign a reliability score that you can rely on (reliability squared) to a news source; let's consider some edge cases:

- The news source has a biased author. Articles on related topics by that author may be untrustworthy and deviate from the score.

- A particular author and their team have been worked off their feet for the past two weeks due to internal or external pressure. Their next article may not be as reliable as it should be.

- The management of a news source may have changed (potentially months or years ago) and now they have decided that it is time to alter editorial policy. Subsequent articles may differ in accuracy.

I think that news workers understand these concerns and take them seriously since it affects their reputations and career prospects. They probably also understand that there's a certain extent to which they can get away with small errors and mistakes.

Demanding complete truth and accuracy might make the job impossible, or so time-consuming that the results become irrelevant. So there may be some element of a time-accuracy tradeoff.

Perhaps fact-checkers and AI can rise above these challenges, or at least guide them, but we should be wary and allow for corrections, since much of what they do builds upon previously-seen data and consensus on what has previously been accepted as true.
The comic graphic in the top right corner reminds me of Penny Arcade. Look how the main characters change over the decades:

1998: https://www.penny-arcade.com/comic/1998/12/21/the-patch-para...

2009: https://www.penny-arcade.com/comic/2009/01/28/further-songs-...

2017: https://www.penny-arcade.com/comic/2017/02/15/the-latest-fis...
> (This reminds me, does anyone here know how to get PGP paper keys that use only english words e.g. "brunch pineapple house crow ..."? And does anyone know why we aren't using english words to compare PGP key IDs yet?)

PGP invented that, and if you use actual PGP it will tell you your key fingerprint in English words, using https://en.wikipedia.org/wiki/PGP_word_list . Someone submitted a patch to GPG to do the same, but it got rejected for being non-localisable and bikeshedded to death.
Turing, as well as, nine days ago: Where Did Combinators Come From? Hunting the Story of Moses Schönfinkel [0]

Reasoning is computation. It's one suppressed thought away.

[0] https://news.ycombinator.com/item?id=25335175
Its not even in the top 10 most dangerous jobs.
Mostly simple things: if you have a messaging queue used for logging, and you need to predict the change in its memory footprint given some change in a message format before rolling out/testing the format change, just use Little's law. Or you need to determine the smallest number of consumers that you can have online safely to maximize how quickly you can do maintenance without degrading logging.
Indeed, the tricky thing is what to do when we get stuck in sub optimal Nash equilibriums. Historically civilizations got out of that by having a sufficiently large external shock, but now for the first time ever we have a global civilization. Actually that dynamic seems to apply to all levels of this trope too, curious!
> The only programs I'd be reasonable sure wouldn't screw it up are Acrobat itself

Oh no, I've seen acrobat screw with it too
Ethics? Is it correct to say that Google fired the person?
Know what's really quiet? High loitering kamikazi drone and gliding that last while:

ie: https://www.youtube.com/watch?v=zzzOH5fBAqw
Hand tracking on the Oculus was only added last year, so perhaps your 5 year old opinion is out of date. Your experience is also not particularly insightful regarding the future of VR - your expectations appear to be for a finished, polished device, and anything short is sufficient for declaring a whole category dead.

Progress isn't linear. There have been significant jumps in the past few years. Sales appear to be supply constrained. Many people have lots of joyful experiences.

That said, your conclusion may be correct. Predicting the future is hard, and your subjective perspective doesn't justify the certainty with which you comment.

That said, this is probably not a constructive conversation for either of us, or HN. I wish you a pleasant day.
That is an interesting take, and it seems common in PL research (even if unspoken).

I love the formalism and "hard" maths of PL design - but if the purpose of a PL is to bridge the chasm between how computers work (i.e. machine code) and how people work, then disregarding one side of this isn't right.

The belief I previously held was that this is ok because computers don't get smarter, but you can teach people about the difference between contravariant and covariant types, and then pretty soon they will be happy scala programmers. Now I am not convinced - a simple language which fits in people's heads, and a way of leaving comments. Yes there will be bugs that don't get picked up at compile time - this happens in all languages - but the bugs that would be caught by a richer type system in another language tend to be the ones that are the easiest to fix.
I understand that £1B is a lot of money and I don’t fault them for selling, but it’s still sad to see once-great companies consolidate to death.
Covid-19 Teaching Experience: 17-313 Foundations of Software Engineering
DoppelPaymer FBI PIN on Dec 10, 2020
1700 on lichess is about 1400-1500 on chess.com. Lichess tends to be about 200 points overrated on average.
The Big Bang Theory exhibited this quickly.
Sounds like “Hey Siri, I’m being pulled over” (which is a third party shortcut you have to install)

https://www.cnn.com/2020/06/16/us/iphone-police-shortcut-rec...
> Two, it's not at all true that to run Linux binaries on non-Linux, you need a Linux VM.

So (a), this entire thread, the entire post, is about docker. (b) WSL1 worked so well, Microsoft not lonely abandoned that approach for WSL2, they also never used that approach for containers on Windows. Hence, Windows native containers are, drum roll... Windows.
As someone who operates two Nest cameras (one doorbell, one camera, both record audio) in California with clear line of sight towards public areas (sidewalk and street), I would really like to know what sources make you believe this is illegal. I find that claim very hard to believe.
If you want to actively observe me writing code by giving me a channel to DM you you can get a sense of my questions and how a historically majority C++ developer since my teenage years is transitioning to this language. I feel like this is a large constituency so figuring out my mental model errors is important to help write detailed transition doc material.
Investors in SolarWinds traded $280M in stock before hack was revealed
Mine seem to last about 5 years or so.
Too bad the people that believe in trickle down economics don't believe in facts and reports or at least don't want others to believe in facts and reports. so...here we are.
> I miss passion and being proud of what I do. The internet says I have ”the sexiest job of the 21st century”, but I think my previous job was more enjoyable to brag about at birthday parties.

Hits way too close to home!

As a bullshit data scientist, I cry a little inside when people ask me what I do. Whilst I deeply miss academia for the same reasons in that post, I absolutely don't regret leaving. I do however, regret quitting the bank/quant job I got immediately after finishing my PhD. Was far more interesting, challenging, productive and way more useful than the absolute nonsense I typically work on now.
This is quite well put
I have very mixed feelings about EWD. On the one hand, his work on concurrency and formal methods has had a profound impact on computer science, and we owe him a huge debt.

On the other, I was present at an IFIP talk he gave in Toronto in 1976 where he announced that personal computing would go nowhere, because the average person cannot program.
I think roughly half the country believes that abortion should be illegal not on policy grounds but on ethical grounds.

I do think contraception is obviously a powerful tool to reducing elective abortion, as a matter of policy.
Thank you. I haven't seen any apparent DNS problems; I fixed it, on a Debian host, by deleting the gnupg packages; probably deleting just gpgconf would have sufficed. That said, the IP addresses I used really would not show up in a DNS lookup. If I see it again, I will look for DNS lookup attempts.

Dec 15 22:23:14 ip-99-99-99-100 sshd[1995]: pam_unix(sshd:session): session opened for user admin by (uid=0)
Dec 15 22:23:14 ip-99-99-99-100 systemd[1]: Created slice User Slice of UID 1000.
Dec 15 22:23:14 ip-99-99-99-100 systemd[1]: Starting User Runtime Directory /run/user/1000...
Dec 15 22:23:14 ip-99-99-99-100 systemd-logind[510]: New session 34 of user admin.
Dec 15 22:23:14 ip-99-99-99-100 systemd[1]: Finished User Runtime Directory /run/user/1000.
Dec 15 22:23:14 ip-99-99-99-100 systemd[1]: Starting User Manager for UID 1000...
Dec 15 22:23:14 ip-99-99-99-100 systemd[2001]: pam_unix(systemd-user:session): session opened for user admin by (uid=0)
Dec 15 22:24:44 ip-99-99-99-100 systemd[2003]: pam_unix(systemd-user:session): session closed for user admin
Dec 15 22:24:44 ip-99-99-99-100 systemd[1]: user@1000.service: Main process exited, code=exited, status=1/FAILURE
Dec 15 22:24:44 ip-99-99-99-100 systemd[1]: user@1000.service: Killing process 2007 (gpgconf) with signal SIGKILL.
Dec 15 22:24:44 ip-99-99-99-100 systemd[1]: user@1000.service: Killing process 2008 (awk) with signal SIGKILL.
Dec 15 22:24:44 ip-99-99-99-100 systemd[1]: user@1000.service: Killing process 2013 (dirmngr) with signal SIGKILL.
Dec 15 22:24:44 ip-99-99-99-100 systemd[1]: user@1000.service: Failed with result 'exit-code'.
Dec 15 22:24:44 ip-99-99-99-100 systemd[1]: Failed to start User Manager for UID 1000.
Dec 15 22:24:44 ip-99-99-99-100 systemd[1]: Started Session 34 of user admin.

But what are these evidently unnecessary session and User Manager things? What controls starting them? What are they supposed to do for me, if they ever work right? Why did starting them fail?
Stumpy v1.6.0 (For Modern Time Series Analysis)
STUMPY v1.6.0 is now available on Conda-Forge and PyPI with new features for computing a “consensus motif” across multiple time series, a novel distance measure called “MPdist” that can be used for clustering time series, and improved support/stability for Dask distributed matrix profile computations! Let us know what you think:

https://stumpy.readthedocs.io/en/latest/install.html
Developers for the most part have or can look forward enough to enough income to make a tool like a mac relatively inexpensive. My biggest problem with buying them has been how absurdly bad the hardware has been for years other than the trackpad. The screensize/weight ratio, the screensize/body size ratio, the keyboards, and the performance were all well behind the competition. MacOS only running natively on bad hardware was a great reason not to use it, the fact they charged a $500+ premium on their software was really just another nail in the coffin. You had to need or fucking love MacOS to justify buying a mac.

How things change in a year or two. Pretty much only the weight/size relative to the screen size remains substandard and I expect them to improve on those fronts.
Both their Next Gen Server ( Ice-Lake ) and Desktop CPU. ( Rocket Lake if I remember correctly ).

But you dont need an Intel CPU to use these ( apart from those persistent memory ). I am interested to see these paired with an AMD Zen 3 or ARM Server CPU running Database workload and compared them to Top Range SSD.