skysight-inc/HackerNews huggingface dataset:
An interesting attempt:

> For a given real number, give me a (deterministic) python program that will print out digits of it...

That can't be done if the reals are uncountable. The set of all possible Python programs is an infinite set of finite binary strings and so maps to the integers. Pi is unusual amongst the Reals in that there is a rule for constructing sequential digits. I doubt that is true for the vast majority of the Reals.

> ...decimal expansions of real numbers are not unique...

That is an interesting line of thought and it does make me question if the standard diagonal argument is missing something. But Cantor's diagonal argument can keep being applied to the new numbers generated (which can be constructed be arbitrarily close to any other number) so this counterexample holds it off for one step, then x[2] appears in the list twice and can't be constructed again. Without being able to formalise it, that makes me think that this trick can be used to double or triple the size of the rationals for counting purposes, but that isn't going to work long enough to hold off the infinite number of numbers Cantor's argument rapidly generates.

I suppose, if any given real has a finite number of representations then we can just include them in the list to start with, then construct a new number we truly haven't seen yet. There would need to be a number with an infinite number of decimal representations to break the diagonal argument. I don't think that is possible, because it has to end with an infinitely repeating string of numbers which limits each number to 10 representations even at a rather naive estimate.
Thanks, it was not clear to me how e.g. (genuine) social proof is a dark pattern
I was referring to the fact that it’s still schedule 1 in the states. Sorry for the assumption eh
New iMessage Security Features
Waking Up from the American Dream
I wonder what happens if you volume mount your MacOS files into the container, then the Docker daemon (I guess) would still have to do an open() in MacOS that could get the EINTR. Does Docker process handle it properly?
now white peopel cannot get higher up jobs because its apparentry racisr, I was JUST tOUCHING YOUR BOOB MINDY!!!
If I buy an apple, maybe I want to eat it. Perhaps I'd like to smoosh it under my boot. Maybe it goes up me bum. Now what does a magic apple copier have to do with me putting apples up my bum?
On, Alumnae: Mary Kenneth Keller
In typical times, yes, it is "amazing" for the user, in that they get to trade more often without worrying about the underlying complexity.

People right now are complaining because they are (reportedly) being margin-called, largely yelling on the internet that they are being margin called but weren't using margin therefore Robinhood is conspiring with George Soros or some shit, even though they technically were trading with Robinhoods money.

Should Robinhood be allowed to treat something as a trade on margin when the fact that it is on margin is papered over and the user clearly doesn't understand what they're doing? Probably not.

But this isn't Robinhood "manipulating the market to support Hedge Funds (or whoever the new enemy is today[0]); this is Robinhood having a gold-plated pile of dog-shit that they've been selling as solid gold for the last couple of years, and now the cracks are showing.

[0] I heard this morning that the new enemy who is trying to manipulate the market is the DTCC. Which is just... comical in my opinion, but hey, the internet is gunna internet I guess
Our family tradition is tamales after Christmas. Usually the day after while extended family is still around. We also eat out Tex-Mex on Friday night including day after thanksgiving also while everyone is still gathered. I think it’s not uncommon to have some similar tradition for Texans of all backgrounds.

That Facebook page is wild. I could tell last time I went that the hipster foodies had discovered the place. But those lines are wild. It was never like that as a kid in 80s-90s. Any given drive by there was usually max of 2 cars, most commonly 0. There was no parking lot. Things like this are interesting part about getting old, seeing how change occurs over decades.
AFAIK there are only 3 houses still owned by private citizens in Boca Chika village. And those living there were/are evacuated for tests.

So nobody was at risk at any point during the test.
The original issue is about Postgres.app which very deliberately _doesn’t_ spread itself all over your system.
perhaps we can add "name-dropping logical fallacies" itself as a logical fallacy

X: We shouldn't listen to health experts! They got it wrong at the beginning of the pandemic when they told us not to buy or wear masks, and therefore they are wrong now too!

Y: Wait, that doesn't make sense.

X: Strawman!

Y: Oh sorry sir/madam; you are correct. Please carry on.
I would look up two terms:

Covered calls

Naked puts

If you want to go heavy duty into it I recommend the Hull book (options, futures and other derivatives) but for your purposes the investopedia articles are enough.

Basically naked puts means you’re selling downside insurance so if the stock crashes you eat the loss. Covered calls mean you sell upside risk but have the stock so if it goes up you make a little.
You mention it should be stated as ratio then go on to discuss it as percentage.
Yes, that is slavery.

You could argue that a less organized de facto system of slavery exists for migrant workers in many other countries including the USA. Migrants roam in and work but really have no rights as they are undocumented. People can intimidate them or worse largely with impunity because who would bother investigating? Sure technically it’s illegal to abuse migrants but nobody’s watching.

Migrant work is something that really demands a coordinated international effort to reform.

Then you have Uyghur forced labor in China.

Slavery has not been abolished in anything but name.
Will it make me better off?
maybe it's not "good" money. Bitcoin is a store of value and it's volatile, much like e.g. the stock of tesla. Conventional money is protected from speculation and swings by guns. Bitcoin is not going to have such protection, but it doesn't seem people who invest in it mind very much. Maybe the concept of what is "good money" has shifted.
I’ve observed the opposite in cryptocurrency option markets; covered calls tend to net a higher yield than the equivalent puts.
Ex pro options trader here. Looks interesting, and I've starred it, but it does sound like it's just collecting premium?

If you're selling options, you probably need to risk adjust your returns a bit more than what's common:

https://papers.ssrn.com/sol3/papers.cfm?abstract_id=377260

That's by Andrew Lo, big name in the area.

I'm sure you've also come across Taleb, who knows a thing or two about selling options.
You mean the surrounding brackish swamp or the declining village that Space X long bought out (mostly from friendly space flight fans who settled there after SpaceX started up to watch launches).

Not to mention the whole test flight being setup so that even if everything went wrong no one could have possibly been hurt (eq. just enough fuel to reach inside the exclusion zone, self destruct system, etc.).
They certainly hide also your personal information like name, peofike picture, etc... So at the end its just moderating texts or pictures without an author? Maybe they also automatically replace names in text?

I dont think that would hurt anyone then
Even if prices rose with everyone guaranteed resources, why would anyone get off their asses to shovel shit when they can sit at home and get paid basically the same?
Contrôle Officiel Suisse des Chronomètres: agency certifying Swiss chronometers
"Contrôle Officiel Suisse des Chronomètres (COSC) is the Swiss agency in charge of testing and certifying all Swiss chronometers."

See:

- https://www.hodinkee.com/watch101/cosc
I held on to a Dell running Ubuntu for two years because I couldn't convince myself to shell out north of $2k for a comparable MacBook (I'd had a MacBook before).

Then after one of the kernel updates the "resetting rcs0 for hang on rcs0" bug started happening, I had to downgrade to an earlier kernel, then Ubuntu 20 came with Snap everywhere, then covid came and I started having Zoom meetings all over the place and my mic would randomly stop working and I started using a 4K screen and noticed how choppy scrolling is and that YouTube stutters hard in fullscreen, then there was a memory leak in Firefox, semi-functional display scaling, the machine sometimes wouldn't wake up from deep sleep...

Then the M1 Macs came out and I got an Air. I've been using it for a month and it's heaven. It's like coming home. It gets work done, lets me have fun, watch videos, play some games and gets out of the way.
I believe this kind of thing is a big contributor to Amazon's hegemony in online shopping. I'm reluctant to order from other sites because there's a whole new set of dark patterns I may fall victim to. At least I'm familiar enough with Amazon to know I'm not getting charged for things I didn't intend to order, the low stock warnings are somewhat legitimate, etc. I'm not saying Amazon doesn't have its own issues, but at least it's a known quantity.

If it weren't for Amazon's dominance, other sites would be able to compete without resorting to these dark patterns, so this is a self-perpetuating cycle: people only shop on Amazon -> the only other sites that can survive are the ones that engage in deception -> trust in non-Amazon shopping sites decreases -> people only shop on Amazon -> ...

I don't mean to cast these scammy shopping websites as victims. My concern is more about how the legitimate sites that could exist don't because they're crowded out by Amazon (and other big players like Walmart) and the scammy shopping sites this article discusses.
at one point, i had ~30BTC. i literally spent them buying random shit, like steam games.

oh well, at least those steam games were played.
G.M. announcement shakes up U.S. automakers’ transition to electric cars
On the other hand, precious metal prices fluctuate quite a bit and it’s a normal part of assessing and valuing them as stores of value.
Italy permanently halts arms sales to Saudi Arabia, UAE
Can’t you use WebRTC data channels to send and receive arbitrary data? I don’t know a whole lot about this, but I saw a WebRTC version of Jacktrip that seemed to do this.
You are right but with the benefit of hindsight. Japan hoped the USA would be like Russia in 1905, in that once it became clear that regaining a lost fleet would take years Russia lost the will to continue the war. The US was ready structurally and politically for a long war of attrition.

At the time the Japanese did not know that the USSR would overcome Germany. An invasion of Midway, with US CVs sunk to boot, would give Japan at least another year of offensive operations. They could have used that time to threaten Australia, incite insurrection in India, secure ocean supply lines and train pilots. The US and the UK would have the means to resist and the US would certainly still have the means to overcome Japan eventually. But with all those challenges ahead-- in Europe and the Pacific-- maybe the US would negotiate.
That's 48kWh. You're going to be looking at a setup that's a few thousand dollars.
A Rare Menu That Tells the Truth: The Pork? Greasy. The Beef? Meh
> We're also looking into running our own F-Droid repository going forwards

That's great to hear as well.
great post! ty
I believe littering the ground with philosophical landmines is possibly deliberate. I attribute to a passage I read by Imre Lakatos, the idea that if you can force people into a paralysis of endless debate over the nature of truth, you create a power vacuum that can only be filled by people who are capable of acting in the absence of debate and truth, such as thugs and tyrants.

I think this is the primary reason for the "anti truth" movement today.
> > lack of commercial software like Adobe CS / MS Office
Usually inconsequential for developers

You're really focusing on a certain type of developer at that point (systems/kernel only?). As a developer of both front end and back end systems, I use Adobe and Office all the time.
The article is not about that. It's about words which have a high probability of spinning off a tangential flamewar.

I posted it because I think this happens very frequently on HN - long and unproductive backs-and-forths that only exist because someone used a "landmine" word, and someone else stepped on it.
I am sure what you just mentioned are actually the universal human rights according to the UN..
Years ago I paid 22,000 Italian Lire for a cheap meal. This is the same thing with the numbers the other way up.

More broadly, this is now a world in which everyone is short sanity and long craziness, until the "correction" arrives. Meanwhile I need to figure out how to cash out the "litecoin" I was given for free by Keybase.io .. what's the reliable exchange for this?
Because while volume went up the price did also, so it’s costing them 10x to 20x to cover.
I agree. I’d never heard of uniwidth typefaces. It’s good to know about.
Electric cars are coming fast – is the nation’s grid up to it?
I'm not talking about acces to the internet but about app store monopoly. It's similar with MS shipping IE bundled with Windows for which they got fined.
My understanding was, that the delay was mostly because the EU went through a fast track version of the normal certification process while the UK and the US used emergency certifications.

IMHO, it is not important who started first, but about how fast you get to 65+% of vaccinations. I don't have any issue with delays early on, but right now this mixture of political power games, blaming, panic and agenda pushing is risking the whole European vaccination campaign.
By default, npm installs into the local project directory, as it should. Only the OS package manager should touch system directories. Before using the "--global" flag, think about what you're actually trying to do, and what the better way to do that would be. One conventional workaround is to install commonly used tools to "~/bin". Root is not required for that.

Of course, it's a good idea to keep the username used for development separate from the one used for browsing the web. It wouldn't be surprising for rogue npm packages to search for e.g. credit card details. I'm sure the browsers try to obfuscate that somehow, but how much can they really defend against code that is allowed to read the disk?
One the one hand, anyone who ever spent BTC or sold it to someone else appears to have made a bad financial decision.

On the other hand, if everybody had held from the beginning, would this have happened?
Apart from tensor cores and some compressed instructions on small data types, they are not SIMD instructions.

Each individual SIMT lane can actually diverge from the other on the underlying hardware. Active threads are dynamically mapped to SIMT units. You can use __syncwarp() to force reconvergence, to stall until all the threads in a warp are at the same location.

The disassembled code targeting the underlying ISA for a given CUDA kernel is also easily accessible through nvdisasm.
I've worked remotely in various forms, for about 15 years. My remote work experience ranges from State Employee (Management) to independent consultant with large clients, to working currently for a small company who contracts me out. I am currently contracted to a Fortune 500 company as a software engineer and business analyst and have been here for the past 7 years.

I guess not everyone is cut out for remote work, just like everyone is not cut out for open office spaces. I personally love working from home (or wherever) because it works well with my personality. I'm not into interrupting peoples workflows to gab on the regular. I generally get into a zone and once I'm there, interruptions pull me out of that zone and it takes me 30 minutes to an hour to get back into that zone again. Sometimes that becomes even more difficult if the interruptions happen in the afternoons.

I've also found that not a lot of big companies understand how to support employees that work remotely. Everything rises to the level of a meeting (interruption) instead of just posting to a Slack/Teams channel. This pandemic has been interesting in some ways because the people that DO go into the office and actually like that setup, have been forced to work from home. What makes this interesting is that they STILL don't use remote tools for collaborating and my meetings (interruptions) have actually increased because of it. I would ask your potential new employer, what they do to help support remote employees and see what their answers, if any, are.

You mentioned you have kids and are divorced. I cannot tell you how awesome it is to be able to take 5-10 minutes to help your kids through something or spend time with them during a workday. These kinds of little things add remarkable value to your quality of life.

Another thing that makes remote work even more awesome, is if they're flexible hours. In other words, you aren't tied to your home office during regular business hours. This minimizes the interruptions (IMs via Skype or Teams for instance) and allows you to work a schedule that fits your workflow. For instance, I start really early because that's when I do my best work and I taper off in the afternoons and sometimes pick back up in the evenings.

I am happy to answer any other questions that you might have.
I'm saying demand is outstripping supply and there aren't (huge) stockpiles of vaccines. The UK AZ plant is yet running at 100% yield according to the AZ chairman, and the EU plants are further behind. If there were 100% supply, the UK would be even further ahead in its doses-administered.

> Basically the UK took advantage of EU capacity

It's not the UK that took advantage, if the vaccines originated in an EU plant, it's that AZ chose to supply doses to the UK from the EU plant to meet its contractual 'best efforts' obligation, not the UK.

That's my point from earlier that the media are trying to draw the UK into this as some kind of post-Brexit spat with the EU, and that the UK gov. have rightly been quiet on the whole thing so far. That's also, partly, the EU's view on it as well, which is one of the reasons I suppose why they 'raided' the plants in the EU.
It was about Israel. 9m population.

The article uses Israel as the prime example.

There are multiple sources for the deal they made, here is one: https://www.washingtonpost.com/world/middle_east/israel-pfiz...
Not all optimization work consists of attacking the dominating function. Sometimes most low-hanging fruit already are plucked and you'll have to speed up dozens of smaller things and float parsing can be one of those.
Those examples of appeal to authority are a lot more nuanced than I’ve generally seen. It’s generally more blunt, like “we interviewed 5 PhDs about climate change and they all state that there’s no good evidence to support it.” Those PhDs however, were not experts in a domain that could validate an assertion on climate change.

The more nuanced versions in the examples make an uncritical assertion, based on an appeal to an authority in a closely related domain, to overturn an established set of “validated facts” (for the domain, say what you want about a religious creed).
Reading more about things you haven't read about before will increase your total knowledge and therefore make you better off in a holistic sense, yes. In a purely monetary sense, no it will probably not have any effect on your life.
What do you consider an inherent right, then? Nothing aside from being allowed to exist?
You really can’t let it eat you. It’s psychologically and economically almost impossible to have bought it that low and sold it high, as the short list of blocks of early coins sold years later demonstrates. There aren’t many Bitcoin millionaires through speculation or early mining alone.

Same goes for buying significant Apple or Amazon stock in the late 90s and holding until now.
Anyone who has worked with a team in a time zone 8+ hours away from their own can already answer this question. It depends entirely on the technical and communication skills of all involved parties.
Mods have very easy job, they have
to decidee if picture has an underboob, or something is too controversial. Pay is comparable to nurse in hospital.

IT IS low skill job, made by low qualified fresh graduates, and AI already handles big part of it.
Windows Timer Resolution: The Great Rule Change (2020)
Thank you for your work on that
Great resource, I'd like to see something similar for cognitive biases.
In the EU country I come frome, at least two forms of affirmative action are part of employment law.

1) At least 2.5% of the workforce (rounded down) in workplaces not physically demanding must be disabled, or the company pays some taxes. This has resulted in creating job positions that would otherwise be outsourced, in one company I worked in.

Not a bad thing I guess, but the percentage should really be adjusted downwards in 2021.

2) Veterans (a very large group) should be given preference when equally qualified. This does not affect the ordinary software engineers much, but does have implications in management. It is also impossible to fire a veteran. This was one of the factors that created extremely negative perceptions about veterans in the educated sectors of the society.

As for the US forms of affirmative action, I haven't seen that yet in companies I worked in.
But we don't have such a skewed gender representation in STEM as the US has, and in 2021 the minorities who work have equal or greater income than the national average.
I've been working remotely for 16 years now, with a brief (less than a year) foray back into in-office work.

Before shifting to remote work, I spent about seven years working three days in-office, 2 days home.

My experience of remote work is entirely positive, except when I'm working with a client or employer that doesn't really support it. If it's not supported, or only halfheartedly supported, then all sorts of issues and obstacles will magically appear. If it's fully supported by a competent, professional team, though, solutions abound.

I went from a full-time in-office career in Silicon Valley for ten years, to working from home part time for about 7 years, to fifteen years of full-time remote work. It works very well for me. I'm not sure it would have worked as well without the in-office work at the start. Discipline and the ability to manage myself effectively are important keys to making it work, and I definitely did not have those skills at the start of my career. I was also much clumsier in communicating with colleagues, and that kind of clumsiness can be fatal to a remote working relationship. So I don't know it for a fact, but I suspect that the advice others are giving--that it's good to start out in an office at first in order to learn the ropes--might be solid advice.

I live in Northwest Arkansas and usually work on the coasts. My metro area is among the 10 least expensive places to live in the United States. My current clients are in Palo Alto and Cambridge, Mass. Financially, our arrangements are good deals for both me and them.

From my perspective, remote work is an unqualified success. It costs a premium and some persuasive discussion to get me to come in to an office.
But, but...the trading volume!!
A Victory for Farmers in a David-and-Goliath Environmental Case
Like every other "fremium" product on the market that isn't taking Softbank money, RH will eventually increase fees once it takes market share. This is just the promo period.
Totally, I agree that some of their specific examples mention this. Reading the whole site, it was not clear to me whether they holistically viewed "being honest about these things" as inside or outside the scope of their categorization, which prompted my comment
¿𝙃𝙤𝙬 𝙩𝙤 𝙝𝙖𝙘𝙠 𝙯𝙤𝙤𝙢?
I want to kick somebody anonymously. I'll pay
0.12 btc or 151648 dogecoin.