skysight-inc/HackerNews huggingface dataset:
Well, a lot of math doesn't use continuous sets of numbers. Lots of algebra is done using countably infinite sets of numbers like the rationals and the algebraic completion of the rationals. It's about using the right tool for the job. And to that end, the computable numbers are more of a curiosity than something of practical use. Compared to the Reals, the computable numbers are difficult to define and have a lot of logical overhead for virtually no gain. Also, logically, you will never see most all numbers even from a countably infinite set, so a very similar qualm can be had with computable numbers being used in place of the reals (for wherever they can be substituted, which isn't all situations we encounter in math).
Fascinating - it's interesting that commentary seemed so common in these old texts, and it's cool to see how decorative graphical elements were often "first-class citizens" on the page.

When every codex was a bespoke item, I guess it made more sense. If you're interested in that sort of thing, check out the Book of Kells:

http://codex99.com/typography/37.html

There's also a great animated movie about the relic, called The Secret of Kells.
50 years to get from "the moon" to "low earth orbit but cheaper" isn't that impressive in the grand scheme of things.
How are you going to identify them? When they cash out, all their Bitcoin has already been laundered.

Granted, this is all theoretical. In practice, it’s not unusual for such people to make mistakes that reveal their identity; however, there’s nothing inherent to Bitcoin that ensures they can be de-anonymized.

Usually they attempt to go after hosting providers, but when the services are only accessible by Tor and they’re using bulletproof hosting—hosting providers who do their best to avoid law enforcement—that’s no easy feat. It’s not impossible, but it can be both a technical and diplomatic nightmare.
That went right into my quotes file.
Yes, the "hide everything" trend is really annoying. An egregious example of this is how iTunes hides the track number and/or duration when you hover over or have a track selected: https://i.imgur.com/IhwHnfO.png
I'm a customer of Tailwind UI and I have to say I'm very inspired by this post. Great product, solves a real problem. It's bound to reach this point. Great work!
Imagine caring about this with everything else going on.

Next.
It's right in Apple's privacy policy, see Disclosure to Third Parties section:
https://www.apple.com/legal/privacy/en-ww/

They obviously sell user data in aggregate - not at a personal level, but which of the big tech companies sell personal data (maybe FB / Cambridge Analytica?)

Also, Apple has Google as the default search engine which Google pays billions for. Is that selling your personal data?
FYI on Firefox on iOS your site renders a bit oddly - the sign in button in particular has text bottom aligned within its box.
Hey, this is an awesome product!

I use Notion to maintain a personal knowledge-base (which it works great for). I also maintain a newsletter, embedded into the knowledge-base, that links directly into a lot of the knowledge-base pages for when I need to reference things (which it works not so great for).

Are there plans to introduce some sort of Notion-Brick interop/synchronisation system? I'd love to use the Brick styling and custom domain features, but would like to keep Notion as my source of truth.
GPU Accelerated Voronoi Textures and Filters
Google translate seems to jump to "take a step" for most languages I've tried that usually say "make/do a step". So this is likely someone with a little English but not knowing the idioms. Might have done better with Google translate.
George R.R. Martin uses Wordstar 4.0 on DOS to write the Game of Thrones novels, he saves his work on floppy disks. Of course, he has a second computer for email and web browsing.
I don't know about that. An interface for M+K on a 27 inch screen should be somewhat different from fat fingers on a 6 inch screen shouldn't it?

"Don't fuck with scrolling" applies to both scenarios equally though.
I tend to think that most natural languages use the same kitchen sink approach like Lisp, and as a consequence it has a sprawling set of vocabulary. For some peculiar reason, people seem to like it that way. So, naturally speaking, I guess Lisp is probably going to be more popular than Haskell.
"What the set of real numbers contains can't be defined in any strict formal way."

On the contrary. There are multiple ways to rigorously define the Real Numbers. The most popular way is perhaps Cauchy sequence: https://en.wikipedia.org/wiki/Cauchy_sequence

There are also Dedekind cuts: https://en.wikipedia.org/wiki/Dedekind_cut
The 20 laws are presented alphabetically, not in any order of importance. (I'm not defending it, just observing.)
What a feel-good story.

TailwindCSS and TailwindUI have been huge time savers for my project. It’s nice to hear the origin story!
This isn't a valid analogy. A more appropriate one would be if Nintendo wanted to release Mario kart on the Xbox but Microsoft refused to allow them unless Nintendo gave them 30% of the revenue from it.
I went to a job interview a year and a half ago where part of the interview was to give a walkthrough of my solution to short "homework" problem.

Got there and tried to connect my laptop to their wifi network. No dice. My laptop (2014-15 era) doesn't do 5ghz and they had no 2.4ghz access points. Ended up having to use a cellular wifi hotspot they had lying around to get anything to work.
Show HN: Test your Stepfunctions outside of AWS
I guess it really depends on the area. In my city, I haven't seen a single restaurant that I frequent close up.
If you want to ensure they can’t read your e-mail, then you have to keep the keys in your possession. If you use their encrypt-at-rest solution, then they necessarily have the keys.

But if they can’t read the e-mail, then they can’t process it for you and act as your service provider. Otherwise, how would they know what to do with the black box you have given to them?

If you’re going to use an external service provider, then at some point you have to trust them, at least to a degree.
Mankind rarely lived beyond 25 until very recently so the long-term effects of high red meat consumption have never been part of the evolutionary equation. There have been numerous long term studies that have found strong links between diseases, esp. heart disease, diabetes, cancer. These diseases take years to manifest normally thus wouldn't have existed then.

Edit: s/didn't live/rarely lived/
For some reason, the 'See brick in action' video won't play (Chromium, Android 10). Do you have another link to the video that might work?
I don't see how the two are similar, because traditional kidnapping/ransom requires someone to somehow take physical delivery of a ransom in cash or highly portable, dense valuables (gold bars etc), which is risky. They're certainly not going to do it by ACH or SWIFT. The bitcoin part makes it non tangible and could be done from anywhere in the world.
I tried to address this in my last sentence but didn't want to get too specific because of spoilers. To clarify, I agree. Art is subjective and people who didn't like this game for non-bigoted reasons are absolutely allowed to have that opinion.

I just don't think I've ever seen precisely this level of toxic outrage over a video game before. A loud minority of gamers have always been super toxic (e.g. gamergate) but they hit peak levels of insanity when this incident.

It was actually the last straw for my reddit usage when I realized r/TheLastOfUs2 had been hijacked by people determined to censor any positive takes on the game. I've deleted the app and no longer visit the site and my mental health is already better for it.
yep... waiting until 2010 to get vaccinated against measles definitely says “high IQ”
You read it correctly; thank you for stating it more clearly than I did.
Do we need a word for it? I've got a 1996 Toyota van and a 2ish year old Dell XPS, both serve my needs well enough. Some new tools are appreciably better than older ones, others aren't; I generally prefer to not spend extra money/time for things in the second category.

The 25-year-old car still takes a driver's time and some fuel, and moves stuff around just like a brand new one would. There's no hope of using a 1995 computer for compiling a big C++ project from a fancy IDE, while video chatting over WiFi. Remember that a computer from 1995 would've seemed a bit old in 1997 too.
Between the whole HTML5 / XHTML2 thing (which they lost to WHATWG) and the fact that they're a pack of sellouts (the Encrypted Media Extensions debacle), I would not trust a single thing coming out of the W3C. If Trust Tokens are of any use then it should be handed over to WHATWG (which is where I understand it should be anyway given it's an API thing).

Which is not to say I'm fond of advertising tracking like this by any means, I hate it, but if we're going to have it foisted on us by Google et. al. then it should at least be managed by a more competent group than the W3C.
GPT-3 is an interesting mention. What people makes out of it is the coolest part. Check out https://twitter.com/jsngr/status/1284511080715362304
Can't you apply the same logic to regular ransoms? They say life is priceless, but there's clearly a limit. Also, unlike a human lie, there is a substitute for the unlock key... rebuilding your business from scratch.
These are interesting comments. My normal diet of mostly starchy carbs leaves me without any cravings for sugary things even if they're just lying around near me. The moment I start eating sugary things I get hungry so fast, not just for sugary things but anything and it's hard to concentrate.

I also have a weird condition where I'll forget to eat to the point of low blood sugar, sometimes drastically so--speech or vision impairment. I've learned to recognize physical changes associated with very low blood sugar (e.g. nausea, feeling hot/cold/sweaty at normal room temp, extreme indecision) to remember to eat. Haven't found a way to stay in a normal middle ground.
Other than that, the site looks pretty cool, and the idea is solid. I might give it a try ;)
most of xscreensaver's hacks will use the root window if you ask them too.

I'm using GLava [1] to put an audio spectrograph up on one side of my desktop, i run it with windowed games and transparency and so on and its never more than a 5% of CPU that I've ever seen.

[1] https://github.com/jarcode-foss/glava

no link for xscreensaver, jwz doesn't like hacker news
Probably a condition of the ransom. If the wallet address is known, then it can be blacklisted by exchanges.
I am less experienced than OP, but I got the impression the philosophical difference is that with Lisp, you are trying to abstract things with a simple language and AST code generation (macros) whereas in GHC Haskell you are trying to abstract things with a very in depth language, heavily based on mathematical ideas (see all those language extensions!).
Lisps lack implicit currying, so function composition becomes much more verbose.

And functions aren't that important in CL, not everything is a function and CL is usually written in an OOP or procedural style. CL is more about data and AST composition then anything else.

Moreover, CL is a lisp-2, so in a very real sense, functions are second class citizens in the language.
Gregory Chaitin

https://en.m.wikipedia.org/wiki/Gregory_Chaitin
> If you were a corporate executive would you risk hard prison time just to save your employer from taking a loss?

Uh, have you looked at all the corporate scandals of the last, say, 40 years?

White collar execs never do hard time anyway. At the absolute worst they get 6 months at some cushy minimum security... aka Club Fed.
sounds like a type of cancer. open source needs to pay more attention to branding.
During the six month contract I worked for Apple Retail Software Engineering, I recall going to Caffé Macs and getting a pizza, and seeing these weird boxes.

The only problem I found with them was that they were flimsy and with heat and moisture they became much more flimsy. So, you had a serious risk of losing your lunch all over the floor, if you were carrying hot pizza.

IMO, regular cardboard boxes are still better, at least from the perspective of a consumer who doesn’t want to have to go back through the line and buy another pizza, because the first one fell out of the box and splattered all over the floor.
Open Source PCR Thermocycler
Excellent! Some of those backgrounds look like they’re from SvC: Chaos.
Maybe you passed right by it without knowing.

My wife once told me to meet her "in front of Lord and Taylor's". I had no idea these scribbles were words and got lost: https://www.ladyandtheblog.com/wp-content/uploads/2015/03/lo...
I keep hearing that, but I am not familiar with any data that shows actual widespread use by common people* in those countries without a functional currency.

Most of these countries barely have a stable internet connection or even stable electrical power, so I wouldn't surprised if these 'currencies' aren't so helpful in practice.

* Note that use by corrupt politicians to launder their ill-gotten gains is not a positive.
I'm also observing this behaviour[1] on the latest version of Safari as well.

[1] https://i.imgur.com/pDgXeJJ.png
> The obsession with status and notoriety and money to the complete exclusion of intellectual curiosity.

To me this resonates with the idea that FAANGs swallow up promising engineers and have them work on mundane problems to help generate revenue.

Certainly there are novel or interesting problems to be solved even in these mundane areas, but I wonder what we may be leaving on the table as a species - if many of these brilliant people were to focus their energies on other problems or research, what could we achieve?

Tangentially, are there positive (but not necessarily profitable) uses for the pile of cash that big tech is just sitting on?
I would not split your transaction between mixers, but instead mix your entire amount through one, then mix all of the outputs through others. Use multiple mixers in series, not in parallel. Compromising one mixer there would associate the inputs and outputs of that step but wouldn’t associate your initial input with your final output. You’d also want to conceal your ip at every step so you don’t get compromised that way either.
>Hashing client-side doesn't help with that. The password already couldn't be correlated in dumps, because it was salted server-side.

Yet it does help, because if your server is exploited, the attacker can potentially read the plaintext/cleartext passwords as they're received from the client.

>... and will be available to the attacker who's compromised the server.

Not necessarily. It depends on the nature of the server compromise. Exploit scope is often limited.
Wow 2 million dollars with Tailwind UI, I would never have imagined that would be possible when it was first pre-released with only a few templates five months ago. Congrats!
>The bitcoin part makes it non tangible and could be done from anywhere in the world.

It streamslines it, yes, but it doesn't make it "almost impossible" to pull off like gp claims. Russia is listed as a "high risk" area in the wikipedia article for ransoms, so if they can pull off a ransom exchange (with human hostages) there, I can totally imagine russian hackers being able to pull off a ransom exchange with cryptographic keys. If anything, it's probably easier to pull off than a regular ransom because you don't have to contend with a human hostage.

Also, a quick skim of wikipedia[1] suggests that buying/selling of stolen credit card info predates the creation of cryptocurrency. If cybercriminals were able to find ways of transferring money back then, I'm sure ransomware authors can use the same methods to transfer money today.

[1] https://en.wikipedia.org/wiki/Credit_card_fraud -> https://en.wikipedia.org/wiki/Albert_Gonzalez -> https://en.wikipedia.org/wiki/ShadowCrew
Open Source NinjaPCR QPCR Machine
I definitely worry about this here in the Midwest, where we originally slayed the curve. But the key difference on these later spikes is testing infrastructure is better developed, so we should be able to isolate people more effectively.
I can't believe no one has mentioned writing - try thinking about something you strongly believe in (but others disagree with, like a political/philosophical view), then write out your argument for why it is true. Then write out what you think your opponent believes and think about how they would pick apart your argument. Then rewrite your side again. Have someone else read both sides and critique each.

Also try explaining how to do some task. Give it to someone else and, based only on your instructions, have them try and do the thing you laid out. We're they able to do it effectively? What questions did they have and where did they get confused? These will help you improve your explanation and argument skills.
The negative numbers and the number zero have similar problems with being fully manifested in our physical experience. Numbers are a logical tool and what the full range of Real Numbers gives us is the logical foundation for "smoothness".

Also, of the discrete Natural numbers, you are unlikely to witness in your entire lifetime any number larger than 10^10^10^10^10^10^10^10^10^10^10^10^10^10^10^10^10^10^10, i.e. virtually all of the numbers are inaccessible to you except for in your imagination.
> But if you want to give up democracy to live under a dictatorship, certainly don't pretend that you actually speak for anyone other than yourself.

Please don't do the Reddit thing. The argument wasn't "we need dictatorship", it was "it's easier to switch commercial providers than governments if you're unhappy".
From the description, it sounds like what you're asking about is more along the lines of mental acuity rather than critical thinking per se (the latter is more about analysis in order to form judgments -- recognizing fallacies, rhetoric, and using deductive/inductive logic to form arguments).

If you're asking about mental acuity so you can think faster and solve brain teasers at interviews, many of the other comments in this thread offer great suggestions. Achieving familiarity with the problem space and pure practice are keys.

If you're asking about actual "critical thinking" (though I suspect that is not the case from your description, but it's an interesting topic that you might want to pursue anyway), the classic methods are the Socratic method, disputation and critical discussion of ideas with other people. If you don't have that luxury, you can train yourself by arguing with authors in the margins when you read books. Writing is key -- it helps crystallize thoughts and reveal weaknesses in thinking. Courses in philosophy also help provide a foundation on different approaches to reasoning.
> Got there and tried to connect my laptop to their wifi network. No dice. My laptop (2014-15 era) doesn't do 5ghz

Wow, that’s surprising…most laptops from like 2010 onwards have done 5 GHz. Did yours have a particularly old Wi-Fi card in it?
Why not step back in time? That is an experience in itself, as the author points out the keyboard does make a difference. Why vehemently oppose that?
If you’re mugged, you don’t “have to give” your wallet either, but you were coerced by an external party.
11.5% of gay men said they would date a trans person. 28% of 11.5% said yes to trans women but all of them said yes to trans men too.

29% of lesbians said they would date a trans person. 38% of 29% only said yes to trans men and 31% of 29% said yes to both.

The article doesn't have the same information for straight people but only 1.8% of straight women and 3.3% of straight men said they would date a trans person at all. So 0% of gay men, 11% of lesbians, maybe 0.9% of straight women, and maybe 1.7% of straight men would consider sex but not gender. Probably the real percentages are lower. Probably some straight people said yes to both. Many straight men attracted to trans women wouldn't date one.

Porn with trans women is much more popular than porn with trans men. The primary demographic for porn with trans men is gay men[1] even though at least 10x as many men are straight.

The other studies also found few men only attracted to trans women and cis men.

[1] https://www.ibtimes.com/transgender-porn-best-seller-it-good...
Yes, a sample DB would be amazing! I'd love to try this out, but wouldn't give access to one of our DBs w/o setting up a specific role for BaseDash etc.
Just because a person is gay doesn’t mean that they care about gay rights, especially if they are a billionaire, because nobody really impinges on a billionaire’s rights. As an analogy, say some anti-Semitism was spreading on Twitter and there was a Jewish CEO of Twitter who didn’t delete it. You couldn’t defend him by saying “he’s Jewish I’m 99% sure he cares about anti-Semitism” because if some thugs decide to beat up a random Jewish person on the street it just isn’t going to be the Twitter CEO.

(not making a statement about Tim Cook because I don’t know anything about his positions on gay rights)
Control the humidity, bring the temperature up if humidity control fails.
The point seems to be increased privacy/no tracking/ads. Also, there's no penalty to starting your own server with entirely your own rules.
You can also get it at hardware stores for lubricating locks.
And if you remove all agency from people, they can't make any choices, everything they do is considered a choice they were pressured into.

The gap vanished as a "gender gap". The "if you work less hours you will get less money" gap isn't quite the same.
Confused about closures and 'this'? Check out my guide to JavaScript scoping
I couple of weeks ago I did a deep-dive into JavaScript scoping and learnt a lot about how closures work under the hood and why we the `this` keyword exists in the first place. I wrote a guide that explained everything to my two-weeks-younger self and made a video covering most of it too!

I try my best to back up everything I claim experimentally via chrome dev tools but there are a couple of things that are specific to ECMAScript. Let me know your thoughts :)
If you are interested in the context and generally unfamiliar with the W3C, maybe these articles will help:

https://www.eff.org/deeplinks/2017/07/amid-unprecedented-con...

https://www.defectivebydesign.org/blog/w3c_sells_out_web_eme...
Would there not be a huge danger that a mixer operator, if they received $4m+ of BTC in one big transfer, could simply shut down immediately and pull what's known as an 'exit scam'? They would be in possession of the BTC and could themselves then launder it through other mixers.

Perhaps they might do this if the saw keeping the entire 4m as much more lucrative than many years of taking the percentage skimmed off the top from a number of smaller transactions, and just going into "retirement".
Enter their birthday. My son and his friends and cousins always enter the year of their birthday as 1955 so that they appear to be old men when they were under 13. They never answer honestly and it is like having a fake ID.

Microsoft used to have a Passport service that could verify a user, just add in an ID to verify age scan your driver's license or whatever and send it to Microsoft passport. It is an extra step but you don't want the kiddies looking at nudes and violence and hate speech.
Alma Finds Possible Sign of Neutron Star in Supernova 1987A
We use Postico and are pretty happy with it. It's better for our use cases than e.g. PopSQL.

That being said, we'd drop Postico any day for a smooth editor with 100% Postgres typing support.
> One difference in philosophy of Lisp (e.g. Common Lisp, Emacs Lisp) and Haskell is that the latter makes liberal use of many tiny functions that do one single task. This is known as composability, or the UNIX philosophy.

I would rather say that each tiny function handles one factor and that a program is the decomposition into factors. Lisp also composes functions but are chunkier and can be ad-hoc one-offs. Static types vs runtime errors is another point of difference.