skysight-inc/HackerNews huggingface dataset:
Your perspective on this is distorted.

We are talking about an entity that according to the treasury has laundered more than 7 Billion USD, assisted criminals and neglected complying to Anti-Money Laundering/Countering the Financing of Terrorism (AML/CFT) obligations willingly and repeatedly. Tornado Cash has repeatedly failed to impose effective controls designed to stop it from laundering funds for malicious cyber actors, regularly and without basic measures to address its risks.

This according to the treasury goes on for years since its creation, so everyone who actively contributed to the entity is considered a threat to national security and often, if you look at the sanctions list of OFAC sanctioned entities, rightfully so.

Retroactively, and to my knowledge, there is not a single investigation and OFAC sanction that got lifted by a court because the accusations themselves were wrong. And it's not like you don't have the right to appeal those sanctions. Entities and sanctioned people quite often do so, and fail.

See https://www.cadc.uscourts.gov/internet/judgments.nsf/C2B2FFF... for example.

Tornado Cash is not just a foreign electronics company that stumbled into an OFAC sanction because it accidentally sold a Toaster to Kim Jong-un, so he can enjoy a crispy morning toast.

Where you are right is, that OFAC sanctions are a significant impediment to commerce because you cannot predict who will be sanctioned in the future. That's why, as a company or even individual, you need to do due diligence on who you get in business with.

If you import fruits and someone gives you 5k per box of Avocados extra to import them from Mexico to the US asap, you can bet there are not just Avocados in those boxes. You can pretend you didn't know, but if you don't want to end up in jail for providing service to a cartel, you need to make sure there are only Avocados in those boxes and the premium is for extra fast shipping.

Everyone knows that virtual currency mixers are commonly used by illicit actors to launder funds, especially those stolen during significant heists. This is at least common knowledge since the Silk Road days.

So if you contribute to such a project, that has the potential to harm your fellow citizens and contribute to financing of terrorism, without making sure it is complying to Anti-Money Laundering/Countering the Financing of Terrorism (AML/CFT) obligations one hundred percent, you can't just cry foul play and say I didn't know anything of this. Especially if you understand code and the inner workings of said project or have a direct line to the people in charge if you frequently contribute.

So, in my opinion it's more than ok if everyone who contributed to Tornado Cash and enabling it to do what it is accused of, their life should turn to sh*t immediately and everything they touch from here on. Because getting people harmed or financing terrorism or foreign state actors is not a trivial offense. Laundering virtual currency for criminals hurts real people.
What is git "infra" to you?
Boundaries can be challenging because the person who has the least to lose wins. If you have imposter syndrome, need the job financially, etc you’re less likely to enforce healthy boundaries to prevent termination. With that said, there are definitely folks who embrace office theater that you mention in your first paragraph. It takes some work to suss out if the toxicity is the org or the person.
This is not the level of comment quality I would expect on HN. You can do better.
To expand on your float sorting example, sorting a slice[1] in Rust requires the element type to implement the Ord trait, i.e. be totally ordered. Trying to sort a slice of floats will result in a compiler error, even though it might be totally fine as long as all your floats are "ordinary".

Instead, to sort a slice of floats, you have to explicitly specify what would happen for the non-ordinary cases; e.g. by using `.sort_by(f32::total_cmp)`, where f32::total_cmp()[2] is one possible interpretation of a total ordering of floats. This requires writing more code even for cases where it would be completely unnecessary.

[1]: https://doc.rust-lang.org/std/primitive.slice.html#method.so...
[2]: https://doc.rust-lang.org/std/primitive.f32.html#method.tota...
> So you context-switched to read HN and even nod your head?

Indeed.

> Have you gone down the rabbit hole of reading many comments and bobbing your noggin ?

In that particular instance, no, I dodged the HN distraction bullet. But there are no guarantees in life.
> Not having any credit history is becoming a barrier to access more and more services that require an identity check.

Agreed. My husband and I are against debt on principle and it really irritates me that credit history is being used for identity checks. I accept the trade off that a lack of credit history would make it more difficult for me to get credit in the future, but it should not affect my access to non-debt-related services.

We’ve already encountered this problem once [0] and I’m concerned that it will become even more of an issue going forward.

[0] My husband was not able to create an online account with the social security administration because their identity system didn’t have enough info on him to even attempt to verify his identity. He couldn’t even go in person to set it up because the local office was closed due to COVID.
2.1 systems generally use powered subs, not passive subs.

For use with higher-quality bookshelf speakers, you can send the stereo line level signal to a 2-channel amp and pass the high-level speaker lines through your sub. I do this with Belkin AirPlay 2 receivers and it works well.

Not all subs have high-level passthrough though.
Yup. Chase does the same thing. They blackhole SMS to Google voice.
That's a non-sequitur. Just because it would be more effective doesn't mean it's actually worth trying to standardize. I see no accounting of trade offs. I see no accounting for how common the pattern is in practice. I see no accounting for the confusion that will result when there are two methods that behave identically, are named different and should be used in two very subtly different and nuanced ways.

I'd prefer if you just leave me alone to be honest.
Anyone that can’t embrace the freedom of working from home is lost. There’s more to life than a capitalist trap.
More importantly, these contributors are likely to have local forks when they can quickly upload under a different name. They can still create new accounts though.
dont know why errbody has to track each other. in the old days they'd just send you a catalog and if you were interested in something you could just buy it
What do you think telecom equipment is implemented with? Chips and firmware.If it isn't in the microcode, it's an embedded system package. You can thank CALEA.
The proper remedy for bad governance is to elect different public officials to represent you. Jury nullification is far too weak, even as tinfoil hats go. Sure it's a thing and it's not illegal. It's just silly and unstable, and it should never be depended upon by society to replace good legislation and executive power.

Besides the fact that this ruling was about free speech rights, not jury nullification. You can say all you want outside a courthouse as long as you're not disrupting the legal system or trying to sway a particular jury in a specific case.
> Aren't we more than that?

Personally, the more I learn about the intelligence of myself and others, the less I believe that we are more than a bunch of pattern recognition layers.

It used to haunt me. I have come to acceptance. Of course I could be wrong, but that’s my intuition at this point.
Exactly. As a matter of fact it constantly lies to us projecting a convenient reality and narrative so we eagerly wait for the next day.
Yes, they're very similar. Brain is trying to decipher meaning from a noisy and incomplete world.

I've actually wondered if intelligence could be defined through information theory, i.e. intelligence would be the inverse of error rate. Super-intelligence could operate at the Shannon limit.
They can afford it. Our trade deficit with them is about a trillion dollars a year.
FWIW, I don’t think the meaning has been lost; I think the squeaky wheel people on social media have forgotten the meaning when they fail about “the US isn’t a democracy because we have a Senate/electoral process/etc” but I think that’s a pretty narrow slice of people and I think it’s more ignorance than a changed meaning. In my experience, most people seem to agree that representative democracies are also democracies (indeed, even the ignorant people would usually admit that most European countries are democracies despite having a similar bicameral system to the US).
When thinking and planning for the future, it is important not to think of this summer as one of the hottest within recorded history, but as one of the coolest for the next 100 years.

Consequently, an appropriate response to this summer should far exceed what is required to cope with the droughts and heatwaves that we have just seen.
My bank (Polish mBank) even have a section in the webUI to manage these devices along with other access channels.
‘How do you feel about climate change?’
The US Constitution provides protection against ex post facto laws. A retroactive punishment is unconstitutional. It may be argued that these github accounts did not belong to us citizens and thus were not protected. Or it may be argued that Microsoft was doing this of their own freewill and therefore the constitutional prohibition does not apply. But there is generally within the American psych a distaste for retroactive punishments such as this.
The studies so far show that people are stressed a bit more when on call even when not likely to be called. I know for a fact that being on call can raise stress levels but I think there are many variables that should be considered to balance out things. For example, if pages are easily horizontally escalated to another team member (the “going to be unavailable while I watch a movie / have dinner” scenario) like I do oftentimes then stress probably drops significantly compared to the first responder having few ways to abdicate responsibilities temporarily.

Being on call for a hospital is absolutely a different experience IMO than being on-call for a software system. But at the least when it comes to healthcare having had several folks in my family tree being in healthcare in different functions it’s absolutely clear to me that a big reason for the US having a buckling healthcare system is lack of supply of doctors and nurses at the very least to cover each other and to provide better care per patient.
What is the difference? They cannot use that account anymore.
Conservation survey finds native NYS pollinators at risk
If you go camping/offroading/overlanding one popular use case is getting an old Android w/GPS to use with Gaia GPS. You can use the Android Auto app but it's much less feature filled and you'll be using your phone to do a lot of things. Also AA on old/slower devices can be.. rough in my experience.

This is probably really niche for hn. Personally I use an ipad mini w/a Garmin GLONASS GPS receiver.
I find doing house chores help me to be more productive. Sure, some times it bother me that I cannot finish the chores but as long as I split it up well, I feel good.

Instead of slacking for 20 mins after intense work, I stand up, bring the dirty clothoes and put them in the washing machine. That simple act not only pull my mind away from thinking about work but also exercise my body. I save some time as well so it's a nice bonus on top. Now back at my computer, I can have a fresh look at what I was working on.

In office, I either surfing on my phone, watch YouTube for striking a conversation with whoever is in the canteen (this often takes a lot more time as you can't just say time's up, I need to work).
It predates the BOFH a bit as well. I am restoring a PDP-10 to operation and the operating system refers to users as "lusers", non-sanctioned users of the system are "turists" who were just there to gawk at things. It's not so much out of disdain for the people themselves as what they were doing with the computer - when computer resources were limited, it was grating to have to wait while unskilled and uncaring people occupied those resources for frivolous or unnecessary reasons.

Edit: Consider being told something along the lines of "Your DNA sequence has to wait, the CEO has important Facebook posts to read..."
It’s not dead, it’s just that its applicability does not necessarily extend into biology at the molecular level.
Except the "stuff" isn't everything, it's a few specific things (medicine and bednets). No one being given this stuff was about to go synthesize malaria drugs and make a fortune. Nothing is getting in the way of Africa's biggest economic activities such as mining, agriculture, and financial services.
Depends on the security requirements and terms of employment. Where I work now, you’d get a hard token or work phone if you’re deemed as requiring a phone.

In the previous job, you were sent the form for 24x7 building access and were free to drive into work within the on-call response period. You were also reimbursed for your cell phone, that was the bronze handcuff.
"I don't like WFH so you shouldn't either"

If you have no discipline and no motivation, remote work is not for you. You have to make efforts to have social interactions, get out of the house, draw a line in the sand between work and play. It's real easy once you get your ducks in a row.

WFH is a great, but like anything, if you misuse it and can't find ways to be productive and disciplined, you probably belong in an office under the supervision and comfort of someone (or something, such as cultural ethos) having that discipline for you.
meta but: am I the only one who gets an uncomfortable feeling while reading a blog with these constant inline links? I feel compelled to click them but there’s so many I just end up not reading the article at all.
Can confirm from the plugin simulation side. Integrations and import/export are important. Drafting by itself is useless to many companies without facilitating the corresponding engineering work.
In my personal experience, I've seen a captain go back to a 2nd lieutenant (and I think some other punishments) just for giving an illegal order trying to cover up a "small" oil spill, still cost several million dollars to repair the damage to the ecosystem.

I don't know about Julian Assange, personally. However, Julian isn't a US citizen or in a military, so a different set of laws and standards apply.

Before Abu Grab, interrogators were allowed to "do anything as long as it didn't cause 'permanent' damage to their body." It is pretty clear people took that to mean they were allowed to do some pretty fucked up shit. Now the laws are much more stringent. AFAIK, those whistleblowers weren't hunted down.

But in more general, if you murder someone in self-defense, you still murdered someone. A court probably won't prosecute you, but you still did the act, even if it was self-defense. The same applies to "government secrets." Even if the secret is disgusting and terrible, it was still a secret. Whether anyone will convict them for revealing those secrets is a gamble, and probably better to run away instead of taking that chance.

In my experience, there are some pretty fucked up people everywhere, it doesn't matter which country they are from.
Install Android 12 on it and give it to someone. It's a perfectly fine phone.

https://wiki.lineageos.org/devices/tissot/
You should be able to achieve this without also enabling terrorism, child pornography and extortion. Because of this Tornado Cash was never the right solution - it requires you to permit these things just in order to have privacy. In other words it is a bullshit technology and deserves to be replaced with something better. If blockchain in turn requires a solution like Tornado Cash in order to offer any privacy, mandatorily fused with the aforementioned radioactive side effects, then blockchain itself is a bullshit technology.

Just because you find a use for a technology doesn't make the technology good. Nuclear weapons are a highly effective alternative to insect repellent, but that does not justify the general purpose use of nuclear weapons for repelling insects.
That’s what debate’s about. I do recognize that caring about single threaded workloads and performance do contribute to snappier UI (and backwards compatibility).
And that's fine. If that works better for you, brilliant.

But you seem to be assuming that what is better for you must also be better for everyone else, and that's not necessarily the case.
Dafny's verification system can be too rigorous for high performance and rapidly changing codebases. S3 team had a paper[1] last year on how they verified ShardStore using a lightweight formal verification system. Since the system was written in Rust, they wrote their verifier in Rust, as well.

[1] https://assets.amazon.science/07/6c/81bfc2c243249a8b8b65cc21...
This has been my point for the last 5 or 10 years. That's why I have a "home phone" with banking apps, 2FA and important stuff installed. It has no SIM card and never leaves home. For everything else I have my "street phone".
I taught myself discipline years ago I recommend you try that rather than needing artificial constraints to force discipline upon you.
rainwater is dirty, even in unpolluted areas https://pubs.acs.org/doi/10.1021/acs.est.2c02765
Isn't there an environmental impact to a commute?
1) Yes, you can make a script that starts on device boot.

2) Sadly you cannot use node libs. The JS engine I use is pretty dated (Mozilla Rhino) and I dont have time these days to do big changes.

3) Yes, you can interface with Arduino compatible hardware via USB serial or Bluetooth / Bluetooth LE.

4) If you want to do something screen less, you can run a script as a service (background). A bunch of years ago, when the ESP modules were not common I used an Android device as a network interface for my Arduino :)
Iran makes first import order using cryptocurrency – report
I don't think so. The sanctions are against Tornado Cash the entity, as well as specific ETH addresses associated with it. No individuals are cited in the sanction that I am aware of.
I think you're suffering from over-optimism. ;)

So far no language not designed for it has demonstrated that adopting a borrow-checker to interesting real-world use-cases is possible. The C++ project (C++ Core Guidelines it is called IIRC) eventually gave up on soundness. Zig isn't there yet, I am very curious how they will tackle this.

So, I'm not going to use the word "impossible", but I think this is a hard problem and many people are underestimating how hard it is. It is strictly harder than what Rust is attempting, and see all the tricks they had to pull!

Put differently, if you are right, it should be easy to prove pcwalton wrong by just doing it. :)
Working for an illegal business (tornado cash isn't just some code repository, it's basically a SaaS business backed on a chain), on its product, usually makes you liable. That's why people working for cartels are prosecutable.

edit: I believe the term is "criminal facilitation."
Sea creatures pollinate marine plants and algae
Surely the President has the power to authorize locations and/or declassify documents.
It's not that they don't know how to.

It's that there's an economic incentive to not care. So they don't.
This is a huge factor that doesn't get the publicity it deserves. I work in a company currently led by a person who is very preachy about being "green" - i.e. she's a vegan who uses no plastic whenever possible, only shops at health food stores, uses her bike for commuting because she lives near her workplace, and so on.

But she's adamant that everybody needs to commute to the office 5 days a week, even developers, who often have to use a car. It doesn't help that the workplace is in area which is infamous for its traffic congestions (not as bad as LA but it happens regularly that going 15 miles from home to work will take 1h-2h).

Since her announcement that WFH will only be possible when the government is giving strong recommendations (to counter a pandemic wave for instance), I've lost most respect for her and her show-off "green" lifestyle. Especially because developers working at the office are often abused by clueless or unmotivated general staff who can't work the photo copier menu and think they can ask any "tech guy" who happens to be near.
> I do however have an issue with the incredibly high rate of money laundering etc that flows through crypto.

Incredibly high relative to what exactly? The total exchange volume of the cryptocurrency industry? Can you show some figures to back that assertion? OR are you talking relative to the global economy? In that case, it's not even a drop in the bucket.

Clearly the Tornado Cash team should have simply started a bank instead, then they would only need pay a fine and carry on.
Most people can still go into an office if that's what they want to do.

What's not reasonable in general is to expect others to come into the office to motivate you/socialize with/etc. if they don't have to.

In general, it's reasonable to expect to have some non-home place to work at (whether a conventional office or coworking space). What's not as reasonable is to expect a before-times office where everyone comes in every day.
If I had to interact with my co-workers and boss 9 hours every day I would have quit my job a long time ago. And I have no intention of overworking myself to death. At 17:00 I turn my computer off and proceed to enjoy the rest of my day.
Godwin’s Law strikes again. Free git repository hosting is not comparable to the holocaust.

If you want some quotes from their website, here’s another:

> GitHub has the right to suspend or terminate your access to all or any part of the Website at any time, with or without cause, with or without notice, effective immediately. GitHub reserves the right to refuse service to anyone for any reason at any time.

> This Agreement supersedes any proposal or prior agreement oral or written
> Pulling off acquisitions at this scale takes a way more than you are giving it credit for.

I don't think anyone is denying that skill is involved, but skill is often orthogonal to utility. Skill can be abused. Con men, burglars, and pickpockets all have skill. Malware authors have skill. Torturers have skill. I'm not saying sales is equivalent to any of those (OK maybe con men) but the point should still be crystal clear. What people are saying is that Fivetran hasn't succeeded in creating any value, and might even have destroyed value. When a big company "succeeds" by acquiring competitors they quite rightly get antitrust scrutiny because that's bad for competition and innovation. The principle doesn't really change for smaller predators.
People have more than 2 states, not only "working" or "procrastinating".
Working from the office during the pandemic has been hell for me. I avoided Covid successfully despite a lot of social pushback on wearing a mask at work and other precautions until June because somebody couldn’t be damned to wear a mask, social distance, or just stay home. They did none of it. Meanwhile everyone not on my team did get to WFH for the duration and most still do. Stuff like this creates serious ill will and resentment.