skysight-inc/HackerNews huggingface dataset:
Because I wondered, it’s not a trick:

x = 0.444444...

10x = 4.444444...

10x - x = 4

9x = 4

x = 4/9 = 0.444444...
Ask HN: What new skills have you learned since shelter-in-place started?
We don't know yet when could COVID-19 pandemic ends, so picking up a new skill or learning a new programming language/technology could be worth the use of your time. What new skills have you learned or started learning so far? If you are a developer, what learning resources do you recommend?
>Why not hide it?

Integrity.
I think the 'logical solution' to the fermi paradox is we actually have no clue how common the emergence of life is since we only have a single instance of it to study. It could well be so wildly improbable that the other terms in the equation (e.g. earth-like planets being very common in the universe) become irrelevant.

Another solution I think plausible is the "Rendezvous with Rama" scenario. We assume that we are very important so naturally the aliens must be interested in us, but what if they aren't? What if they don't give a shit about us and have better things to do than play with some bald monkeys?
Or they were aware, and they conclude that someone's behavior as a homeless 17 year old has little if any bearing on their aptitude in running a company 30 years later.
Classic memetic hazard. Almost as potent as post-modernism.
* Brussels
* Kortrijk
* Prostějov
* Prague
* Mannheim
* Marbella
* Nîmes (FR)
* Nice (FR)
* Cannes (FR)
* Roubaix (FR)
* Marseille (FR)
* Toulouse (FR)
* Yvelines (FR)
* Warsaw
There are other reasons why people live in major cities. Also with family and friends it is easier said than done for most people.
My personal experience is that people want to argue from intuition about what 0.9999... means, and when you try to make it precise they say that it's obvious. Then they derive all sorts of nonsense and conclude that mathematics is all rubbish.

If someone really wants to understand it then I'll explain current mathematical thinking, including non-standard analysis and the surreals. But most people don't want to put in the work to understand how these issues have been resolved, and just want to argue from their intuition.
http://www.msnbc.com/msnbc/life-prison-selling-marijuana-peo... (after a 5s google) suggests you're wrong.
Furthermore Amazon has warehouses all over the world. I see a product on the US site, I order it while in Greece, it ships from Germany or UK. Ordinary e-commerce can't provide that. If I order a product from a US based e-commerce firm I'll end up paying custom fees. Google's intervention doesn't provide any facilitation in this aspect.
Are you suggesting this founder should have been more public about his past? Based on what is being reported he seems to have pulled himself up by his bootstraps and made something of himself under terrible circumstances. He has clearly done good and that is what people will judge.
His bad decision doesn't define him, yet you would have him tell everyone so that he reaches your bar of being "open and remorseful."
If a KKK recruiter and organizer can eventually renounce his past and go on to have a 50 year career as a legislator in DC, why can't this guy put his past behind him?

https://en.wikipedia.org/wiki/Robert_Byrd
Aanecdata I know, but I have a couple of young nieces (7 and 11) and they are definitely as addicted to smartphones (/iPad) as you can reasonably get.

Edit: Observing their behaviour, and my own (and other adults), I'd speculate that they are inherently addictive rather than simply new and shiny (I don't view them that way any more). To be honest, I find this pretty self evident.
I agree. I will paraphrase this as - a well designed language should be usable, at minimum, from a pure text editor, and should not put unreasonable burden on an IDE.
"Direct connections to the KKK" ? Did you read the article or his statement? He was 17 and fell in with white supremacists after/during an abusive childhood. If you want to dispute this account, fine, let's hear it. If you want to claim Banjo is otherwise an evil company, OK, it may be, but that's a separate point. But claiming that this episode as reported constitutes a direct connection to the KKK, and implying it's ongoing, is off the mark.
I generally agree, but 3 is in abeyance right now; I'm getting faster delivery times from other places. And regarding 2, Amazon has been training me for a while (via slow-ship discounts and the Amazon Day thing) that I don't need everything right away. I don't know about everybody else, but that has definitely made it easier for me to try out other vendors.
The Pragmatic Design Manifesto
(author here) I didn't know about that one. I use http://twt86.co/ (no music there too, sadly) On both websites the performance is rather bad, but that is something that time will solve for us :D
Why can't you accept that? People change and people can still be afraid that if everyone knew what they did as a teenager they'd be attacked relentlessly. Lying is exactly the correct thing to do when living in an unreasonable world.
class Range g => FunctorTo f g | f -> g where
fmapto :: Callable c => c a b -> f a -> g b

is how you would define that class of types in Haskell. It says "If g is a range, then a pair of types f and g satisfy the FunctorTo interface[1] when knowing f determines g, and there's an implementation of fmapto with this type".

Maybe D needs typeclasses. This thread has certainly put me off of D, because being able to write down types is really quite important to me.

[1] The Haskell class keyword is defines something closer to an interface than an OO class.
Right now I suspect that I'm living in an epidemiological model with entirely unreasonable parameters.
"yes but 1/3 does not equal .333... it's just an approximation since there's no perfect way to represent 1/3"
There is no "after infinity".

You can justify the idea by defining a decimal representation of a number x as a vector x_2, x_1, x_0, x_{-1}, x_{-2} ..., with x_n ∈ {0, 1, ..., 9}. Negative indexes are digits after the comma, positive indexes before the comma. You can recover the original number simply using

x = \sum_{n=-∞}^{n=∞} 10^n x_{n} (1)

(this sum always converges as long as x_n = 0 when n > N, for some big enough N ∈ ℕ).

For example, the number three is represented by x_0 = 1, x_n = 0 otherwise. 0.9... is defined as x_n = 0 for n >= 0, 9 for n < 0. Now, by using limits, we could recover the original number using the formula above. However, we can do it without them. For that, we define just enough operations for the proof.

1. If z = x - y and for all x_n, y_n we have that x_n >= y_n, then z_n = x_n - y_n for all n.
2. If z = 10x, then z_n = x_{n-1}.

For the first operation, in order to be rigorous, we need to ensure that if z_n = x_n - y_n in the same conditions, then z = x - y. The proof of this part just consists of plugging the recovery formula (1): z = \sum 10^n z_n = \sum 10^n (x_n - y_n) = (\sum 10^n x_n) - (\sum 10^n y_n) = x - y. We can perform all those operations as we are guaranteed that (1) always converges.

Now, let y = 0.9... defined as in the example above (y_n = 0 for n >= 0, 9 otherwise), and let x = 10y (therefore x_n = 0 for n > 0, 9 otherwise). Now, define z_n = x_n - y_n, so that z_n = 9 for n = 1, 0 otherwise, which yields z = 9. As we demonstrated above, this implies that z = x - y, therefore 9 = 10y - y => y = 1, so 1 = 0.9... .

PS: I don't think one can make a proof without at least using some bits of limits to be able to switch between decimal representation as a vector and the number itself. However I don't think it's a problem, because you need the same bits to be able to talk of "0.9..." as a well-defined number.
> Wireless headphones are a solution to a manufactured problem, because Apple started removing the headphone port, and everyone copied them, as they always do. Now everyone is selling their own crappy AirPods.

I wear wireless headphones all the time when I am working in the yard, garage, garden, organizing my outdoors gear, cleaning my house, doing laundry, etc. I used to wear QC35s but they are hot (particular issue if you are mowing the yard) and top-heavy. I disliked the aesthetics of AirPods and the fashion-y aspect of wearing them in public, but when they gained noise cancellation, I bought some and now I use them all the time. Battery life sucks, but the overall experience has been excellent.

Prior to this, I had some $40 jbuds wireless earbuds and they were not bad, honestly. They were a little heavy and the sound quality was not great, but they were a great proof of concept that gave me the confidence to drop the money on the airpods pro. I still use the QC35s when I'm coding.
C++ constructor:

OAbstractpatterndecoratorproxysingletonfactoryfactory::OAbstractpatterndecoratorproxysingletonfactoryfactory(){}
I believe they didn’t like the idea of people setting up notifications to received Trump tweets and deleting the app
> Is Google really all in on product search? Their product search is pretty bad at the moment and it's a very challenging search space, esp when you work with tens of thousands of retailers.

Honestly, Amazon's own product search is pretty terrible too, unless you're searching for a specific name-brand product. Google might not even have to be very good to be competitive.

The best product search I've actually found is NewEgg's (for computer parts, specifically). They're the only one who's collected enough accurate product metadata to facet their results effectively.
Couldn't you formulate a problem for extreme decimal-place accuracy based on the multiplication of errors in a physical process that's repeated in ways that multiply small errors into bigger ones?
So does this mean that an infinitely small number is zero? As in 1/∞ ?
Regardless of the constraint on the key, the design fact remains that deleting a user record that might, for example, have associated transaction data (like subscription payments) is a little complex.

You don't want to cascade that deletion to a record of credit card charges, but you also need to make sure that all queries respect that the user record might now be deleted - ie make it an outer-join.

It's far more robust to add an active/inactive field.

The longer an organization has been around, the more interconnected the database is, and the more consequent changes are needed to accommodate a core database change.

I would be surprised if many many organizations have some hack like this under the covers.
I use Pascal as better C
If it’s information publicly sed to try to garner sympathy, then ensuring its accuracy is the public’s business.
None of my friends outside tech circles have heard of "The Dash". They all know and most of them bought or want AirPods. An estimated 60 million AirPods were sold in 2019, nobody else in the category comes close.
Okay, I understand what you’re trying to say. I accept that the proof does not define what “...” means formally, and that is the problem you have with it. The infinity is understood implicitly to have the property that the 9s never end. In that sense, I think the proof does make use of limits, it just relies on definitions not written as part of the proof. Isn’t that okay, doesn’t that actually happen very often? The proof also doesn’t define what addition, multiplication, and equality mean either, but other kinds of mathematicians might complain on those grounds. How complete is complete, and what is the purpose of a proof if not to demonstrate a truth economically, relying on, rather than restating, the already laid foundation? How could this particular proof be shown to have weakness or fail before adding rigorous definitions of limits? Would it be any more apparently true to a wide variety of mathematicians and students if it had the type of rigor you’re advocating?
Since the term computer and its usability has been known recently (few hundred years, it seems fair.

What about before this "computers" ? Universe cannot be run in computer-simulation if the term is not known before that.

Later if something else comes up, we might believe, its "that" technology
I have this in my ~/.bashrc:

declare -A TMUX_SSH_COLORS_TABLE
TMUX_SSH_COLORS_TABLE=( \
["server"]="fg=yellow bold,bg=black" \
["router"]="fg=red bold,bg=black" \
["desktop"]="fg=white bold,bg=black" \
)

function ssh {
trap 'tmux select-pane -t:. -P "default"' RETURN
for arg; do
local arg_value="${TMUX_SSH_COLORS_TABLE[$arg]}"
[[ -n "${arg_value}" ]] && tmux select-pane -t:. -P "${arg_value}"
break
done
/usr/bin/ssh "$@"
}

On my laptop, `ssh desktop` will switch my tmux colors and then when ssh dies/quits/etc I go back to the default color scheme.
It’s fine to point out it’s questionable. Both of you were just throwing at one-liners with no substance like you’re fighting on a playground. I rarely downvote and thought about downvoting him but I decided to search to see what he might be talking about. You didn’t even look at my links, otherwise you would’ve known the first one was talking about a DNA study. Yes, as far as I can see it was very much up in the air, but I don’t think I should be downvoted for explaining what he was referring to.
Mind Control and Brain Machine Interfaces
https://youtu.be/tgnq9jPIHJ8
https://youtu.be/62s3FinAoC0
https://youtu.be/J36xPWBLcG8
It still exists today, now its called "Micro Focus Client for Open Enterprise Server".
If the name "Nexus" made you dislike things named "Pixel", what name would have worked better?
Yep. Until you threaten someone willing to stand up to it, even if it is expensive.
Yet tmux "captures" the middle click and decides to do nothing with it (instead of pasting the text, as correctly happens within vim).
To rephrase this then: your additional work may improve your product only a little, but it may be enough that it can now compete in the market. If it's a winner-takes-all market, a slight improvement in quality may be especially consequential.

edit I think this might model the success of Slack. Which chat program should we use? There are lots of free ones and they're all about the same, but Slack has slightly better polish than the rest and is easy to set up. Let's use that. If that conversation happens in tens of thousands of organisations, you take over the world.
There's plenty of other places where people are living much denser: https://en.wikipedia.org/wiki/List_of_cities_proper_by_popul...

Monaco's density is higher, and it's considered a paradise:

https://www.infoplease.com/world/population-statistics/popul...

And many people can and do take vacations. In fact, that's how coronoavirus entered gaza -- from someone returning from Pakistan on Vacation: https://www.geo.tv/latest/278852-gazas-two-confirmed-coronav...
Yup, but now #16 is no longer true. IMHE has entered the re-opening fray, and is setting target dates based on when they think we'll be down to fewer than 1 infection per million. It seems that it's driving public policy, and it's kinda ridiculous.

Decay seems to be very slow even in the jurisdictions with the strictest controls. (I do think the hardest hit jurisdictions may show something close to symmetry).

The disease is probably circulating in some subpopulations with Rt near or even above 1.0. Even if overall we're showing decay, those groups can continue to grow...

I also really, really, really don't like that if the peak is in the past, the model webpages claim that it predicted it perfectly; when really the webpage is just looking at the history.
You're free to fact check what I said, but please don't make an argument from ignorance. A QoQ difference is hardly as impactful as multiple YoY changes.
I thought kingjames was going to refer to James Gosling.
I remain unconvinced. On some level the logic is sound. On the other hand, reminds me of the arguments by Saint Augustine and other philosophers "proving" the existence of God. Centuries later, we look back at these arguments as cute, naive attempts that probably sounded very clever at the time. I feel like we'll look back at these "we're living in a simulation" proofs the same way.
Unfortunately, I've found at my previous employer that JSDoc is incredibly limited and fails at some basic structures, has very limited generic support and will not understand "advanced" structures like type mappings.

Re-using types (structs or union types) is also a huge pain.
It's not the size of a VHS machine, but only the size of a VHS tape, which is relatively small... about the size of a couple of large smartphones stacked on each other, or a paperback book.
Is this problem simpler than we want it to be? Meaning 1/3 is a concept stating there is 1 part of 3 total. If you have 3 total parts, added then it is a whole. Trying to shoe-horn it into the decimal system, similarly to try to represent pie as a clean number into the decimal system etc. Isn't the issue representing the number in one for and another, not the actual logic of the issue? idk
I see this link has been submitted time and time again to HN, almost without exception without attracting many comments. Occasionally it gets a "not this again!" and "I hoped it would raise new arguments".
I've not read Popper directly, so I'd be interested in his actual argument on this.

But, I wonder if you can describe H1 as being a stronger hypothesis than H2 by virtue of withstanding more and higher quality attempts to disprove it?
Most bytecode isn’t optimized much.
You're misusing the word "disingenuous". The author has no ill intention of being insincere.
Meanwhile: https://techcrunch.com/2020/04/28/shopify-launches-shop-a-ne...
It's the smallest number bigger than 0.
Wouldn't they also need to replace saved billing details, like address and full name, to anonymized garbage?
That one is really amazing! I still don't understand how this didn't win the "Meteoriks" award (my "hypnoteye" did https://www.pouet.net/awards.php#2015tiny-intro )
Sadly, Baudsurfer has not been "around" for quite a while now ...
PyDP: A Python Wrapper for Google's Differential Privacy Project
What _is_ unique about AirPods?

All I can come up with is the look. These ones from Google look way different. Are they really clones in some way?
NEU has some really great people in CS, who could hold their own with their counterparts at the better-known schools in the Boston area.

I've also heard some good things about NEU cybersecurity.

I'm not familiar with the other departments.
My friend, I'm sorry, but you really think this explains anything? As others have pointed out in this thread, this is for people who want this to be an understood phenomenon and are willing to turn their brain off to get there. Navy pilots can recognize planes and balloons, they aren't wowed and mystified by such objects. This video is just weak.
You might not want to hear it, but those that were fired recently were using their company email address to organize union discussions. You just can’t do that, no matter how justified one is to pursue unionizing.
Apparently it is a common Go pattern to discover which interfaces a type implements.
Yeah it sounds like the typical JS-is-bad circlejerk.
every country seems to be prioritizing lives, freedom, and economy in different orders.
Ooh, this is nice! No more having to read wasm2wat’s mildly annoying format.
LibreOffice Base has the exact same feature, FWIW. You can access it by opening the Tools -> Relationships window. It's nothing special, even Access used to do this just fine.
China starts major trial of state-run digital currency
And for the bonus - changing your language at the bottom takes you back to the home page rather than staying on the screen you were looking at.
Sometimes when reading a long passage in a novel you need a reminder who "he" is.
Posting facts?

I guess if you don't praise the hot new startup from sv it's downvoted central.
Honestly, the stories i've ready about how difficult it is to cancel your NYT account are a contributing factor to why I don't subscribe. I love NYT, but if it's not as easy to cancel as it is to sign up then count me out.
Email is an inherently insecure medium. If an attacker can compromise the DNS responses for your mail server, you're hosed.
> For the same reason that 0.9...7 isn't a meaningful number, you cannot move the decimal 'an infinite number of times' and then after this, look at what number you have left and see it still has infinite 9s left.

Yes you absolutely can, for exactly the same reason. 0.9bar7 is nonsensical precisely because you can move the decimal to the right an infinite number of times, and still have an infinite number of 9s before the 7.

> You can only move the point a countable number of times

Not true, the implicit definition of “...”, the very statement that there are an “infinite” number of 9s, means exactly the opposite of what you claim, it means you can move the decimal an infinite number of times.
I used screen for like 10-15 years. Two years ago, I switched to tmux because of some rough edges with screen. I can't remember what they were now, I think something to do with selecting the correct terminal type (TERM=screen? TERM=xterm-256color? TERM=screen.xterm-256color?). Something went wrong, and I couldn't fix it.

Normally, I try to keep to the application's defaults for portability, but the screen key-bindings are in my muscle memory. I was able to migrate to tmux almost seamlessly with just a few key-bindings in .tmux.conf, which is reproduced below in its entirety:

(Edit: formatting)

----

# Remap prefix from 'C-b' to 'C-a' (compat screen(1))

unbind C-b

set-option -g prefix C-a

# Send C-a: 'C-a a'

bind a send-prefix

# Flip to previous window: `C-a C-a' (compat screen(1))

bind C-a last-window

# Make C-n and C-p act like 'n' and 'p' (compat screen(1))

bind C-n next-window

bind C-p previous-window

# Make C-a C-[ act like C-a [ (compat screen(1)

bind C-[ copy-mode

# Change background color of status line from green to yellow for readability

set-option -g status-style bg=yellow

# Increase scrollback to 5000 lines from 2000 default

set-option -g history-limit 5000

----
Reducing the size of a Rust GStreamer plugin
Harry Reid was U.S. Senator of Nevada, where Area 51 is located. He was one of the most powerful people in Washington D.C. as Senate Majority leader for a decade and a member of the Senate Intelligence Committee. He was in the best position to know everything about UFOs, captured alien craft, and reverse-engineering alien technology. Here is his statement on Twitter:

"I’m glad the Pentagon is finally releasing this footage, but it only scratches the surface of research and materials available. The U.S. needs to take a serious, scientific look at this and any potential national security implications. The American people deserve to be informed."
Yes, this is what C++ concepts are supposed to solve: https://en.cppreference.com/w/cpp/language/constraints
Offset timezones (e.g. UTC+2) don't change, what changes are local timezones (e.g. Europe/Rome).

For example here Turkey decided to change daylight savings time: https://github.com/JodaOrg/joda-time/issues/403 (if you have a look at the tzdata database you will find more, this one I remember because Turkey went back and forth about this).

If your timezone database changes you cannot retrieve the original wall clock time, unless you have a temporal timezone database and remember the date of conversion to UTC.

And if you used offsets instead of local timezones to begin with, you cannot even infer which offsets to change unless you have location data saved as well.

Here is a blog post by Jon Skeet https://codeblog.jonskeet.uk/2019/03/27/storing-utc-is-not-a... where he says:

> For me, the key difference between the options is that in option 3, we store and never change what the conference organizer entered. The organizer told us that the event would start at the given address in Amsterdam, at 9am on July 10th 2022. That’s what we stored, and that information never needs to change (unless the organizer wants to change it, of course). The UTC value is derived from that “golden” information, but can be re-derived if the context changes – such as when time zone rules change