skysight-inc/HackerNews huggingface dataset:
I feel similarly that there was a benefit and opportunity to the amorphousness of it.

At the time I was experimenting with a roleplaying game bot, and felt there was a lot of really interesting colloborative storytelling possibilities in the flows you could have. Start an action as an "email" to your GM, add a bot roll (or equivalent; the RPG I was using at the time was diceless) in the middle of it. Flow that into a threaded conversation about the results/consequences of the roll with your GM (and possibly other interested players), then use that conversation to clean everything up into an edited final "document" of that turn/action.

There's probably a lot of missed opportunity from Google having canceled Wave so soon after opening it to the public. There was a feeling, right up until Wave shutdown that a lot of people were in the middle of interesting explorations of collaboration forms, many of which we are unlikely to again see such a large scale experiment in.
That is one reason they're problematic, but not the problem I described. Public IDs would make the problem I am describing worse, as even more businesses would unashamedly ask for them. People's feeling of "oh isn't that private" is one of the few things holding back everyday retail businesses from asking for them.
The noise in seismometer measurements has reduced since lockdowns have started
Previously: A real nice similar project using Coq: https://news.ycombinator.com/item?id=4014646

That's very polished, visually or at least typographically, which might not please everyone. But the idea of "proof by pointing" is solid.

OTOH the 'UX' of this Lean system is all over the place: being told to remove the word 'sorry' is a bizarre way to start. With my browser and reasonable font sizes, it's just not possible to make the column wide enough to get all the text on the same page. So the following paragraph refers to something that's not visible (because it's at the end of the text).

"At the bottom of the text in this box, there's a lemma, which says that if x, y and z are natural numbers then xy + z = xy + z. Locate this lemma (if you can't see the lemma and these instructions at the same time, make this box wider by dragging the sides). Let's supply the proof. Click on the word sorry and then delete it. When the system finishes being busy, you'll be able to see your goal -- the objective of this level -- in the box on the top right. [NB if your system never finishes being busy, then your computer is not running the javascript Lean which powers everything behind the scenes. Try Chrome? Try not using private browsing?]"

This paragraph is also bad because it's all jumbled up. There's advice on resizing the UI, there's a casual/vague comment on browser compatibility, and there's the random placeholder word "sorry" which appears to have no pedagogical purpose. All this as well as the fact that the lemma isn't yet visible.

From a UX, accessibility, and teaching aspect, there's a lot of room for improvement. The current state of this app really comes across as idiosyncratic rather than straightforward. The experience has got a complicated, intrusive, handmade personality rather than being a lucid exposition. Logitext has a particular personality as well but it's a slicker one. It hides the incidental complexity better (though the implementation isn't necessarily as simple as it should be).
I'm glad they didn't to be honest. It would have diluted their existing product.
Note that Stripe is working on a type checker for Ruby: https://sorbet.org/

I second the sentiment though. I wouldn't choose to use plain JavaScript over TypeScript for any significant project.

You might ask why I wouldn't just use a more fully typed language like Java. My main response is that I love having the flexibility to choose how strict the types should be. Sometimes, typing something out fully is not worth the trouble. Having escape hatches lets me make that choice. While I enjoy using types to turn runtime bugs into compile time errors as much as possible, it's not the right thing to do 100% of the time.
@dang can you update this title to indicate that the link is so-and-so's documentary about Dieter Rams?
I wish so much we would adopt rules like the EU has.

* No significant rewards because the fee is capped at 0.3%.

* Chip and pin because that decreases fraud more than chip and signature.

For many businesses, a 2-3% fee is so much of their total profit margin. For example, Google tells me a full service restaurant averages a 3-5% profit margin.

Dropping a transaction fee 2%->0.3% would mean a 3% margin turns into a 4.7% margin. All else equal, 56% increase in profit!

There are other considerations, like would people spend as much if they didn't get rewards. I don't know the answer, but another question is "what's best for society?". In my opinion, credit card companies commonly act as a low-value-add intermediary and a wealth transfer from the poor to the rich. [1] People are paying more because that fee is baked into every single transaction, whether credit, debit, cash, or check.

They do provide a great indisputable paper trail for many transactions, and going 100% cash probably isn't best for society because there would inevitably be more "untaxed revenue", but 2-3% is outrageously large fee to pay.

[1] https://www.bostonfed.org/publications/public-policy-discuss...
Obviously, like everyone, I'm a little concerned about "Embrace, Extend, Extinguish" and I don't really believe that Microsoft are suddenly "the good guys".

But I don't, ultimately, think that this will lead to the demise of Linux. Desktop Linux as a serious competitor for a general-use operating system was already not happening and not really showing any signs of growth beyond a tiny percentage of geeks; if it was going to happen then I think this would be a major barrier to it (why bother abandoning Windows or learning to dual-boot for Linux functionality when you can just use WSL?), but since it wasn't going to happen anyway, another reason it's not happening won't really matter.

(and on the other hand, by providing a less-scary way to get familiar with Linux from inside the operating system you're already used to, it might lower the barrier by an equal amount)

And Windows is resource-heavy and full of enough overhead (not to mention license fees) that it's never going to replace Linux in the server, high-performance, or embedded space, and this certainly won't effect that.

I suppose it may end up leading to fewer devs directly running Linux in the workplace, since the corp can issue them a more corp-comfy Windows machine instead and trust that they'll still be able to get work done, and all the odd troubles of getting Linux to work comfortably on a laptop just sort of vanish if you can just use Windows anyway, which could erase a good chunk of the tiny desktop/laptop marketshare that Linux already has. Or it may not. Who knows!
> What's surprising to me is that it was allowed before.

> They have had their own videochat solution for years, so I would expect the usual "eat your own dogfood" approach.

If an engineer from Microsoft has to speak to an engineer from Google, and you think they should both be dog-fooding their own video application... how do you see that working? Just both dig their feet in and never talk to each other? Seems silly to me.

One or both are going to have to install a video application that isn't their own aren't they?
One thing I never understood about so called "communist" states is why they treated their workers so badly. You would think a workers' state would prioritize workers' wellbeing above everything else, even to the detriment of other goals.

In school, I wondered why the East German government beat down the workers movement so violently, and why they locked their citizens behind a wall. Surely they should have been very pro-union? The state should have done everything to keep their citizens happy, and if they wanted to leave, then why not just let them leave? After all, isn't the point of communism that the people are in charge? My teacher was baffled and couldn't understand my naive question :-D

Now, my mental model of these "real socialist" states is that they are just degenerate capitalist dictatorships - namely, you only have one single capitalist, and that is the state itself. I find this explains a lot of their dysfunctionality.
Really?

I've got 500/500 MBit/s at home. 10 years ago I had about 30, but even that is more than sufficient to stream high quality video.

And this is not a "first-world" country even.
It's surprisingly common for people not to own a non-work computer other than a phone/tablet, especially now that prevalence of desktop computers is declining. Some people do still have a home desktop, or a separate personal laptop, but a lot of people I know don't. Or they might have one but it's a shared family computer that's mostly used by the kids, while parents use their work laptops.
Tools for Consistent JavaScript Code Style
I recently discovered greenshot. It's not perfect but I found it covered 95% of what I wanted while putting together some tutorial content recently (drawing decent arrows, highlighting important regions, etc)
If businesses are free to add surcharges and/or discounts based on the payment instrument used, that should nudge consumers to lower-fee payment instruments like cash, debit cards, cryptocurrency, or at least a credit network with lower fees.

For better or for worse, there are some legal obstacles to surcharges for certain payment instruments, but discounts are always an option. I.e. merchants could pad sticker prices with the max fee they might pay, then discount depending on the instrument used.
The Fed is lifting Wells Fargo’s asset cap so it can help lend to small business
We, science-oriented people, should be doing something about it. We have the power and resources. Politicians are only part of the problem. The ignorant voters is the major issue here.
There was the weapon of mass destruction propaganda which precedes the Iraq war. Now powerful but ignorant people failed to stop the coronavirus even though there were stark examples from china. And we have even a greater challenge ahead, which we can’t afford to fail again. There are 220,000 people working for the video industry which has an annual income of 25 billion dollars. How many people are employed to educate people about the big issue ahead like protection of habitat?
Back in the early 2010s, I did a project which is trying to interest people In keeping track of politician statements and assign scores to their credibility. Unfortunately, I can’t find anyone to invest in such a project. I just knew back then if we don’t change the status quo, the media would lose credibility. Unfortunately, I was proven right. The “ fake news “ becomes the big news back at the 2016 election. I am still paying the big daddy to keep the website registered so that I can brag a little.
Shouldn’t schools be using SSO with Zoom Education, or does that cost money?
No demo, but I can make a dummy account if you are interested
> they're making the best product out there.

I dunno, I like my Nvidia Shield. They know(from talking with them in interviews) that Android TV is a significant threat. Their advantage right now is existing user base and the fact that their stack runs on very cheap HW. As processors become increasingly more powerful at the low end, expect Android TV to make Roku irrelevant(barring another screw up from Google, that is).
This isn't the answer you want. But I have a hobby side project that I've kept going for a decade, and which gets high enough use to feel like it's worth keeping going.

It costs server money to run, a couple of take-away-coffees per week's worth. In the past I did agonise about putting ads on it, or otherwise monetizing it.

But at some point I decided that as I was lucky enough to have a paying job, the marginal returns I would get by trying to monetize the site wouldn't be worth it, and I was happy to pay for it like any other hobby. The grateful emails I get every couple of weeks make it worthwhile.

That was a very liberating decision. Mix business with pleasure and it stops being fun.
> Scryer is a Rust-based Prolog implementation that is freely available

!

As well as an exclamation I suppose that's the cut on my "write a prolog to learn rust" predicate, backtracking to finding out more about this, especially since I just came across a little puzzle for which integer constraint programming is perfect this week.
How has your experience with CUDA been? Is it as painful as it appears at first glance? I've done a ton of python and C, and yet whenever I look at C++ code, it just screams stay away.

But I have some almost-reasonably-performant pytorch that I'd rather not just use as a cash burning machine, so it looks like it might be time to dive into CUDA :-\
It would definitely help, I highly doubt spammers would use that sort of mechanism.

The solution gets around potential vendor lock-in and privacy issues with a service like Google's, but it still fundamentally shifts the problem from the service to the user (the original commentor's gripe).
There are already different fees charged based on card types, which is why you see some merchants accept Ames/Discover and some not. They have different per-transaction fees and different transaction percentages (at least the last time I saw, long ago). If a card offers a smaller fee, I imagine some processors and then merchants will jump on it ASAP. What's half a percent off the processing fee to Amazon/Walmart/Target? Hundreds of millions to billions of dollars, given it has a disproportionate affect on profit since it applies to total charged.

I'm sure this is also why Target tried to get you to sign up for their own card, and offers you a percent off all purchases at target with it.
I hope that Zoom will make it easier to use their web client because of this.
Judge Allows Travel-Industry Deal, Rejecting DOJ Antitrust Complaint
You won't be able to play together because of latency.

You will think you are in time with someone, but you will react when you hear/see them on your screen, which is maybe .15 seconds after they actually made the sound/movement. And then they will hear/see your reaction .15 seconds later again.
I pulled them (OLOV) on their last dotted line, plus the 2.5cm of the table, that is good/tall enough for me. I also have a custom-made monitor stand (I used planks I found laying around). That adds another 9-10cm and I am using a 27" curved Samsung monitor that has its own tall stand. I'm 1.80 and that height works for me for eyes/elbows/keyboard/mouse
(keyboard is a MS comfort curve 2000)(that also adds 1.5cm)
Really? I've started using it more and more recently and it seems pretty good. Dependent on good Internet connectivity like anything else but otherwise it seems straightforward and streamlined--which IMO describes Gsuite in general.
I watched them go through this process via twitter, and it sounded like inventing that shared api model was a type puzzle i wouldn't be able to figure out myself. also they're the only people i know of doing it?
Just as a few of the billion examples: are stores going to go through and change their $3.99 prices to $3.91, and their "3 for $10" prices to $3.27? Are SaaS services going to change their nice round $19/month to $18.62/month?

Or are they just going to say "awesome, lower processing fees", and keep their prices the same?

Perhaps over the course of decades, new businesses and new products would take the change into account, so it would probably be a net win long-term, but in the short-term, consumers would just lose that 2%.

Now, on the other hand, I'd be quite happy to see a prohibition on the credit-card-company practice of preventing merchants from charging a surcharge for credit card use. If merchants were free to charge the consumer whatever the credit card processor charged them, then if you used a credit card with lower processing fees, you'd immediately reap the benefits.
Yeah, now it Catalina it's pretty good.

Also, you can record the screen using Quicktime for years... But noticed as of Catalina it works much better with the high-res screen recording.
> You could write 1:.

So separate wildcards and literals, each prepended by length? That would be far, far less readable than using escape sequences.

> The point is to not use XML, because it has escape characters. You could replace it with ASN.1 BER

Fair enough, but most people would consider that a solution worse than the problem.

> The IDE could update the length automatically

Making you completely dependent on an IDE to support whatever format you're editing, including nesting. You can't even read your code now without an IDE. Making up some kind of DSL on the fly? Start counting string lengths again.

Sorry, but no. Escape sequences are bad, this would so much worse.
Behold...the power of lobbyists. Fax industry sure got their money's worth that year that passed.
Can you at least put screenshots?
No, the attenuation is exactly the same no matter the power and is analogous to the square of the distance. So a signal that has power X in a point 10 meters from the source it will have X/100 20 meters from the source.

The analogy of the waves that another comment mentioned is a nice one (since we talk about EM waves).

Another thing that may help you understand that more power means that the electrical charge to the protons/electrons in the air where the EM field is transmitted will also be more.
Same, for kid's school. It's awful. Feels abandoned.
Obviously that can't quite be universally right, look at Brazil, look at Malaysia, India. Look at Easter Europe. It is pretty clear it can't be 5.7 all across the board.
Pipes wasn't a thing until v7.something or other. A bunch of lexical functions weren't implemented until then too.
UBI as payment for automation seems like a dream when you imagine getting free money/stuff. If you're the one that creates life-changing automation and now you have to pay more because you invented, it's a nightmare. A nightmare that discourages invention. The nightmare gets worse when you imagine that now a government with a history of incompetence, violence, and corruption is in charge of collecting and redistributing vast wealth. I wouldn't trust any person, and collection of people, or the populace as a whole to tax and redistribute that much wealth; it will bring out only the very worst people to want that power.
The lamentation that engineers are "paid too much" is about prohibitive housing. If you consider engineering compensation in terms of the lifestyle it buys rather than the nominal dollar values, it's a pretty normal college-educated middle class living.
God please don't make me use a non-zoom video conferencing tool!

I have used about a dozen over the years in my role as a consultant, and Zoom has been by far the most reliable. I’m hopeful lots of good can come from the scrutiny, but please Zoom get your act together so I don’t have to use some other buggy thing that doesn’t actually work.
add youtube videos of the tutorials.
> If an engineer from Microsoft has to speak to an engineer from Google, and you think they should both be dog-fooding their own video application... how do you see that working?

They could use a telephone. (Yes, they still exist.)

Edit for response:

Neither Google nor Microsoft forbid their employees from using telephones, and neither would even consider it. The assumption that they'd dogfood their own video chat platforms is obviously not a supposition that they'd ban telephones. Your comment frames the matter as though a third party video chat service is the only pragmatic option. Video chat was a fringe concept not very long ago, considered mostly to be in the realm of science fiction. Even today, inter-company telephone meetings are still common. Tech-fetishists working in this industry often seem to lose sight of the obvious time-tested solutions that still work today. I think a lot of people are earnestly forgetting that telephones still exist.
> I think as soon as they realize that the flash bangs are going to hurt them they're going to start ignoring them

What about something like bear mace then? Extremely unpleasant but won't kill wolves.
Hangouts is not that bad
Right, you still need to write derivative rules by hand for the primitive operations of an auto-diff system. Automatic differentiation provides composition, it doesn't solve the root mathematical problem of differentiating operations at the lowest level.

So yes, if need a new primitive to add an efficient CUDA kernel, you will probably also have to write its derivative manually too. JAX has a few shortcuts that occasionally make this easier but fundamentally it has the same challenge as any auto-diff system.
If you ever owned a desktop chance are you have one now. A lot of people skipped them and went straight to an iphone.
> The way it is described (workers have 6 days on, 1 day off)

That's not what it describes.

> Eighty percent of the workforce were told to go to work; 20 percent to stay home. The continuous week began as a five-day cycle.

Every day 1/5th of the workers were off. So that's 4 days on, 1 day off.
Not surprising at all. I'm also among them. Reasons are: 1. performant laptops are expensive. 2. If not for work, most of the time you don't need it.
The luxuries and toys got cheaper but many large essentials have gotten significantly more expensive on a cost/(hours worked) in most cohorts.

You used to be able to cover tuition and living expenses on a single part time job as a college student.

A single family household from a single high school educated worker could support a house, a car, children, a non working spouse, food and utilities.

Healthcare did not used to be this ruinously expensive.

Our TVs being cheaper, bigger and more colorful is cold comfort in comparison. It's great the tech, car, logisitics and textile industries has delivered more for less, but the rest have gone the opposite direction. Many would be very happy if they could buy a 1970s lifestyle at 1970s prices.
Standard practice for Google SREs in any serious outage is to communicate via internally-hosted IRC, since it has a minimum amount of dependencies outside of itself
Translation: Hi, I'm from New York or California, or maybe Seattle.
How do people feel about BlueJeans?
cool list.
I was once invited to the Google campus in Mountain View. The employee showing me around laughed in disbelief when I pulled out my Android phone to show her something. She said that she and all of her coworkers use iPhones.
U.S., UK cyber officials say state-backed hackers taking advantage of outbreak
Those people are also missing the point that not having types means you are inherently writing a slow program.
Apparently you don't have a dog or a child :)

I cannot stress enough how (especially) a standing desk needs to be super sturdy with children/dogs in the vicinity!!!
How do you sue the guy that shouted at you as they left the restaurant? Who stuck a defamatory sign on the electric pole?

I don't see why the issues these present should move responsibility to the restaurant or electric company, however.
There is certainly a huge YAGNI danger here. 10 people shops should read this, but keep their socks on.

I love the part in that other SRE book where they say to “keep it simple” right after describing probably the most involved, meticulous and vast set of software engineering practices of the last 10 years.

“Simple” if you have 10B+ in the bank and 1000+ engineers to run the show.