skysight-inc/HackerNews huggingface dataset:
The devices are conceptually great: just an android tablet with e-ink. The software is kind of low-quality. They're fun to use, and good for reducing eye strain while doing things that you'd typically do on a phone, laptop, or tablet, without limitations.

But... the devices are absolutely the most fragile electronics I've touched in 20 years. I've had two break on me in as many months, babying them and being incredibly careful.

The first one developed a line of stuck pixels within the first week of use. It happened while I was using it, which was surreal to watch. They replaced it, but I had to pay shipping, which wasn't cool.

The second locked up a few days ago. I rebooted it, thinking it'd be OK, but discovered that the capacitive touchscreen was not recognized. I'm not the only one. You can see dozens of people complaining about this here: http://bbs.onyx-international.com/t/boox-note-pro-capacitive.... Now I have to use the pen, which doesn't work everywhere in the interface (e.g. for reading PDFs, it's impossible to turn pages) and the device locks up after ten minutes. So I'll be sending this one back too, because I'm outside of the limits for a full refund. Maybe the third one will last more than a month.

Their design and quality control are horrific. The high price of the device only makes sense from the perspective of them having to replace everyone's device three or four times.

I hope e-ink screen having android devices become commonplace and onyx gets competed out of existence.
You have to make some assumptions if you want to "expand the quantifiers". In particular, you have to assume that the universe is non-empty, which is a really bad idea if you're commenting in this thread.
Quick and easy layout of Django forms using crispy-forms and widget-tweaks
> All numbers are conceptual

Agreed, neet to be precise here, so let's de-abstract away from numbers. Which is greater, 3 apples or 8 apples?

Now give me infinity apples. Finite apples exist, infinite apples don't except as an idea. Personally, infinities make me uncomfortable.
> I can confirm that min and max (for minimal and maximal, or minimum and maximum) are mathematically accurate terms.

This is true, but they do not have exactly the same meaning. On a poset you do not speak of "the min", but of "a min". You still have "the least", which is a different notion.
Yesterday it was claimed that the Fremont factory would still continue to work unlike all the other factories because they got some 'essential job' exception. That was interesting news, resulting in some political complaining, and this reversal is news as well.
Starting to feel guilty with what I do for a living
The set of tuples over a totally ordered set has a fairly natural total order as long as you accept the concept of precedence.
When they pass the laws that require us to keep our powered-on phones on our persons at all times, we'll know that they've perfected the Angel Teeth.
"Gov prints money to pay wages"

Isn't that's what's normally written in history textbooks shortly before "hyperinflation, economic collapse, failed state"
I've been trying to use it seriously for a bit....and while a lot is improved... so many of the features are half baked and awkward to use. It's definitely no tmux. It could be a lot better, but a lot of improvements are on the back burner and unlikely to be implemented for a long time. I tend to just use multiple old (but recently enhanced) terminal windows
Which is why I said "min makes sense for any set with a total order. Sometimes partial order too." There's no ambiguity for total order whatsoever.
A complete guide to deduplicating arrays in Swift
This seems interesting, I'll try during the week-end, thanks.
But floating point addition is commutative!

Even if it wasn't, floating point numbers are very often regarded as approximations of real numbers, where addition is associative. String concatenation cannot be construed to have any resemblance of commutativity.
Functional languages tend to elevate some mathematical ideals before concerns of practical safety, performance or just common sense.
Housebound Italian Kids Strain Network with Fortnite Marathon
Multiple calls are not realistic. You just can't do that while keeping track of records, taking notes, taking history, actually doing a consultation. If you want a "is my throat inflamed? Can I get a doctor's note?" you could maybe do a call with a nurse in 5min. But that probably the minimum possible.
That's mathematically equivalent to "y is a subset of x", which is obviously right. (Except for the wrinkle that y is a dict, not a set.)
> Typically you would use "least" and "greatest" (for a partial order) or "first" and "last" (for a total order).

This is just absolutely not true. It is certainly "min" and "max" for any total order, they definitely don't have to be numbers or even numbers with the usual ordering (as confusing as that would be with a set of numbers but the reverse ordering). "first" and "last"? I've never heard that.

I haven't worked with partial orders so much that I can be as confident about that, perhaps "least" and "greatest" are the correct terms. But "min" and "max" are certainly used sometimes by non-specialists (i.e. professional mathmaticians that don't necessarily spend a lot of time with posets) without any confusion.
Maybe it was an array of answers, lol
No it won't. What are we gonna do, stop buying from them? We are not their customers to begin with, hospitals' procurement departments are.
The debt-to-finance-stock-buybacks can also be motivated by differences in corporate tax rate. For instance, Apple made this move some years ago, borrowing money in the US (despite having money outside the US) to finance stock buybacks. Repatriating the money and paying taxes would have been more expensive than the interest on the debt.

A lot of these monkeyshines were stopped by the recent tax reform, which brought US corporate tax rates down to levels comparable with most of Europe.
Yes, indeed! Sorry, I was deviating from the Python order of precedence.
On rpi(at least rpi3) there is actually a debug point (a designated point on the board with some solder on which can be connected quite reliably) which allows for supplying power through it, while also taking advantage of all the power protection circuits that the USB port takes advantage of. It might be something you want to look up.
it was covered in episode #14:

https://www.ndr.de/nachrichten/info/coronaskript128.pdf

(page 2 of 5)
On france you have their biggest billionaire owner of some big brand names reconverting all it's factories to produce that stuff
> Why does an open source project has to be mutually exclusive to being a professional product?

It doesn't, there are plenty of open source professional products. This doesn't seem to be one of them though, as I would expect a company with for-profit motives behind it if that's the case. This seems to be a project that is merely supported by a company to support the development, which is also fine.
Coronavirus got to the Siberian-based IT company
I still run a Lync Server 2010 at home to chat with my wife using a MSN looking messenger. We used to chat a lot using MSN messenger and this is a way to hold onto it. I don't mind Lync at all!
You can already buy a Blackphone. Almost no-one does.

https://en.wikipedia.org/wiki/Blackphone
On my cynical days, I'd be inclined to grant the latter two. But do you have an example of the first?
I would imagine lots of people currently using public transport might be thinking their own car is a more reliable option than public transit which is probably about to close, or taxis which might stop operations.
0 and 1 are characters. The language of integers has an ordered 10 character alphabet. This is not unique among languages because it is a useful construct.

Similarly we could have said b < a is true but then it would always be true and a < b would be false and the world would be exactly the same because this is all a made up convention for the benefit of humans.
It blows my mind that people in the modern world can still think this way.
As a tmux user the missing mouse support was a deal-breaker. It seems like I have no excuses left to remain on mintty. :)
Sounds like an interesting possible world that might one day get built.

In the meantime, sounds like most likely outcome is the government hits CTRL C, CTRL V on Facebook/google’s user database and starts a China/Tencent style SQL dB on every American.

Or even more likely, this already exists and now the government can start using it more openly.
Lens – The free, smart desktop application for managing Kubernetes clusters
> I’m not saying we should protect these jobs by law or anything, but I question whether work that can be automated can't be fulfilling.

Thanks for writing this, I don't think it gets said often enough (or at all).
I am legitimately curious to see if you believe that the PI is suited to actual industrial applications in terms of its reliability (filesystem etc...) and low cost design? Maybe I'm defining industrial as something a lot more PLC based vs something akin to 'monitor the temperature in the warehouse' of course - when I hear industrial, I immediately think steel mills or manufacturing plants.
I would strongly hesitate to recommend the Pi for anything situation where 99% reliability (or above) was required unless I understood the domain back to front and could cover all the failure cases such as the expected operating environment ranges (temperature, power quality, EMI etc...).
HTTP thesupplementcop com/zeus-pills/
Zeus Male Enhancement
It tends to be a logical actuality that from a sexual perspective a lady's most touchy pieces of her womanhood are arranged at plan passage of her vaginal waterway. So for what reason does a man need a major penis when the nerves that are answerable for giving such a great deal joy are arranged right in the passage? Wind up being men a decent self image busting trip for sure? Do certain men feel that to have a major penis retail condition fundamentally they are genuinely progressively delightful to women. Something that they are glad to flaunt in light of the fact that? My investigations show that truly adhere to the improvement program for at any rate six evolving seasons. By doing so you can guarantee you the most extreme, lasting outcomes that an individual after.
http://thesupplementcop.com/zeus-pills/
https://sharktankdietreview.blogspot.com/2020/03/zeus-male-enhancement-pills-review-is.html
https://sharktankdietreviews.tumblr.com/post/612906245257658368/zeus-male-enhancement-must-read-ingredients
http://sharktankdietreviews.over-blog.com/2020/03/zeus-male-enhancement-where-to-buy-ingredients-price-side-effects.html
Detroit will only close when the COVID-19 death rate eclipses the murder rate, and that's gonna take a while...
It excludes people even temporary present in the apartment. So guests are supposed to be fine. If they are outside and their phone auto-connects, it is technically a breach, yes.

I asked about it and have in writing that the intention is to prevent sharing with neighbors. But I mean, there is no way to enforce it either way so ¯\_(ツ)_/¯
Do you mean as a result of the virus, or as a result of losing their livelihood and being plunged into poverty?
I still want to see mintty gain the ability to dock into Windows Terminal.
> i have never seen any indication that he understands as much as people freely give him credit for.

So your disregarding what every single engineer that work for him says. It seem like you are going out of your way to ignore evidence.

Elon is and was the Chief Engineer on the Falcon 1/Falcon 9 rocket. That is a fact.
My favourite example of "what the heck happened here" being vitrified forts - someone had gone to the bother of melting the walls of fairly substantial fortresses - nobody has a clue whether this was intentional or accidental:

https://en.wikipedia.org/wiki/Vitrified_fort
The US is having trouble making enough masks to meet its normal day-to-day demand for them, let alone the increase from a pandemic, because almost all the mask production has been outsourced to China and they're redirecting the entire output to local use. That's an issue and it's a reason why the US might want extremely substantial tariffs or even quotas on mask imports in normal circumstances.
i don't know if i would have made the same choices they made, but I've been developing websites since 2000 (so before one relied on JS for anything but sugar) and I prefer to work with the component model of things like webcomponents, react, etc than I do with plain HTML.

So it's not just about "i don't know how". I just think it fits my mental model better.
Why is she using PowerShell Core (v6) instead of PowerShell 7? This kind of shows that Windows Terminal developers are not that excited about PowerShell.

What's the relationship between PowerShell and Windows Terminal anyways? Which are you supposed to use for what? Are you supposed to run one within the other?
> chat apps other than email and centralized stuff

Emphasis added for clarification.
Well our female president Von Der Leyen snatched up a 80mill grant for cureVac in order to avoid Trump luring them to move and secure the covid-19 vaccine for US only.

Trump 0
Europe 1
I second this it seems more and more like massa hysteria. 8.000 people died on 7.7 billion people.

Its crazy to pull the handbrake on the economy. 99% of the people that died were going to be death in a year or 2 anyway.

Have you heard about that school class full of 6 years old kids in Italy that died last a week?

Didn't happen but when it happens we do not have this options anymore. Old people die and thats life.
Well Germany has been so fortunate as to be a member of a currency union, where they are the leading industrial base, thus giving them a artificial low currency as an advantage as well. This helps manufacturing quit a bit.
What file format do the Sony's use? Is it cloud-based like the ReMarkable or can I manage the files myself locally and copy them over USB to my computer?

I'd love to have an e-ink tablet for hand writing and sketching ideas, but I'm not crash hot on it all being locked in to some closed ecosystem.
Are you quoting people from an actual conversation, or setting up a straw man to justify draconian actions based on limited data?
Even more worrying about this is the downstream effects this will have if they are forcing major manufacturing centers to go idle.

I’m involved with a small manufacturing company that makes highly specialized components for capital equipment and production lines. Combinatorics of the options (and being able to offer replacement parts for everything we have sold for nearly 30 years) mean these parts are made to order from raw materials, so we cannot easily stockpile a few and shut down manufacturing.

If we lost most of our business, we would be forced to either close or charge $20k for a normally $100 part when one breaks in someone’s medical supplies manufacturing line (Breakages go up drastically when you suddenly switch to 24/7 operation). Even if we didn’t directly loose business, we could still be crippled if we suffered equipment failure, and the makers of the equipment were not on someones ‘critical infrastructure’ list to obtain replacement parts from.
It is a lonely path. It's a bit frustrating because others just won't relate to you. People often talk up to you -- I've had classmates I used to hang around at the school ditch call me Sir. Or another large group assumes you don't have problems because you have money. I've tried hanging out with other entrepreneurs, but many are either wantepreneurs or sociopaths, and it's just incredibly frustrating. A lot of people in actual entrepreneur mode are focusing on their business, and keep cofounders as social anchors.
Facebook is flagging some coronavirus news posts as spam
I think it's just about what's politically feasible. Some infrastructure and historical precedent exists for closing borders between nations, even within the EU, but not between US states.

For limiting the spread of the virus, it would be better to close borders between states or even counties.
I don't disagree. Try to mute your "mathematical thinking" for a second and read it as an ordinary person, with a focus on practicality. It just doesn't look right.

If it did look right to me, I wouldn't be sitting here typing this all out. I would be silently agreeing with the mathematical point of view.

That's what tells me this is a likely source of confusion and error.
New coronavirus can persist in air for hours and on surfaces for days – study
> Most modern processors don't deal with memory in word sized chunks anymore

ARM does. That is a very modern processor in very wide use.

Linux hides this from you by trapping illegal memory accesses and handling them in software. Instead of a crash, you get abysmal performance if you do not align correctly.
The reason it's like this on python has nothing to do with philosophy and everything to do with algebra. The mathematical terminology sadly escapes me but essentially for each operation you want there to be a value such that application is a no-op. For addition this is 0, for multiplication 1, for and it is True and for or it is False. You want the n-ary versions of the operations to return those values for the 0 arity case. So sum([]) = 0, all([]) = True and if there was one product([]) = 1. This makes the mathematics very uniform and beautiful.

Lispers know this implicitly. You know they say learning Lisp makes you a better programmer? This is an example of that. Raymond Hettinger and many of the Python authors are Lispers are heart and this is obvious to them.
You're confusing numerals with numbers. Numerals are what we write down "0" and "1" are numerals - just marks on a sheet of paper or phospor until interpreted by the human mind.

Numbers are the underlying conceptual thing.
Is it possible for the number of cases counted to go up simply because more testing is occurring, while the number of people with the virus has leveled off?
Windows desperately needs a decent terminal. The parody used in cmd or the Ubuntu app is ludicrously bad.
It's $300 at minimum, and usually more than $400. Of course "terribly expensive" is a relative measure, but I borrowed it from a discussion of the Odroid forum: https://forum.odroid.com/viewtopic.php?t=35941
It's just what you've responded to. I've literally got 90% baby yoda memes, I'm not even kidding. The 'for you' is algorithmic, not curated by mods based on beauty like it seems TikTok was.
I didn't upvote but I read the first couple of chapters as a draft. They were pretty good, so I think I'll read the rest of the book.
Australian PM says: “Stop Hoarding” amid Coronavirus announcements
OPPO does not allow children under 8 to top up on their phone's games
A terrorist is whoever the government says they are, I think it's time for us to wake up to the reality of things.
Wow, thanks! That is really bad. I just spent several minutes unsuccessfully trying to get past the front matter. There are also lots of weird text positioning glitches in their SVG (!) version of the book pages.
This Page Intentionally Left Blank
> What's the relationship between PowerShell and Windows Terminal anyways? Which are you supposed to use for what? Are you supposed to run one within the other?

Seems quite clear to me. Powershell is a shell, while Windows Terminal is a console. Windows Terminal can run any shell, such as Bash, Powershell 5, Powershell 6, cmd.exe, git shell, azure shell, etc.

Instead of each shell having its own console implementation, you have one, Windows Terminal.
Using AI Chatbots Support the Pandemic Fight
Deploy and Ethereum Smart Contract in 6 Steps
Oh, I think I wasn't careful enough with my language.

I meant that the common ordering on tuples is reasonably natural. Not that it is necessarily the One True Natural Ordering.

About lattices and partial orders: if there's a choice about what to pick as the default ordering for some built-in datatypes for your language and there are multiple reasonable choices, going with the total order seems like a good idea.

To give a counterexample: functions from natural numbers to an orderable set have a well defined, reasonably natural order, just compare them like as if they were a list of elements of the orderable set. But that would be a bad idea in a programming language, and it is indeed better to just treat functions as incomparable by default.
Knowing the actual CFR allows us to set the right policy. The seasonal flu has a range of 0.10 and 0.015% CFR. At what point do we shut down society? 0.4% 0.6%?

And I know this will get me down=voted, but what if COVID-19 is everywhere already and it turns out the CFR to be close, or even lower than influenza?
Is it reasonable to track everyone's detailed location during a pandemic though? What purpose does it serve in the absence of good molecular testing info, which would be an even grosser violation of privacy?

General levels of social distancing can be gleaned without phone location info. All you need to do is have police drive around and look.

The problem with requests like this, for detailed phone data, is that everyone can imagine vague benefits in the abstract, and wants to be helpful, so you're more willing to cede protections of privacy (which are ultimately protections of liberty). But those vague abstract benefits don't necessarily translate into actual benefits if you think it through.

I don't see anything necessary about phone surveillance at this time whatsoever. What is necessary is mass testing.
Fujifilm shares jump 15% on China coronavirus drug trial boost
you can use anything in terminal: bash, cmd, powershell
coz baby yoda memes are considered as "cute" by moderator ;) and by no means a baby yoda seems ugly for anyone ;)
So evaluate (1, 2) > (2, 1) = ??? and tell me what ??? is, and why. I claim '>' is natural for 1 apple vs 2 apples, it is not natural for tuples unless you, as you say, suppose that the first in the tuple is more 'important' than the second WRT comparing. I mean I can accept that as a handy add-on, but it's not intrinsic - that's why lattices have 'incomparable', for just such a case.
Bundeswehr-Laptop MIT vertraulichen Dokumenten auf eBay verkauft – DER SPIEGEL
That’s nonsense and borderline racism.
This comment is the proof that Corona is our generation’s Gravilo Princip. The most likely first order consequence is a lot of dead people but it’s the second and third order consequences that scare me the most.
You can already smell the thirst for blood and the need for escape goats.
U.S. crude prices fall to 17-year low as coronavirus spreads
Andreessen vs. Thiel (2017)
I'm playing with it. I don't like the "middleware" plugins, but after more research, since it's all Ruby, I managed to put a tweak into my Vagrantfile to force my order of execution (plugins vs. provisioners).

The startup of the vagrant CLI is sooo damn slow! It takes seconds to print help... That's my major problem with it.

I'd rather see something more lightweight, but this gets the job done quickly.
I think we can certainly agree on this. Thanks.
But do you see what’s going on here? You, the shareholder, are basically using the company’s credit to leverage your other investments.
It doesn't work any different for the clients, but it may have different features enabled on the backend. For example Google does live transcribing of the conversation on meet/hangouts. Where does it end up with/without hipaa may be significant.