skysight-inc/HackerNews huggingface dataset:
It's not hard to intuit why this formula works, it's basically a combinatorial proof.

For every summand, we select either x or the negated root from every factor. This explains the alternating signs as well as the fact that adding up the exponent of x and the number of factors that go into the coefficient always results in the number of roots.

Then, of course, we still need to group summands with the same exponent.
I think one of our greatest failures as a species is the hubris of _thinking_ that we can "architect a society"
Do you care if you are all that effective in those 2-4 years? Everywhere is a temporary stop, so I really only care about learning tech skills. Get the biz domain wrong? Who cares.
I'll have to look at the strategy you took. Thanks for the article! I now also remember the mention of Mnemosyne, which was the first SRS app I ever used (got me through medical school!). Now using RepetitionsApp x years.
Just started a position in a FAANG as a remote worker, funnily enough accidentally. I am in Seattle working for a team in NYC. I didn't realise that it was technically a remote position, I just thought I would go into the Seattle office but happen to work for a NYC team, this is what I've been used to in the past. As a remote worker the following has happened:

1) I was relocating from where I was to Seattle, and told that I will receive no relocation support because I was technically remote.

2) I was told after speaking to other people I know at other FAANG companies that my seat at the office was not guaranteed. Indeed when I checked with the recruiter and my new manager it turns out that the company does not guarantee you a seat in the office if you are a remote worker.

3) Remote onboarding is a horribly broken and disfunctional experience, I can only speak for the company I am with here your mileage may vary, most links don't work and things aren't really explained well, you end up waiting around most of the time and feel strange, like you are missing something.

It feels very much like being a second class citizen at a FAANG. The perks access clearly isn't there, and there is a lot of assumed knowledge, e.g. "Oh you didn't know you wouldn't be able to go into the office?". Not a fan. I've never felt less like a person and more like a battery.
The "nuanced perspective" here is that regular people don't use MFA authenticator apps. They use SMS 2FA, if anything. Once you accept that, you're right back to "smartphones as a SPOF."
CSV import (from Excel / Google Sheets) is my go-to for this as well. Added bonus is being able to script things - I have some Python scripts that will do a lot of the hard work for me when making cards for a new language (looking up definitions and example sentences from Wiktionary, adding synonyms / antonyms, etc).
> it is difficult to imagine that even a simple dream is possible without something like an ego or an “I” experiencing it, he adds. So if spiders dream, “it might mean that we start talking about spiders having something like a minimal self”

Why would having a self not be a binary feature? If the theory is that a human's self is less minimal because the human understands itself more richly, that seems like two features are being conflated.
No rebuttal, just a general expression of your dislike of Christians. Guess we're done here.
> The crime--facilitating money laundering

Did the people who built blockchains with built-in mandatory mixing (Monero) or optional completely obscured transaction inputs (ZCash) also facilitate money laundering? If not, what is the crucial difference?
Am I myself in trouble for having (co-)designed a mixing service [1]?

[1] https://forum.grin.mw/t/mimblewimble-coinswap-proposal
What promise? Everyone knows Microsoft is addicted to tracking people.

Privacy is just a useless buzzword and means nothing to the tech bros working at big tech companies because they need more ads.
That exception only applies when the license doesn't explicitly reserve the right. Open source licenses could be updated to prohibit use as training data, or at least to clarify the position.
There absolutely nothing upsetting about that to the CEO of your company. I would expect the destruction of your lifetime of accumulated economic value at an age when you can’t possibly retrain to be able to support your previous lifestyle would be rather upsetting to you. Or if not then I would not call that a typical emotional response.
If my wife were the poem-writing type, I would love a poem a day for 30,000 days, let alone four hundred.

But paying attention to people when you give them something is very important. People are different. You may cringe at poems, but I love them. I brought one that someone else wrote for me on my first date with my now wife. We talked about getting married on our first date it went so well.

So I guess what I'm also trying to get at here is that your contribution of your opinion to the conversation may be valid, but it's more kind if it's not so universal as to be judgemental, since mamoriamohit may take it quite personally even though there is a kernel of useful information in what you're saying.
Smart people tend to be libertarian-leaning. It is a most natural predisposition. Most people living in the west are economically privileged.

Ajross, you don't seem to really believe what you are saying. Sci-fi arguments? Really? Since when is the risk from nuclear war, pandemics or artificial intelligence constrained to sci-fi? The Spanish flu, Black Death and the Plague. The Cold War. These events should all inform our way of thinking about risk.
What fraction of people working on AI in general do you think it would be appropriate to have work on AI risk?
Personally I couldn't be happier WFH and I was doing this for 5+ years before the Pandemic.

I DON'T miss the godawful commute by train, housing and rent so expensive I couldn't save anything, air-conditioned offices in which the aircon failed every summer, open plan offices where developers sat next to sales and colleagues constantly brought in new (howling) babies to show off, that guy who filled his "quiet moments" with endless monologues that always started "Hey did I ever tell you about that time when...", endless f**ing face-to-face team meetings with no outcomes... I could go on.

Now my office is set up just right, my network is great, I can have peace and quiet on demand, not ruin my hearing wearing headphones all day, and I can take my new dog out for walkies when it suits. I now do video meetings, and guess what: they're still useless :)

It works for me!
This is the best way to go about this (the first line, the second line is rather variable). Phones didn't suddenly become a single point of failure, it's mostly middle-management combined with checkbox-security that ends up with SMS, TOTP and push-based confirmation factors. It's not the best way, but the easiest way to set things up.

To make matters worse, TOTP is easy to copy for 'backup' purposes, so it's really not all that good (but still orders of magnitude more secure than SMS), but people are now actively encouraged to use multi-device TOTP like authy which practically invalidates it as a separate factor.

There are of course practical implications as well. Giving everyone a Yubikey is problematic due to cost, same with smartcards and readers at every workstation (the card isn't the problem, replacing everything with readers and changing the authentication system to accept smartcards is). RSA SecureID is expensive too, and essentially just TOTP. You could only use FIDO-enabled devices like the ones with secure enclaves, but that has the same problem as smartcards.

One thing that happens a lot around here is people carrying two phones, which doesn't solve anything but does shift the work/blame/cost on the company because everything will have to be done on 'their' device. This is a bit impractical because now you're constantly walking around with two phones, or have to manage which phone you happen to have on you.

On top of everything else: all other second factors can be lost too, that is by design because it is supposed to be 'something you have'.
During the pandemic I debate the good and bad of WFH, but the day I come back to office the ridiculousness of commuting hit me. The carbon emission, the waste of time.. I have a hybrid car, but it was zero emission during the pandemic.
Author here - Religion doesn't demand having lots of kids, though the Bible does say having lots of kids is a blessing.

4 kids 6 and younger is one child every two years. My youngest is 6 months. It's an aggressive pace but hardly unreasonable.

We wanted to have all of our kids together so they could be friends. And it makes the parenting window much shorter (25 years until they are all adults and moving out). Some people spread their kids out and have kids in the home for 30-35 years.
When your code is so bad that the US Government sanctions you, specifically
Github already tracks me plenty. They have knowledge of all my commits, stars, forks and issues!
Even The Netherlands, one of the wettest countries in the world is experiencing drought right now. This is not good.
Most political discussion fits your description perfectly, so of course it does.

Having to explain yourself long form leads to people attacking you and often being correct.
I think that WFH for younger individuals might be a problem: a lot of things I learned when I was young was by chatting with senior engineers and senior management. During coffee breaks or random hallway talk. Basically you do not know that you don’t know and that you do not even know what to ask. And management including EVPs was always marking expresso or teas for them self in the morning thus prompting this unofficial brain dump.

I think that is the only benefit of working in the office. And I really do not how to replicate that in WFH environment.
I agree especially with that last point. There is something about programming that is very difficult. It gets _more_ difficult if you write complex things, but that's not the essence of it. I think it has something to do with raw concentration.

We have all of these tools that help us to write code while making few mistakes. From constrained DSLs/configuration languages, schemas, static typing to automated tests etc. But in the end we still have to exert all that energy to sit down, focus and do the coding.

Meetings, design, coordination etc. All of those things are important, and they can be exhausting in their own way. But programming is by far the most challenging, hour per hour (pound for pound). Making all of these micro decisions, think about the impact of your code, the readability, the correctness. It is _at least_ two times harder and more draining than anything else I do, even when I'm in a flow state and the actual work is fun, more fun than all of the other tasks.

And I agree: It is the most important thing. I mean all of the other stuff is basically there to support the core task that solves your problems: producing working software (except if it isn't but then you have political problems). There are seemingly infinite dimensions for improvement as well, tradeoffs such as performance, efficiency, robustness, usability, leverage, creativity...
Yeah, it's something I can time myself: I'm on about 6 years of daily usage at this point so it comes very easily. Anki also lets you set a time-out on cards as well. I'll know just from looking at the front of the card whether or not I know the word. If I do, space then 'good'; if I don't, space then 'again'. Very rarely I'll know a card but only after a longer moment to think about it - that's a 'hard' card.
Or in my case, I like to weave them together seamlessly. Go drool in standup, read my tickets aloud, and then call my grandmother for her birthday before my next meeting. Or pre-load my work in the evening the day before so I can take off and go to a museum.
To clarify, Cinebench correlates poorly with gaming, office software, web browsing, and video editing. Those are what the vast majority of people buying laptops will use it for.

For people that code, it also correlates poorly with parallel code compilation.
Any chance you could share the scripts?
Here is where the missunderstanding seems to keep happening (regarding White Phosphorous and Tornado Cash). The mere existence of tools like Tornado Cash or White Phosphorous is not illegal (at least wasn't until yesterday), but illegal use of those always was.

The distinction is important, but seems to have been lost somewhere along the way.
Ankidown [1] lets you create cards in Markdown using a text editor.

[1] https://github.com/ankicommunity/ankidown/
Oops. Okay, it's marked now. I just found it and assumed it would be marked directly if it was a dupe. Will check before posting next time.
If I'm not misreading what you wrote about the x13s, isn't it 2x the perf of the turbo-boost disabled i5-1240P in single core? That's a lot!

EDIT: Also confirmed that WSL2 runs natively on Win11 ARM. So you can have an optimized full Linux kernel running on the Thinkpad as well.
An oscilloscope reading the headphone jack might be the simplest thing that might work...unless the problem is underspecified.
No. I disagree. Github should not be able to block anyone they want. We went through this about a century ago with railways, antitrust, and Standard Oil. I won't step through the details, but can provide more background if anyone cares.

We landed with the concept of a "common carrier."

Railways, as well as telecommunications companies, ISPs, public airlines, bus lines, taxicab companies, phone companies, cruise ships, motor carriers, freight companies, and others CANNOT discriminate.

As an individual or a small business, ones does not have an alternative to Microsoft Word, github, or Facebook.

If these companies are allowed to discriminate, we'd be in a position where, again, monied entities can shut down individual small businesses, or ostracize individuals, as they see fit.

Once you provide a sufficiently central service, you should not be allowed to discriminate.
Have you tried DEX on it?
> The disdain for "lusers" came from BOFH sysadmin types, well before it was adopted by the non-"tech", business-focused folks.

Based on the definitions in the thread, I'd say the BOFH attitude is more the inverse: it is contemptuous towards users, whereas the modern practice is more condescending towards users.

The latter still has a notional ethos of catering to the user, but the Monkey's Paw corruption caters towards the user's most superficial desires, particularly at a first impression, while de-optimizing for the acclimated or "power" user.
If there is anyone from Facebook who could help me, my email is: theclarks.99@gmail.com
I'll be honest, this heatwave has been an eye opener for me. I've never been a climate skeptic, but I suppose I have been somewhat skeptical towards the more panicked claims regarding its impact.

As someone who lives in the south of England you become used to seeing green grass all year round. But this summer seeing all the greenery turn yellow and die over the span of a few weeks has been a much needed realisation that climate really matters. I guess I knew it before intellectually, but the idea that crops would fail from climate change just wasn't something that I had an understanding of instinctively. Now I do. It's terrifying how dead everything looks just from a few weeks of hot weather, https://www.bbc.co.uk/news/uk-62432844
> if someone comes up with a good programming language for modern Web-style applications

I posit this has already happened and the language is Typescript.

I don't see how a different language could meaningfully disrupt TS at this point. I don't actually even see what there is to disrupt, to be honest. TS is great and really productive, and scales to large teams well. What language has the potential to be 10x better than it?
Working from home isn't synonymous with a rich social life. Personally, even though I have/had healthy work and personal relationships, I used WFH as an excuse to unhealthily isolate myself for just about all of 2020. Also, I'm inclined to believe employers don't give a damn about our social lives. They want more work out of us and more money.
If the software is performing actions that are illegal, such as money laundering, for an entity that is a threat to national security, that is no longer covered by free speech. Right? Having or writing the code may be covered by free speech but actually using it to do something is not the same thing.

I don't believe that EO is related to this case. These are OFAC sanctions against the entity Tornado Cash and its related ETH addresses. A US person or Entity cannot interact with them any more. But that does not sanction the entire ETH network. That would be like shutting down an entire bank, or the entire banking network, because a couple accounts were sanctioned. That's not what happens.

Or are you more concerned with additional sanctions against the entire ETH network coming in the future?
To save you the lookup: 50 lbs = ~22.5 kg
> and generally a 7-8 years old cheap entry-level 350€ one, you'd be hard-pressed to find even a quad-core in there

My $400 laptop from 2014 has a quad core processor.
The problem with longtermism is the circular logic. Longtermism rewards avoiding existential risk, so longtermism must reward longtermism i.e. one of the worst things you could do to raise existential risk is to criticize longtermism or even abolish it entirely, no matter which flavor of longtermism.
I agree. Clearly there are costs and benefits on both sides, and different people will assign different weights to the costs and benefits depending on their values and circumstances. Ideally everyone would have the option to work in whichever way is most suitable for the situation they’re in, both personally and professionally.
It's interesting that a super key even exists. Normally the enrolment QR codes are one time use only.
> Probably not to GitHub or the courts. If in a few years it is discovered that GitHub missed something they can tell the courts "We did our best to comply, look at all the accounts we killed [and other evidence], so go easy on us for an honest mistake." In general the courts look kindly on someone who tried their best to obey the spirit of the law but missing one hidden detail.

This matters a great deal when it comes to OFAC sanctions. The value of sanctions isn't "OFAC chasing down people on the SDN list", it comes from companies following federal law and blocking transactions that legally need to be blocked. And OFAC recognizes this – just look at their enforcement actions[0] and you can see examples where companies that build internal compliance programs and self-disclose violations come out with limited to no penalty[1], whereas companies that skirt compliance regimes place themselves at much more risk[2].

[0]: https://home.treasury.gov/policy-issues/financial-sanctions/...

[1]: https://home.treasury.gov/system/files/126/20220721_midfirst...

[2]: https://home.treasury.gov/system/files/126/20201020_berkshir...
https://wiki.postmarketos.org/wiki/Xiaomi_Mi_A1_(xiaomi-tiss...

It isn't that well supported in PostmarketOS (charging and OTG), but that sounds fairly fixable. Ideally you'd want both, then connect to a charger/ethernet combo.

You might be able to use the downstream kernel for that, or Termux on Android.
I'd bet almost everyone is logged into email on their phone. If you can trigger a password reset over email, and can access the 2FA (SMS or TOTP app), you can get into just about anything.
Why Not to Buy a Computer Ups (For Internet)
I'm old enough that my first car (a Peugeot that had literally been on the way to a junkyard) had a manual choke in addition to the transmission, though even then that was unusual.

My dad insisted that both my sister and I learn stick, and I have to say, I do kinda miss it. All auto-everything barely feels like driving.
> more accessible and fun than deworming

It makes sense. We know how to deworm. That is an execution problem. The ones I find more interesting are in planning stages, such as how to we fix or supersede capitalism, how do we mitigate climate change, how do we persuade people in power those things need to be done before the problem is so big it becomes intractable.
This is irrelevant to the point the parent made.
Phones are encrypted and protected by a lock screen, or am I being naive?
It might come as a surprise to you, but most people can’t reason about life sciences. Climate change is more tricky than the rest, as you can’t make an experiment to prove a theory. Yes, there’re models that can probably prove the point, but 99.9999% won’t get it. So unless you tell people what to think (aka propaganda) there’s no way to convince the masses.
Okay, how does that relate to open source contributors? Can you retroactively read their minds and determine their intent? Why does their intent even matter? What they were doing was not illegal at the time, and now they are being punished by the US.
Sometimes it's Google services. I've had tremendous success with LineageOS (and CyanogenMod) over the years.
> Last year, a study found that 4.5% of all bitcoin mining was taking place in Iran...

So there is that.

But the story ultimately looks entirely based on a tweet [1] from an official that Google translates as:

> This week, the first official import order registration with #currency_currency worth 10 million dollars was successfully completed. By the end of September, the use of cryptocurrencies and smart contracts will be widespread in foreign trade with target countries.

So I agree that the story is pretty thin.

[1] https://twitter.com/peymanpak_ir/status/1556927239907835904
I mean, if you really think about it distributed public transaction ledgers were really primarily beneficial to those looking to actually understand more about where/how money flows. It's the classic problem of Networks. If there is enough information to ensure that something gets to one endpoint, and not others, that de facto becomes a tracking lever for surveillance and signal analysis. It's part of the package. There is no escaping it. As it giveth, so to does it take away.

Things like the Bank Secrecy Act are only there to guarantee a level of secrecy/protection from other customers. Law enforcement, government, and third party service providers are not counted there realistically. If you want financial privacy, you keep your own books. By that same token though, you don't get to act surprised when the authorities come a knocking with a warrant to crack open your books when they find out you made a poor decision of people to work/transact with.
2. dried fallen palm leaves are extremely dangerous, they are sharp as a knife. I was getting rid of some and it just touched my arm, I now have a 4" scar where it looks like I was trying to self harm.

3. I don't think so, my bamboo or cotton wood trees make so much more debris. At least with palms they are large debris and can easily be tossed.

One thing people don't realize is how much of a pain it is to cut leaves down. I have a chainsaw on a stick that works wonders vs those terrible curved saw things.
When you consider arability constraints and nutritional efficiency, meat is more efficient and less destructive than plants in many cases. Soy production, for example, sufficient to meet global demand requires destroying the Amazon; meat production is much less destructive to land, taking place either on non-arable scrubland or via consuming human-inedible surplus feedstock. (Or on land already depleted by plant farming, like in the Amazon.)

And then in the end you're left with foods with inferior nutrition. I'm not going to stop eating the foods I've evolved to eat (ruminants especially) until I can safely do so without becoming malnourished, weak, and unhealthy. Right now, this is not technologically possible.