skysight-inc/HackerNews huggingface dataset:
Your view is that email is better than slack. OP has experience with email and judges slack to be better. Neither are “right” or “wrong”

I find Slack is better than Skype For IM. I find zoom the best for face to face meetings and screen sharing (slack doesn’t seem to have a “share this window” option), but slack for starting a quick call and for asynchronous comms, and things like changes and alerts. Email for comms outside the company.

Use whatever tool makes you work well.
I feel really miserable working from home. Cannot get anything done.

1. Main problem is lack of social interaction. I now realize most of my work projects started in casual coffee conversations with people from other groups. Now there's nothing like that, and planned meetings never work that way.

2. Also, I really miss my commute. I had 15km of bike lanes in the forest every day, that were essential to reset my mind and start thinking about the new day. In the evening, the way back home was a useful disconnect.
Did your bike get liberated from your dictatorship?

I don't know. How good did it feel to eat Freedom Fries after 9/11?
Hey, welcome to the club. I'm working on Syften.com.

I'm focused on helping startups engage in conversations, so I try to send the notification within one minute. Here for example is how I used Syften to grow Syften by an additonal $640 ARR from one Reddit comment: https://syften.com/blog/post/one-comment-640-arr/ . It also has features like being notified when someone replies to you on Hacker News.

PS. I'm wondering, how in the world can you monitor GitHub? There is no API that I know of. Surely you don't scrape the entire GitHub every minute?
Yup, it doesn’t get rescheduled and you slowly lose influence and find yourself working on things you hate, getting bad reviews and eventually getting fired/leaving because you hate your job
> You could say that cloud companies exploit company dysfunction.

Like every large software vendor, yes, it's moderately profitable to produce good software and sell it but it is much, much more profitable to abuse bad procurement practice.

Shadow IT is a sad state of affairs but at least it builds the skills and culture to economise on computing cost.
In case, the patent is here:

https://uspto.report/patent/grant/10,770,937
Specification: https://html.spec.whatwg.org/multipage/images.html#a-link-or...
ADA: An Intelligent Baby Monitor
How does it monitor results on Facebook? AFAIK the api is closed down for this - it's possible to get content only for a single authorized user.
OP offers no evidence though, just an anecdote

How many companies have a set up where people hotdesk nowhere near their team (sometimes in different buildings) and encourage all meetings online because there is not enough meeting space? I don’t know, but I know it’s not zero.
Hmm, do you mean apple keyboard or magic mouse? For the keyboard, mine works but it took a while to connect after boot. I either has to wait several minutes before I can use the keyboard to login, or just use another keyboard until the apple bluetooth keyboard is finally connected.

As for magic mouse, right clicks works, but it might be because I already configured the mouse to enable right click on my mac. The mouse seem to store that settings locally in the device itself. My only gripes is inertial scrolling doesn't seem to work. I'm using ubuntu 20.04 desktop.

Edit: forgot to include the biggest annoyance related to using apple bluetooth keyboard on my linux desktop: for some reason, ubuntu seem to think the right half side of the keyboard is actually a numpad. I had to install numlockx and add `numlockx off` to gnome startup command list to fix this.
I don’t understand this comment, do you suggest all forms of social contacts are created equal and people should just replace the social interactions they used to have with co-workers by visiting their family more often, organizing more poker nights with friends or taking salsa classes or whatever?

That makes absolutely no sense, these interactions are completely different from those you would have with your co-workers, and it’s perfectly normal even for people with an otherwise active social life to miss those. My friends and family are almost universally incomparable to my coworkers in almost every way.
One of the citations, http://catless.ncl.ac.uk/Risks/4.73.html#subj10.1 has more information about the incident, and some interesting insight from Mr. Hubbard.

"I have to wonder what other RPC services are open holes. We've managed to do some interesting, unauthorized, things with the YP service here at Berkeley, I wonder what the implications of this are."

Some early reflections on "Wow, these very complex and mostly unprotected directory services are just sitting open to anyone connected to the Internet to access! Gee, I hope someone doesn't abuse YP/AD/SMB/DNS down the line..."
Don't forget about sentencing your customers to Apple Sur(veillance).
One last comment:

A good parent fights tooth and claw for their child, and gives it every opportunity they possibly can to enable it to succeed. (And isn’t afraid to show tough love either when that is what is needed.)

Sitting with your thumb up your ass expecting success will come to it automatically just because it’s deserving is the mistake I made. And that was no minor me-too indulgence; it was a once-in-a-lifetime opportunity to put end-user automation into the hands of millions. And all that investment and future potential crashed and burned at the very last step to mass adoption, because while I was a good programmer I was a terrible product manager.

Any idiot can write code. That’s the easy part. It’s all the other stuff you need to work hardest at if you’re to build a successful market. ’Cos if you fail to put bums on seats, the best code in the world ain’t worth squat.
Is it actually possible to request most sites that way, without a host header? Maybe if it's tls and you already used sni, but I think most sites use a cdn that uses some form of virtual hosting to share ip addresses.
I enjoy working from home. I never liked office small talk. We mostly just talked about our bosses' incompetence anyway... Was getting tiring and leading nowhere.
Do your coworkers also miss you just walking over to them?
I’m normally the one who gets interupted. The part I miss is helping a co-worker, I always thought that was very considerate of me.
Ask HN: Effective Teaching Environment
I’m hoping for some advice from anyone with experience of teaching and learning CS in high school.

On the theory side: I feel I have a lecturing setup that works really well for me and my classes. Seminars, discussions, textbooks and exercises accompanied by a giant screen with code and a whiteboard.

What’s harder is the practical aspect; getting down to 1:1 coding effectively.

Classroom layouts, screen sizes, OSs, peripherals: anything can be changed in my budget but I just don’t know what makes for an optimized classroom coding environment.

Do they want privacy? Headphones? Or do pupils crave collaboration and discussion?

(Aside: Thank goodness for repl.it multiplayer!)
I saw this the other day, and something I don't understand about it is that ~40 years ago (so its dimly remembered) I did SCUBA training and oxygen toxicity is definitely a thing. So how is it that having a partial pressure of oxygen over a certain level while diving is toxic (delirium causing, which is especially dangerous underwater) but in a hyperbaric chamber is theraputic?
This is why I like automation. Not test harnesses; actual machines that make things. It’s real in a way websites and apps just aren’t.
The fact that OP has used email doesn't mean that he's done work collaboration exclusively over email. Obviously some of the people who have done both might prefer Slack, but the difference is so large that I find it unlikely.
Most people that were not already WFH before the virus hit are confusing WFH with the effects of (semi-)lockdowns.

No commute actually gives you under normal conditions the time to build out a real social life instead of a substitute work social life.
The motors aren't necessarily constantly on, and you don't need very big motors for a small robot.
They must have gotten answers because to many of the questions the only good answer is it depends, e.g. "can I tell the os that a section of the file is unused" sure fcntl(F_FREESP) and you have a sparse file, but it is not obvious it works nor help with performance.
Just more ad hominems and false equivalence.

We all immediately understood the benefits of the early internet. I was dying to get on it as soon as possible.

I know that early internet story is such a trope, I’ve seen it many times before, it’s telling that you fall for it.

Your story about the government is just another case of whataboutism, deflecting the critical gaze to other things.

And that last paragraph reads almost like a religious argument. You don’t have any actual evidence for yourself that this crypto stuff means anything, I read a lot of bias, wishful thinking and emotional investment.
Over here (Singapore), we were out of the office for several months, and while it was annoying, I didn't feel too bad about it. At least I could sleep in in the morning.

My biggest problem was because I work a lot with people in Europe which meant that I ended up working very late every night, since there was no natural way to stop in the evening.

Now that we're back in the office 50% of the time, I realise just how much nicer that is. You really get isolated when working from home, and one doesn't really notice it until you actually come back.
كلمات اغنية هذا القلب مهند عدنان
ASCII Art in 1939
Have you used / considered kaniko before? If so, what are the advantages of Makisu?
Until some good / popular apps aren't available, or isn't compatible with Apple's terms and conditions. I know this is unlikely scenario since almost every companies want Apple's market share, however things happened with IE, so it's possible to happen again with ios.
I learnt this back when studying in my home country. As long as you bark back at them at a much louder voice, dogs will never attack you. But if you ever run away from them, they will chase behind you.

Learnt it the hard way when I interrupted a fornication session between three strays.
I've always been so fascinated with products like this which are way before their time.

A VR headset in 1993 for $200 USD!?

Other similar products include: Apple Newton, Microsoft SPOT Watch, General Motors EV1, Kodak digital camera, etc.

My question is, which products are out right now, which are way too head of their time?
I recommend against optimizing.

If you optimize after the fact, you probably already made bad design decisions earlier. Those usually cannot be corrected by another optimization pass over the code.

It is much more effective and efficient to have a good plan before you start, and make sure not to write inefficient code in the beginning.

It is also much more effective to take the lessons you learned from the first round, throw the code from that round away, and write a new version. However that is only an option if you modularized your project well, so that small modules are replacable without endangering the rest of the project. Writing the new version will go much faster because you now understand the problem better, and it will produce better code because you get rid of questionable design decisions that hold you back in the long term.

Think about what your legacy in this world will be.

Leave the world with better software than you found it with!
It's been a recurring theme here on HN, but yeah he'd be unhappy. One thing missing from the checklist is the social status and all the elaborate signaling that goes with it. The "good friends" and especially "relationships" might never materialize or sustain themselves without the status.

Less social people often overlook that part, I know that I do.
In my test (umatrix, but no other preventions), the main sources of uniqueness were the fonts installed, the HTTP-ACCEPT header, and WebGL fingerprinting.

Especially the fonts installed was very interesting and I hadn't thought of that before. The JS just iterates over thousands of known fonts in a div/span and sees if the browser can render it to build a list. It's enough that you've installed a single uncommon font and together with everything else you suddenly became unique just by that.

You're not going to block all of these "dynamic" prints just by changing browser or installing a single plugin. Even if you run in a VM, unless you actually flush and reinstall that VM every session, you're eventually going to amass customizations inside the VM that can be fingerprinted.. :/
That may be the case for you, but for many people, their job requires them to communicate with a lot of people. For these kinds of jobs, being in the office is a lot more efficient.

If I was a regular developer, working on a single part of a larger application, I would have zero problems working from home. Once you're in a position where you have to coordinate work with several other people, things are very different.

I can imaging that people who manages large teams have a lot of problems dealing with that remotely.
The even bigger picture is that we (as people, who all use various services in our daily life) end up with all these services being slow and frustrating, although they do provide value, resulting in an overall frustrating daily experience.
I personally like Water.css!
I also miss missing the missus, but that hasn't been for a decade or so now, so I guess I can't blame COVID.
Hello from India
this is just simple hello from india
There's this light fiction / short story by Kanagaki Robun called the Beefeater which I think is an appropriate companion piece to this article.

https://aboutjapan.japansociety.org/beefeater

There's also this urban myth that went around in the 1980s while Japan was negotiating beef exports with the Beef Caucus in the USA. Basically, Japan put forward the reasoning that their intestines are longer and therefore meat does not sit well with us, leading to colon cancer, and the line of thinking goes on and on. My Japanese mother even explained this to me as a child when I developed an appetite for eating ridiculously large In-N-Out burgers.

https://apnews.com/article/8fff51f61de3400636ec9af70a2680d8

I still see articles frequently suggesting that the Western diet is inherently bad for Asians and leads to colon cancer.

Red meat's one thing, but beef means more McDonalds and more McDonalds means more international relations. Beef export is the reason why razing rainforests and violating indigenous lands is profitable.

Every import of beef means extended trade relations with Australia or USA or whoever's selling it. I believe China is set up for the next 60 years to import beef from the USA.
For anyone interested, the problem with homebrew is it relies on "/usr/local" being owned by the current user to allow installing software without needing a password every time you invoke "brew". Naturally this requires you only use that user to invoke homebrew.

Macports does things in a more conventional way, requiring sudo to elevate privileges to root before installing software, but should also work properly on a multi-user system, whereas homebrew sort of assumes a single-user install.

(I think homebrew has some capacity for being used multi-user -- years back my CS professor had a lab of macs and managed to get this working I believe)
As simeone who grew up with Turbo Pascal, I’d prefer the name „Turbo Python” ;)

But seriously - love the idea, congrats!
This is true in general, but in this specific case looking at the biggest online marketplaces (e.g. amazon, aliexpress, ...) they come from completely different places and have converged to the same kind of conclusion.

There might be other paradigms looming out there, but the current situation is not just people lazily relying on A/B testing.
Are they? You still are in same infrastructure and legal framework. Thats like saying you are free not visiting neighbouring apartments. Their "influence" (smoke, noise) is still leaking to your space. Same with web. Like facebook negatively affecting separated web forums.
Instead of remembering the weighted sequence, you can also compute it implicitly as you go (when reading the number from left to right). Example:

8
^ 8 (mod 7) is 1, remember that
85
^ 1 · 10 (mod 7) is 3, and 3 + 5 (mod 7) is 1, remember that
853
^ 1 · 10 + 3 (mod 7) is 6
8536
^ 6 · 10 + 6 (mod 7) is 3
85362
^ 3 · 10 + 2 (mod 7) is 4
853629
^ 4 · 10 + 9 (mod 7) is 0

Hence 853629 (mod 7) = 0 and it is divisible by 7. The corresponding code would be

def modulo(number, k):
val = 0;
for digit in str(number):
val = (val * 10 + int(digit)) % k
return val

Of course, you can apply the modulo within the intermediate calculations as well, so instead of multiplying by 10 you can e.g. multiply by 3 = 10 (mod 7) instead. The key idea is that you can go from one weight to the next by multiplying with 10 (mod 7), so if you sum some weighted digits you can update all the weights at once with a simple multiplication.

The advantage is that you only need a small amount of memory (a single number between 0 and 6), so this is a kind of general divisibility rule where you only have to do small calculations in your head.

If I may digress a bit into automata theory, this means that you can construct a finite state automaton that determines whether a number is divisible by 7 (or any other constant) by reading its digits from left to right. Additionally, if a finite state automaton can do something reading from left to right, there is another automaton doing the same thing but reading from right to left. This means that there is also a 'simple' divisibility rule when starting with the least significant digit, though it may be a bit harder to find.
It's such an obvious pun, especially without the italics or quotes, it would be really hard to miss it while you're writing the text yourself!

It would be such a waste if the author appended the horrible "(pun intended)".
Lets be honest, it's more likely that they don't want to comply with audit requirements for the new regulations.

As opposed to the regulations not allowing voip calls entirely.
This is a bit unfair. Many people socialized with the bowling team, through their church, at school, as part of a volunteer organization, etc, that may have also all shut down because of COVID.
This was one of the most cherished things from my childhood. They had one in the old Sega/Trocadero centre in Leicester Square, the Mecca of arcades in the UK or London at least. An attendent straps you in, the airplane takes off and you tilt back, and then woosh a dog fight commences with you sideways, upside down, facing the ground... Utterly incredible.

Edit: I never knew only around a hundred of these were produced. How lucky I was to have one near!
>Finally, if you can't claim Lean is good enough for all Mathematics then you can't claim it for any existing system or any system that doesn't take classical logic seriously (postulating an axiom doesn't count).

Correct me if I'm wrong (I may well be), but couldn't one work classically just by sticking to (-1)-truncated types ("mere prepositions") in a HOTT based system, for which LEM is true by default?
Nothing about what I said is anti-making a service faster, reducing frustration is certainly valuable to a user.

But the simple fact is some of those services simply would not exist in another form.

Another way to look at it is if they could exist in a meaningfully faster form easily, competitors would pick up on that.
A while ago I saw a post about text-heavy websites in Japan, explaining it as a result of higher literacy rates and the expectation to see all relevant information at once, sadly I can't find it anymore. If you happen to stumble over it, much oblidged.
New 2020 Browser Features You Probably Didn't Know
There's only one s in the name thus it makes no sense as you pronounce it. Also probably everyone else will read it /jupi-star/.
Exactly, this is farcical. How did you handle the 6am meetings before COVID?
Viewing your child as an optimisation problem centred around your subjective view of good and bad could be all the trauma you need to inflict. Of course that's anything but a new pattern, parenting is training and training is optimising. However wielding extensive tracking & data to make your imprinting even more precise & targeted would certainly - for me - eliminate the joy of seeing someone grow into someone I admire, possibly in ways I never expected.
Playmaker: The Reality of 10x Engineer
If you had to go with one or the other, which would it be? I'm on the fence now, I have one machine with Arch, my heavy development machine with NixOS. I'm considering ditching NixOS altogether.

I just miss using the same tooling as everyone else in my team without issues or having to constnatly spawn up a new nixenv everytime I change folders. Maybe using FHSuserenvs will help?

I've never really been able to grasp the language, I don't care what anyone says, the documentation is terrible. Every time I try build a package it always takes me days to workout how to do it.

Really feeling that while, yeah, it's nice to have everything in one configuration file, it's good, but when something breaks, I have really no idea how to fix it.
Proving "classical" propositions in an intuitionistic system is trivial. Intuitionistic logic can be viewed as an extension of classical logic with new "constructive OR" and "constructive EXISTS" operators. The classical operators are recovered via negation: NOT (NOT a AND NOT b) is classical OR, whilst NOT FORALL x (NOT p) is a classical existential quantifier.
Santiago, Chile. 1.5 hour drive to the ski centers in the Andes and 1.5-2 hour drive to the sea. Also, the shape of Chile ensures you have plenty of mountains and coast to chose from.
Postmark is great for sending transactional email with high deliverability.
Thank you so much for the kind words :-) I am happy that we can make something that you enjoy!
>A number is divisible by 2 if its last digit is divisible by 2.

How does this work when the last digit is 0?
Forget webgl and fonts, content blockers also fail at blocking third-party analytics masquerading as first-party analytics. Exhibit A: https://gist.github.com/sperand-io/fc211731e31c628232abb998f...
Perhaps in the US, but I don't think this is the case in say China. Communism is atheist but not known for environmentalism. Atheism does not imply scientism or rationality either.

People seem to have a really hard time grasping that atheism does not imply any particular world view or ideology beside believing in zero gods.
Engineer here too. Absolutely agreeing with you.

The people that want to go back to the office are also the same people that were wasting everyone's time in the office. Middle managers, office365 consultants, project managers etc. Etc. Generally the people that had the bullshit jobs in the office, and had little contributions except the "social contribution".

I don't not want to go back to the office mainly because of those same people...
Microplastics found 8,440m up in Mount Everest's 'Death Zone'
The problem is that the same font is rendered differently by different video cards, hence why your hardware can get fingerprinted.