skysight-inc/HackerNews huggingface dataset:
>Why so complicated?

Because ifinity is complicated.

>Just ask them to do i++ and never stop. That is also infinity.

What, specifically, is infinity here? You are being vague here. Is it the process of counting up and never stopping? (that's the calculus infinity) The number you get in the end? (that's the infinite ordinal, but that is, as you noted, complicated) The number of numbers? (that's the cardinality of the set of integers)

Note that you can't say that the infinity is all that. The infinities I defined here are all radically different notions!

>In simpler words, imagine you have a table than you put one apple to it, then one again .. and never stop. [..] they would also soon understand that the table needs to be infinitely big

That's another infinity here - we're talking about size of geometric object here.

For starters, what happens if each next apple is half the size of the previous one? (Your assumption is false then!).

With equally-sized apples, it's still close enough to the notion of cardinality.

The problem with this explanation is that it doesn't help understand the nature of infinity, so it's not an explanation really - but a good start.

Some questions to explore from here:

1. Do that process twice. Now you have two infinitely big tables, but each has an end. Put them together end to end. Did you just get a longer table? Are there more tables on this combined table than you had on just one table?

2. Perhaps after you're done putting apples on the table, you realize that one apple rolled under the table. The table is absolutely full, but you want to put another apple on it. What do you do?

3. You find a pile of apples, each having a label consisting of a rational number on them. You notice that no two apples have the same label. Will they fit on the table? Can you put them without removing any apples already them? (The answer here is, mind-bogglingly, yes!)

4. Same question, but now the labels are infinite strings. (The answer is no, by the way, but it's by no means ovbious![3])

Etc, etc, etc... Essentially, Hilbert's Grand Hotel[1][2] with apples. I highly recommend reading this to get a decent understanding of one of the infinities.

[1]https://medium.com/i-math/hilberts-infinite-hotel-paradox-ca...

[2]https://opinionator.blogs.nytimes.com/2010/05/09/the-hilbert...

[3]https://en.wikipedia.org/wiki/Long_line_(topology)
I agree. Cardinal numbers (and bijections) are probably easier to start with.
If we're going for useful lies to tide kids over, I quite like the explanation in the Postgres docs:

> infinity (date, timestamp) later than all other time stamps

I think you could tell a kid who wasn't quite ready for Aleph numbers that:

> infinity is a useful made-up number that's bigger than all other numbers

Which is useful when kids first hear about it, I guess.

I think my first "practical" introduction to infinity came with "Space is infinitely big", and both mjd's explanation and my own fails at that point.
> countries with large sober populations (majority Muslim countries?)

Closet drinkers. Pay enough money and you can get alcohol everywhere, including booze parties in the midst of Teheran. It has been covered e.g. here: https://www.independent.co.uk/news/world/middle-east/drunk-i...
Those benefits you're describing are the result of a writing a contract, not of embodying the contract in a digital construct [edited for clarity]
I don't understand this explanation, and I'm an adult with an interest in mathematics and a degree in software development (although not mathematical per se, they usually go hand-in-hand). I like how "w" is the smallest number you cannot count to - if I understand it right it's almost 0 but not quite - but I don't understand the bonus questions and answers.

If this is the best "explain it like I'm 5" explanation of infinity, I believe I can think of a few examples that give a better idea of it. Heck, even the concept of "never ending" seems simpler to me. "Never ending" + 1 is still never ending.
I like the concept, but if I may editorialize, I feel the phrasing needs work. "The smallest number you can't count to" is a negative statement, which makes it confusing right off the bat.

What do you mean, a number I can't count to? If I'm 8 years old this is like throwing a null pointer exception in my brain.
Sony already has an API and there are a few third party Android apps using it: https://developer.sony.com/develop/cameras/
Full of great stuff. Your photography is sensational. I think the masonry style suits it very well here, but I understand wanting to shake things up.
The rule of thumb that I go by is that in order to add a new technology to a stack it can't just represent an incremental improvement: it needs to be a 2x improvement in productivity or (even better) it needs to make it possible to build something that isn't possible to build without it.

The cost of introducing new technology (in terms of training, tooling and now-you-have-two) is so high that it's just not worth it if it will only incrementally improve how things work at the moment.
Hey bdagnino, we definitely need to work on that :)

Tape is a video-based communication tool for remote teams using the story-format for consumption. Starting a tape is as easy as sending a snap (with a subject line), replies are threaded inline (think email meets stories) which results in clearer communication and better team chemistry as you get more "face-time" with your remote colleagues.

Currently, organizations with remote teams use Tape for elements of agile (stand up, retrospective, sprint planning) as well as meeting replacement (time shifting meetings to asynchronous video instead of struggling to coordinate live calls across time-zones) and for overall communication. It is deeply integrated into Slack which fits into most workflows.

I'd love to chat more about how we can help your team! (dave [at] trytape.com)
Show HN: Built a tool for better one-on-one meetings
> I finally understood that real numbers are the same thing: tuples. They just happen to have exactly one element, hence we omit parens and everything else and just write that element (number)! Complex numbers have 2 elements (real and imaginary). Quaternions - four. And so on.

Yes, but if you go too far with thinking this way it becomes easy to confuse complexes, quaternions, octonions, etc with 2-,4-, and 8-dimensional vectors. The additive and multiplicative behavior of complexes, etc changes in increasingly pathological ways as you increment the dimension. This is not the case with vectors.

In many cases you can safely replace R^2 with C. But there are specific cases where you cannot, because treating the complexes as just a pair of real numbers doesn't work the same way as if it was just a vector. Differentiable functions come to mind because they behave differently in R^2 than C, and when you're working with rings (instead of fields and vector spaces) they are also different. In a lot of places the isomorphism between R^2 and C is actually a happy accident rather than a definition.
> A meme is anything that traverses socially.

Even if that's a sufficient and satisfactory explanation, it doesn't address either the claim of TFA, or parent's question.

What app do you use to traverse socially ... ?

Text overlaid on an image is not inherently a meme - even if the bot that made it shares it on instagram.
How we will evolve?
I think Conway and Guy's "The Book of Numbers" might be a better source. It's more focused on infinities as different types of number, and certainly at a more suitable level. ONAG is quite a technical book; children don't really need to know that the surreals are the universally embedding real-closed field.
The slight tilt. Brilliant.
Sure. What is your point?

EDIT: I guess i'll respond to your edit with another edit. I understand your point, that you can say the same things using a traditional contract, but they don't have the same force. For example, the smart contract can automate and execute the disbursal of funds based on the attestation of some pre-defined oracle. While it's true that this oracle is not decentralized, it is now isolated and scoped. It's role is proscribed to solely this - attestation, and everything else is actuated around that oracle, in a secure and trustless way. I believe that the ability to circumscribe and scope responsibilities in a computational way has valuable benefits, insofar as it commoditizes and modularizes the processes involved. I think of it like a shipping container. Shipping containers commoditize and modularize shipping. Smart contracts commoditize and modularize adjudication.
It's very difficult to contort the causal arrow from the obvious explanation (that sick people don't use saunas very often) to less obvious ones (that saunas stimulate something in the heart to improve cardiovascular health). But boy, do they try.
If you could avoid certain pipes it could only help security. Even with the security of TLS, that doesn't prevent state-level actors from observing meta data with the advantage of internet-wide timing data, which could be useful for say, analyzing TOR traffic.

Not a crypto expert but doesn't trusting TLS imply trusting root certs on your PC? Regardless, the Snowden leaks showed that internet traffic can be modified to contain harmful payloads for targeted individuals. Even if only susceptible over non-TLS it still represents a non-zero percentage of internet traffic.
Zero Knowledge Proof Standardization – published first documents
"some memers have found the current suite of mobile applications so lacking that they choose to create their memes on desktop computers instead. “On your phone, you’re never going to be able to do as much as you could as on a computer,” says Noam, who memes under the account @listenintospitandgettingparamoredon.

Ronnie, who memes under the handle @mspainttrash, is part of a group of meme makers that works exclusively in MS Paint."

Finally I thought, a voice of reason! Someone is going to mention GIMP or photoshop. But then they go straight for MS Paint and then totally ignore the idea of using a desktop to make memes and go right back to the "problem" that you need 4 apps to make a shitpost. LOL! Someone tell these kids about GIMP please
>If a clear majority of the audience isn't interested in your status then you're just burning hours.

From my understanding stand ups are not supposed to be status reports. They tend to turn into them though as it seems the most common format is 1) what did you work on yesterday, 2) what are you working on today, 3) what's blocking you?

I prefer daily stand ups (near the onset of the day) for small teams to be 1) what's our goal for today? 2) what might block us or slow us down? 3) how are we going to tackle our goal?

When stand ups start feeling like justifying your existence then morale drops, [looking] busy work increases, and too much time is spent on CYA. Focus on solving problems not explaining them.
Unusual, Unique, and Unexpected Uses of Perlite and Vermiculite
Funny thing about yachting is it's not even cost-prohibitive for the middle-class anymore. Not since fiberglass became ubiquitous in the 70s. It's comparable to owning an RV/camper van - something I would not associate with the upper bourgeoisie.
Hello HN!

I am the solo founder and creator of One One Meeting and I'm doing my launch this week! Wish me luck! :)

This is a side-project turned business that was created to solve a problem we have in my current day-job employer. Actually, my first customer is my own employer -- yes, I have a great boss! :)

Let me know if you have any doubts, suggestions or feedback!
I wonder if they're using a fraction type to store decimals (a reasonable way to avoid floating-point error), and when the 10^x function is implemented naively on this type, 10^(3.1415) becomes 10^(31415/10000) = (10^31415 / 10^10000) = (overflow / overflow).
> It's the smallest number you can't count to.

I don't remember whether I was ever taught that. But I do remember the line from Marilyn Manson's "Posthuman".

> God is a number you cannot count to.
Is that anecdotal or are you citing something? Boxed wine is a favourite of derelict alcoholics because it's so cheap.
This is the system we use in the UK, lots of people in lots of rooms counting ballots.

Any ideas for change motivated by efficiency should be looked at with extreme caution: You can't hack a ballot box but an electronic machine - especially many all made by the same company, as would be likely - is infinitely easier.
Is this what is known as pi or dependent types?
Because in the long run, most forms of welfare are self-funded. For example social security and medicare are paid for by workers paying into the fund, and food stamps have an economic multiplier effect of about $1.8 dollars for ever $1 spent:

https://www.fool.com/retirement/general/2016/05/23/how-is-so...

https://www.medicare.gov/about-us/how-medicare-is-funded/med...

https://www.foxbusiness.com/markets/how-food-stamp-cuts-coul...

Also defense and national debt payments total more than welfare:

https://www.usgovernmentspending.com/us_welfare_spending_40....

The above can be looked at as corporate welfare for defense contractors and the independently wealthy/large institutional investors.

It looks like a $12,000 per capita UBI would cost about $4 trillion per year for 325 million Americans. This is about 1/5 of US GDP and roughly equal to the current US federal budget. So UBI would cost an additional $3 trillion if we get rid of welfare, or an additional $4 trillion if we keep it.

I guess I jumped the gun a little on saying it's not that substantial, although I do wonder what kind of multiplier effects a UBI would have on the economy. My guesstimate is that it would be comparable to food stamps at 1.75x and probably generate an additional $3 trillion or so. But without a full study, it's hard to say. Hope this helps!
The Adversarial Mindset: Training Ethical Hackers to Break and Enter
The article says "Earlier this year, Reuters reported the retailer’s delivery partnerships with Uber and Lyft ended after the ride-hailing services struggled to deliver people and packages together." So sounds like they tried it already and may have had logistical issues.
But those sensors aren't going to be installed on every car without a strong core value proposition. Self-driving is a feature that can justify the investment in those sensor installations. Additional use cases can piggy-back on them later.
People don’t like having their area renamed from underneath them. Probably it makes them feel alienated from their home area.
Reminds me of kozmo.com https://en.m.wikipedia.org/wiki/Kozmo.com
> "it was concerned that a large increase in the number of women posed a serious problem for the future of the university hospital, because female doctors tend to quit after marrying or starting families."
Escaping the Sandbox: Microsoft Office on MacOS
if only the source code were publicly available, then the real problem could be realized, patches proposed, etc. enjoy waiting on microsoft to patch it, they're probably too busy 'loving open source.'
Isn't this what we effectively do in America with affirmative action?
Yeah, I tend to agree.

However, I can certainly imagine that a sauna gets your heart rate up and your metabolism into overdrive trying to cool you down.

The human body burns roughly a fixed set of calories--it simply shunts those calories between the systems it considers to be immediately important.

If you are shunting one or two hundred calories a day to cooling yourself off, that's a bunch of calories your body can't throw at creating chronic conditions.
With WebGL disabled, it is still Mercator projection as expected.

This is good news for the problem of map projection distortion for students learning about the globe. It is great use of technology to make displaying data more accurate to reality.
FCC sides with Google Fiber over Comcast with new pro-competition rule
Sketching and Experience Design
Do you have a specific question?
Contact me HN at Free.TV
The pronunciation of PNG is provided in the spec:

> This International Standard specifies a datastream and an associated file format, Portable Network Graphics (PNG, pronounced "ping"), for a lossless, portable, compressed individual computer graphics image transmitted across the Internet.

https://www.w3.org/TR/2003/REC-PNG-20031110/#1Scope

I believe that the spec for MNG also specifies its pronunciation.
> But the point is that I do NOT want shared ownership.

Yeah, to me it sounds like you exactly want shared ownership. What you're describing is what shared ownership is.

> Callbacks are basically impossible to do in Rust,

I wouldn't go that far; yes, sometimes you need to do that dance for them, but not super often. It feels like maybe we've had wildly divergent experiences here :)

> why does it force me to pay for thread-safeness (overhead) so that I can use threads later (opinion)?

Because you're using a feature that can be accessed through multiple threads, even if you're not doing it now. If you use the version that can't, then Rust doesn't force you into it.

> let me initial globals with runtime code

This, in many cases, will be solved with `const fn`. But that runs at compile time, not before main. Life-before main has a ton of issues and is a huge pain.
I always ask people if they looked at website, my code or anything before hiring me and the overwhelming answer is no. I've always had to get things in front of people just get them to see the extent of work. People think you need a portfolio to get hired you don't. I've built over 30 web-apps in the last decade, and I've never bothered to screen cap them.

People only care what you can immediately do for them and if its not 1-to-1 with what they want they don't care.

Its sad but its true.
Why a self-driving car doesn't use Google Maps
Leaders Eat Last: Why Some Teams Pull Together and Others Don't
Alright. So it was just a flat out mistake to think morality was considered even in the slightest.
Very cool. I especially like the video encoder in the static ram chip. That is a neat hack. I've got a simple HDMI interface in an FPGA that does something similar but it is 10x the cost.

I expect to see a lot of these sorts of systems in the coming months/years.
I wasn't able to run GateOne. (I tried the online demo - not there; building from source - a Python stacktrace; and I looked for prebuilt binaries.)

It looks like most of the code (including the escape sequence handling) is in Python. I gather most of the logic is server-side. While DomTerm has quite a bit of server-side code (basically the lws-term directory, written in C), the majority is JavaScript.
Key Considerations for Building Wearable Apps
You can't change my username, but you don't have to refer to me by my official username. Furthermore, it's ok that my government ID doesn't say daveFNbuck even though I'm using it as my name here.

There are almost no situations where people refer to me by the name in my government records, and that's fine. Those records still work for their intended purpose and there's no need to update them to match my nicknames or aliases.
>> these bad actors are clearly non-partisan

>No, it's not at all clear.

> The 2016 disinformation campaign clearly favored one candidate, while simultaneously attempting to radicalize his opposition.

Per a recent article by FiveThirtyEight.com [0] they labeled 719,087 tweets as "Right Troll" and 427,811 tweets as "Left Troll." When describing the two types they say

"Right Trolls behave like “bread-and-butter MAGA Americans, only all they do is talk about politics all day long,” Linvill said. Left Trolls often adopt the personae of Black Lives Matter activists, typically expressing support for Bernie Sanders and derision for Hillary Clinton, along with “clearly trying to divide the Democratic Party and lower voter turnout.”"

So on one hand, yes they clearly favored Trump. On the other hand, favoring Trump was the most divisive and destabilizing thing they could do.

> Or maybe they're just indiscriminately pouring gasoline into the fire.

I think that is a huge part of the strategy. Was there collusion as well? Probably but Putin is happy to watch the West burn.

[0] https://fivethirtyeight.com/features/why-were-sharing-3-mill...
Yes, I believe that's the typo.
SAT scores among admitted students is the highest it's ever been.

My older son needed a certain ACT score to get into the school he wanted. He wasn’t anywhere near the score. After 10 one on one tutorial sessions at $100 a pop with former college professors. He got in. He didn’t all the sudden get smarter. He had access to resources.

Another anecdote, I had the highest SAT score in my school and I believe at least the second highest in my city out of 5000 graduating students (not a large city). How much of that do you think was due to me being one of the smartest or hardest working students in my city (usually ranked near the bottom in income in the US) and how much was it due to my mom not only being a high school math teacher but she also had done SAT workshops for years?

I didn’t have to go to a “SAT Tutorial” class with 30 other students where an overworked teacher volunteered to come in the morning for an hour before school started. I had all the help at home I needed.
I agree with you about Cantor's diagonalization. I think that really gives a "tactile" conception of infinity. If I had to explain infinity I'd probably choose to explain injections, surjections, and bijections; followed by countability and uncountability.

If the child is old enough to understand basic addition and multiplication, you can probably run through a short explanation of the different (elementary) number systems.
A main goal of DomTerm is to support "rich" REPL environments, similar to Jupyter.
I'm becoming increasingly convinced that, to be successful, a team's agile practice needs to largely fly under the radar of upper management.

As soon as upper management catches wind, you'll need to justify every little process flow change to them, or they'll start demanding regular reports with burndown charts and plots of velocity over time and crap like that. At which point, you're done. Things officially suck forever.

That isn't to say that I think Scrum coaches and whatever have no value to offer. I've done a 1-week Agile training course, and I thought it presented some really great ideas. But their potential value is severely undercut by the fact that there's no way to bring one in without attracting the attention of the mothership.
FCC Cites Baofeng Importer for Illegally Marketing Unauthorized RF Devices
>Putin said in Helsinki that he favoured Trump and directed his officials to help Trump.

Wait, what? Can I get a cite for that because I have heard a lot of claims about Helsinki but I have never heard that.
I've been in situations where the whole developer team is trying to solve a production bug, and the managers have never tried to tell us where to focus.

That wouldn't make any sense at all.

Every developer would have their own guesses that they would need to explore and validate, sometimes there's some grouping around where the focus is, but there's usually one guy that's exploring a totally different area to find that bug.
GP here...while I think it is a given that what I meant is that these would be free for all by leveraging taxation, I don't think we(average joe) really need to spend any more money to accomplish these things. Our politicians gladly pour money hand over fist into private defense contractors pockets and I think this is wrong. We should be spending this money on Education and Healthcare for all, instead.
It's similar, but the bias here is against women having children and the effect is applied against the test output. In the US the most severe cases have been things like Harvard deciding there too many Asian people and creating a 'personality test' specifically designed to have Asians perform lower, ie modifying the test itself.