skysight-inc/HackerNews huggingface dataset:
> "The infinite count of real numbers is much larger than the infinite count of integers. But let's keep it for another comment."

That is, beautifully, Cantor's diagonal argument, which goes: write some decimal numbers between two integers 0 and 1:

0.111
0.222
0.333

Now work diagonally through the digits:

0.[1] 1 1
0. 2 [2] 2
0. 3 3 [3]

and change those selected ones to other digits:

0.[2] 1 1
0. 2 [3] 2
0. 3 3 [4]

And pull those diagonals out into their own new number 0.[2][3][4] or 0.234, and add that in to the list:

0.111
0.222
0.234 <- new number
0.333

That number differs from the first entry in the first decimal position, from the second number in the second position, from the third number in the third position, ... and the Nth number in the Nth position, because those are the positions you changed in each one to make sure of it.

If it's different from every existing decimal in at least the one place, it cannot be a duplicate entry seen before in the list you wrote down, it must be a new entry.

You can always change the first number in the first position because there's only a single digit there and nine more to choose from. You can always change the Nth number in the Nth position because 0.2 is really 0.20000000... so changing 0.2 in the 5th decimal place makes 0.2 into 0.20007 or etc. This makes the decimals longer, sub-dividing into increasingly tiny pieces, without end - infinitely.

Therefore with an infinity of integers, you can subdivide infinitely between any two of them.

You can take your infinite list of decimals between 0 and 1 and map the integers to them, 1 for the first entry, 2 for the second, 3 for the third, and pair up both infinities 1:1. And then have no integers leftover to map onto the infinity of decimals between 2 and 3, and again none left over for the decimals between 3 and 4, etc.

Conclusion: there are infinite integers, and infinite decimals, and there are more decimals than integers. The infinity of decimals is the larger infinity.

(Which makes some intuitive sense looking at single digit integers 0-9 on the left of a decimal point, fan-out to single digit 0-9 for each of those on the right of the decimal point. 10× more 2-digit decimals than 1-digit integers (of course). Infinite permutations of digits on the left of the decimal point, an infinite permutation of digits on the right for each starting permutation on the left, means infinity× more decimals than integers).

[ I wrote this more for the practise of pulling it out of memory and going over it, because doing that cements it more in my memory. It is one of the few bits of math I can more or less remember. It would surely be more beneficial and correct for you to read it elsewhere. This is the paradox of internet comments written for the author, not the reader. ]
The rust compiler does this, and it’s been generally well-received: https://rustc-dev-guide.rust-lang.org/diagnostics.html#sugge...
There’s no requirement for it to be instantaneous. It could be, buy it could also be sequential. The thought experiment works fine either way.
Room n+1's guest, similarly, has nowhere to go; the hotel is full. It has countably infinitely many rooms, and all of them are occupied.

I can only see a shift of guests being possible if you momentarily ignore the initial constraints.
Thanks. That's a really helpful perspective.
There is no last guest. There are infinitely many guests.
This is a great guide for building a first-ever app in Rust.
What does ‘escape to silicon’ mean?
I guess this is rigorous confirmation of the slow news day = talk about anything, crisis = talk about Michael Jackson's death for six months model of news broadcasting.
Poor me who doesn't know the board game "Risk" and thus believed I could win at any Risk by reading this article!
This is great. Scroll Reverser + scroll acceleration fix in one app. If you can also figure out cursor acceleration, you'll have a hit. The only app that correctly disables cursor acceleration is SteelSeries ExactMouse.
It seems like his alternative (test many scenarios and prune) makes it possible to fool yourself through randomness a different way if you don’t account for the fact that you’re doing multiple comparisons [1].

[1] https://xkcd.com/882/
You can make calculus and Fourier transforms without infinite sets; all you need is limits.
I wrote my own terminal emulator stack. I was annoyed that the colors were often unreadable on others and that shift+page up wouldn't work to scroll from inside gnu screen that I used to use. So I rewrote the whole thing from scratch, my own terminal emulator and my own replacement for gnu screen. The terminal has both a custom palette and refuses to display certain combinations (if you ask it to do white on white, for example, it will do grey on white instead) and forwards various things like the shift+page up keys all the way down (and on the other side, commands like clipboard paste request all the way too), so when I ssh to the desktop and attach the session, all my habits still work.

I know it sounds like overkill but it just really bugged me to strain my eyes and have to hit different weird keys depending on where I was.
Huge fan of Veritasium. Even on the videos where I already know a decent amount about the subject, I invariably still learn something new.
> But if a customer wants to do business online with someone Visa doesn't approve of, they have very few options. And currently Bitcoin is the best option.

I get what you're saying here but, the odds of someone taking actual BTC as payment are pretty low right now. It's way, way more likely I can just use another credit card company, a debit card, Venmo/Cash App/PayPal, etc. I think this argument, while common amongst BTC folks, is pretty hypothetical.

> And if the government does not want Bitcoin to prosper, they should come out with a better alternative in the form of a public (government run) payment system so we have the digital equivalent of the dollar.

The problem with this is that we'd lose lots of the tools we have to fight organized crime. These are people who run the drug trade, the weapons trade, and the modern slavery trade. It would probably also destroy our political system because of the ensuing corruption. I don't know exactly which side of the debate I fall on on this one (it's mostly the same as the encryption debate, although I think money isn't speech, but it also does seem like it sometimes, etc.), but I do know the consequences are pretty severe if we create a right to privacy for financial transactions.

> Unlike Visa, the government does not have the right to pick and chose who they do business with.

Believe it or not, I didn't exactly want to get into a BTC discussion here, I was trying to focus on your claims about 1A. I think this is another false claim; the government chooses who they do business with all the time--there's a contract bidding process, there's affirmative action, etc. etc. The government simply can't tell us whom we can do business with (as long as they're also Americans).
Hard truth coming in: The reason it doesn't work for your company is simply poor management (don't take it personally). What you actually measured is the ability of yourself and the rest of your managers to lead your teams in a situation when actual leadership is required.

You see most "managers" aren't really managing anything. "Coordinating" might be a better word. The problem is that coordinating is really just "managing without leadership", and in a WFH environment coordination alone isn't enough. You need people driving your teams, not sitting shotgun with the map reading off directions.

I think the most revealing question is a simple one: What metrics did you come up with to measure the productivity of your managers (and yourself) during this time? None? Of course not... You've probably heard the phrase that "managers are force-multipliers!". Does that apply when the multiplier is less than 1?

I am not disputing your results or even your conclusion, but it's important to know why you got the results you did. And even more important is accurately identifying the appropriate policy going forward: With your current management team you cannot continue with a WFH policy.
Ditto most greater London owners.
Why retire at all? Depending on what you want to do, why not just do it for as long as you can?
That's not how that works. If Biogen tried to sell unlabelled bottles of aducanumab, the FDA would come after them in a heartbeat.

Picture the judge in the court case: "So, you developed this new molecule that never existed before, spent years testing it to treat alzheimer's, there's been hundreds of news stories about it, there is no other reason a consumer would buy it, and it costs $50k, but you expect the court to believe you didn't think it was being sold as a treatment?"
Postgres is plenty fast. If you think it can only do 3 users or 800ms, you're doing something wrong.
> Rather ironic claim in a thread full of tips, tricks, and gotchas just to make PG behave like a queue no?

There are libraries in many languages written specifically to accomplish the "make PG behave like a queue" part. All these people are explaining the principle of how it would work, but in practice, you can just pull in one of those libraries and be done. (Or, more accurately, you use an abstract external-job-queuing library and tell it to use its Postgres adapter, which in turn uses that library.)

In exchange, you get the ability to not have to set up / maintain any more infra than you already have. Which can be important if you're already "at scale", where every component you set up needs to be duplicated per geographic-region, clustered for High Availability, etc. If you've already done all that for Postgres, it'd be nice to not also have to do all that again, differently for Redis, RabbitMQ/Kafka/NATS, etc.

> Gut feel also says, Redis defaults for queuing would also serve more than PG defaults for queuing

Don't know about what you've got your queues doing, but our service only does (persistent, out-of-process) queuing for two purposes:

1. Global scheduled background-job queuing. (Think "cron jobs.") There are only a static number of these; they don't scale up with load.

2. Lifecycle email dispatch. This scales up with MAU, but with very very low coefficients.

For those cases, Postgres would totally be enough. (Anything would be enough!)

Most "queues" needed in the real world are requirements-light like this. It's a rare company whose product is doing something Apache BEAM-alike with its data, where a high-throughput reliable MQ is a fundamental part of the data workflow. (And those companies, I hope, know that they need an actual MQ, not a piece of software that does queuing in its spare time.)

Our company doesn't use Postgres queuing; we do, in fact, use Redis for it instead. But we only ended up doing that, because we already needed Redis for other stuff; and if you already have Redis in play (including an ops plan for scaling it), then it's the better tool for the job.
This does not dismiss the rest of his argument. Cross-platform is still an issue even if you don't target the web.
Bitcoin is De-dollarization. Ethereum is DeFi-nancialization
I'm seeing this "we started out with 2 and now there's dozens" pattern with k8s everywhere, and just like in this example the cause is a one-two-punch combo of proliferation of service complexity and geographic replication demands (be they legal or performance).

kube was originally meant to abstract the datacenter, is there anyone who's abstracting the globe/internet yet? I'd love a geo-kube abstraction where based on annotations or something I could provision deployments/pods to arbitrary geographic locations. I want a scale-to-zero node-pool in every region, and one kube master api for the world.
This was a pair of videos in Veritasium recently - How An Infinite Hotel Ran Out Of Room - https://youtu.be/OxGsU8oIWjY and Math Has a Fatal Flaw - https://youtu.be/HeQX2HjkcNo .
I write Raycast[0] scripts to automate small, common tasks I do daily, for example:

- Connect my AirPods to my Mac
- Count the characters in some text
- Create a new text expansion shortcut with Espanso[1]
- Start/stop a Focus[2] session
- etc.

Because they're in Raycast, they're super accessible to me — I simply hit CMD + Space, type the first word of what I need and hit Enter. Loving it!

[0]: https://raycast.com
[1]: https://espanso.org/
[2]: https://heyfocus.com/
New things are made with the knowledge of old things, and old things aren't. Unless more knowledge about what you're making could lead to a worse product, then newer things will on average be better than older things.
I came to say the same thing - at one point only 10% of the screen was article text.

What a god awful website.
FCC Assessment: Best Practices to Combat Unlawful Robocalls to Hospitals [pdf]
I can’t let this go. You are viewing Nokia as a consumer company. That’s wrong. Like Ericsson and Nortel they were huge in service provider. By the time MS rolled around Nokia had already flubbed the consumer market but had more importantly completely lost in the high tech arena around service providers. I competed directly with Nokia in the early 2000s and we produced a solution in the mobile backhaul space that was not only 10x more performant but also denser and more reliable. We did this with ease and crushed them. Nokia still does work on the space (notably building the dissident tracking system for Iran) but it was killed outright as soon as the Valley tech companies (the actual tech companies, not the consumer web crap) went after them. Now theyre replaying that by clinging to a product (deepfield) that is already past its expiration date.

Microsoft came along once the company was flailing and demoralized. It was already dying.
This does happen. Many regional chains do own there own factories however. Many of them produce both store brands and 'premiums brands under license. It's a complicated business.
I wrote a GitHub Gist management experience for VS Code, since I wanted an extremely easy way to capture notes, docs and code snippets throughout the day: http://aka.ms/gistpad.

It completely transformed my behavior of writing and sharing, and I ended up expanding the experience to support GitHub repos as well, so that I could access and edit any of my “knowledge bases”, regardless how they’re stored in GitHub.
If you want to prototype quickly and reuse a component libraries/be able to attract contributors go with Electron. if you need to run your app on low-power devices consider QT but it will require a lot more investment from your end.
What if Instagram accomplished nothing by hiding like counts?
Thanks for the clarification. That sounds like a much more reasonable policy.
The Perry Rhodan series was translated into English in the 1970s, but the series is very long and the translation stopped very soon. I can find Perry Rhodan ebooks and upload to Google Translate. However, converting the ebooks to text does not put them in a format useful for translating--the sentences are broken by newlines and there are specific problems like page numbers and the letter M embedded at a page break.

Thus, wrote a tool to convert such converted ebooks to have full sentences and to do a couple of other odd things so Google Translate and the particular ebook reader I am using handle them better.
What’s the difference between a senior faculty and a politician? In both cases, you’re more of an icon than and individual contributor. The difference gets even smaller if faculty become dean.
Woah. #3 just blew my mind. What if we had a package for every language that linked the error to the top stack overflow thread or equivalent.
Intel chips are made in the US.
It was in some article, "58% milenials"
> ETA: For instance: One infinite set does not have "as many" or "more" or "less" members than any other infinite set. You cannot compare amounts, there are not "amounts" to compare.

Not exactly true - there are different infinities. For example, the number of integers is infinite, and the number of real numbers is infinite, but there are more real numbers than integers.

The number of integers is "countably infinite" and the real numbers are "uncountably infinite".
It's not that much of a nuance, TBH. It's just that Python has largely become a high-level language for gluing together libraries that are mostly written in much faster AOT-compiled languages such as C, C++, Fortran, or even Cython. For example, I prefer to stick with Python for a lot of the number crunching things that I do because, while you certainly can beat numpy's performance in other languages, in practice it turns out that doing so is generally more work than it's worth. Especially if you're using the Intel distribution of numpy.

So, yeah, it's true, you do a hash lookup for every Python method invocation, and also you've got to worry about dynamic type checks for all the dynamically typed references. But the practical density of method invocations and dynamic type checks can be surprisingly low for a lot of Python's more interesting use cases.
https://web.archive.org/web/20210611200222/https://www.latim...
Yep. In addition to being toxic and wrong and pointless, it also reveals that OP isn’t actually very good at the non-JS parts of front-end engineering. It’s easy to assume that something is basic when you only have a basic understanding of it.
Send bookings to the database early, with an expiry time and a counter visible on the screen?

Thing is, because purchasing is often shared across third-parties, even then you can’t guarantee that you’ll have the reservation until it’s paid and entered into the shared booking backend… unless the third party backend has a locking mechanism, at which point you’re probably not using your own Postgres to do this, but their mainframe instead.
Honeywell and Cambridge Quantum form joint venture to build new quantum business
A lot of the tools now in fuchsias fx started life as personal standalone scripts later exported to the team. Nowadays contrib contains tons more, some of which also started similarly. These all now have a long history from many contributors. You may be able to glean the historical process stuff from the git history.

https://cs.opensource.google/fuchsia/fuchsia/+/main:tools/de...
I wrote a small Python script that will SSH into my remarkable paper tablet, copy all of the raw files to my desktop, and then convert the binaries to pdf.
I use this tool on a daily basis to offline backup my handwritten notes.

https://github.com/awwong1/remarkable-cli
Cuelang may be nice for some domains, but it's not a sensible replacement for the Nix language. If it was ever replaced by Cuelang, fundamental Nix abstractions would go missing or become awkward to deal with due to lack of expressiveness.
I had this concern before I switched to iOS. Turns out you can install content blockers for Safari. Plus iOS supports DoH natively so ads are pretty much non existent on my iOS devices.
The internet breed bad behavior and everything just degrades into a mud slinging match
Why bother shipping an entire separate browser? What would you actually gain vs bundling the daemon with a tiny launcher that just opened a new browser tab with “http://localhost:4855” or whatnot?
This is one of many conflicts between Elisha Gray and Alexander Graham Bell. Bell and Gray famously fought over the telephone patent, one filing just hours before the other.

What is also not as widely known is Bell also patented the autograph telegraph fax-like device.

Read more at https://en.wikipedia.org/wiki/Elisha_Gray :

" In April, 1875, ten months before the alleged theft of Gray's design, the U.S. Patent Office granted U.S. Patent 161,739 to Bell for a primitive fax machine, which he called the "autograph telegraph." The patent drawing includes liquid transmitters. "

I'm sure there was no love lost between these two.
Expungements are different everywhere, but consider the next step of trial and conviction.

If a criminal is convicted of a felony, papers can publish that. If he's then exonerated, continuing to call him a convicted felon in future publications is a legal falsehood.

Saying he was tried, convicted, then exonerated (and possibly expunged), and is not a felon would likely be ok.

Which is why I said it highly depends on how it's said.

Because truth/falsehood determination is going to be decided as a matter of fact by the jury during trial, so intent, deception, and reputation will likely sway jurors. And the standard for a civil trial is the much easier "preponderance of evidence/causality" (as opposed to "beyond a reasonable doubt" of criminal trials).

Your constitutional right is to be able to talk about it, but that doesn't mean there won't be a cost or penalty or damages for doing so.

As opposed to what many have recently claimed, the constitutional right of free speech does protect even false, hateful, or even threatening speech. That doesn't mean said speech will be free of consequences. Look at the history of reporters being jailed for refusing to name a source. Many times it's their right to do that, and many times they go to jail anyway.
There is a very cool "explain the exception traceback" package for Python: https://github.com/aroberge/friendly

See this video for explainer and demo: https://www.youtube.com/watch?v=TmLnX7opisQ&t=678s

It's based on case-by-case analysis and recognizers for the most common mistakes:
https://github.com/aroberge/friendly/blob/master/friendly/ru...
You are 0.001% of my visitors and any rational business will refuse to invest resources to serve your unique needs.

If my current frontend framework of choice happens to not render any HTML without JS, I am sorry, my site will be inaccessible to you.

Because that frontend framework allows me to iterate much faster and improve my product for the vast majority of users.
It's also the same kind of gatekeeping that they said about javascript when it was first introduced... the gp doesn't even know their history.
May 2021 Coordinated Inauthentic Behavior Report
A characteristic of a eusocial colony is one of interdependence. The evolution of the forms described in this article could also be satisfied by parasitism.

The morphology of the ones at the top could simply be explained by local environment (more access to sun and water and a need to regulate water intake, both increase access and shed excess). The ones lower would be driven by similar epigenetic expression to take advantage of a different environment (less sunlight, try to collect and retain the diminished amount of water arriving.

To consider the growth a true colony we’d have to answer the question: how do the ones at the bottom provide benefit to the ones at the top and what is the incentive for the ones at the top to have water-shedding disk fronds as a way of helping those below (as opposed to simply for the upper plants’ “selfish” reasons)?

The only possible answer is that the lower ones would have to spread their dna (which they share with the upper ones) more widely than the upper ones can on their own. Which is possible but unproven.
If you want a more rigorous view of systems theory then you'll want to look into the mathematical side of cybernetics, chaos theory and nonlinear dynamics. Systems thinking is more of an approach than a rigourous discipline in the same way that reductionism is ("break a problem down into its constituent parts and solve them"), but it is backed by both rigourous disciplines and philosophy.
Does this theory hold in practice when you look around you in the real world?

Was the best work of all fields - cinema, art, music, architecture, literature, all from the last year?