skysight-inc/HackerNews huggingface dataset:
There are mutexes & other synchronization primitives. The stdlib doesn't ship a thread safe Vec or HashMap, but there are many on offer from the community. Rust's stdlib is small; lots of functionality you might expect is in community provided libraries (at least presently - I imagine thread safe collections like that will be added in the future, when the community comes to a consensus about how they should look). This works out better than you might expect, and avoids hazards that say Python encounters, where parts of the stdlib are so bad there is no safe use case (looking at you, `csv.Sniffer`).

In Rust, there are traits (you might know them as interfaces or protocols from other languages) called Send and Sync which tell the language whether or not something can be send to a different thread, or shared between threads.

Vec<T> is Send but not Sync - you could pass ownership of it to a different thread, surrendering your access to it in the process, but two threads couldn't share access to it. Almost everything is Send, unless it contains references to some thread local state.

Mutex<Vec<T>> is Sync - you can share it between threads. Basically if you take the lock, you'll get back a smart pointer to your Vec<T>.

These traits are generally implemented automatically; you can implement them on a type yourself, using unsafe, but you'd only do that if you were writing your own synchronization primitives or thread safe data structures.

So; the compiler is able to infer which types are and are not thread safe, and what flavor of thread safety it has. It's then able to use that to check for thread safety violations at compile time.

There's more to it than that, in particular it's possible to share a read-only reference to a Vec<T> between threads (with a compile time guarantee that no one has a mutable reference to it), but I'd refer you to the book[1] or to other articles on HN of you wanted the specifics.

[1] https://doc.rust-lang.org/stable/book/
Right, but a license is more permissive than no license.
There are two options - don't mine, or mine responsibly. One of those options isn't realistic, so it's really only one option.

It's also the primary concern of the linked article, 'lax regulation', not necessarily mining itself.
No. If he doesn't touch it, he's fine.

Everyone has been dusted by Tornado Cash tainted ETH so it's unlikely they'll go after him.
Denying the revelations to Muhammed? Cringe.
Ask HN: Why Sabatier reaction is not used in need for optimal methane synthesis?
As I am studying some chemistry for one of my main projects, I was curious why Sabatier reaction producing methane from CO2 and hydrogen
is not used on a wider industrial scale for methane synthesis? Can't an appropriate startup leverage some AI for cost-effective etc methane synthesis optimization?

[1] https://en.wikipedia.org/wiki/Sabatier_reaction
This was my reaction as well.

The justification of this is pretty obvioulsy, police love [d-cking around with] Police State surveillance tools, which have as much allure as their military cosplay as well as providing a rich vein of feeding off public funding and associated grift payback and political donation.

The actual use case which translates into public safety, especially with respect to property crime and the cluster of adjacent unenforced lifestyle-degrading failures of SF policing, seem to in no way justify the expenditure.

And that is 100x as true because plain old community policing consistently proves infinitely better return on value.

Not that actual proven return on value ever provokes investment in plain old community and social welfare, in our current dystopia...
Let’s not turn reports of being difficult to work with into armchair diagnoses of serious mental health conditions.
> (with p ~ 10%) in a single human-to-human transmission.

That math is absolute garbage. One, the odds of a C/T -> T/C double mutation in a single transmission for the clade-defining markers isn't the same as T/C -> C/T, so at the very least you need to state an ancestral lineage to do any math like this. It also doesn't take into account the different priors for reversions, synonymous mutations, and the C-T transition bias in humans.

> When they built the real tree, they observed that any single root fits badly.

No. Go read the paper again. ("Our unconstrained rooting strongly favors a lineage B or C/C ancestral haplotype...") It's when you try and root in lineage A that things go sideways.

> I believe you prefer to think in terms of construction of the phylogenetic tree for the real pandemic, like to frame the question of number of introductions in terms of the number of roots for the tree.

> More roots would fit better; but that's always true for any phylogeny unless there's a penalty for each additional root,

No, it's not multiple roots, they just place the likely MRCA of SARS-CoV-2 in animals. ("If lineages A and B arose from separate introductions...") It's one tree. With one root. However, that root is in an animal instead of a human.

You can calculate the MRCA for any portion of the tree, including the descendents from the two+ hypothesized introductions. This MRCA is distinct from the SARS-CoV-2 MRCA. Is this what you mean by multiple roots?

> It seems like we disagree as to what forms the paper's core result, though. I'm taking my own cue from Worobey's Twitter comments

If you're trying to understand the paper's core result, read the paper, not twitter.

The first paragraph in `Discussion` frames the crux of their argument I was trying to get across. Notice that they cite the paradox I'm trying to get you to understand, as well as citing genomic diversity as core evidence, as opposed to any argument about the exact timing of A and B samples, or the unlikelihood of multiple mutations.
> Note also that sellers could adulterate their product (no regulations, remember?) in any way they saw fit as long as it maximized their market efficiency (profit margins, basically), based on the belief that customers could shift to other producers if they didn't like the product.

They could add addictive drugs [back] into 'normal' products without telling people, to get people hooked on their product, which would 'force' competing products to do the same or risk irrelevance.

For instance, Coca Cola could quietly reintroduce the cocaine to their already poisonous concoction, making it even more addictive. Pepsi would be incentivized to follow suit.
Good to know, thanks. I'm not the author, just stumbled upon it today.
> That's only possible because the science itself is difficult.
So was (and still is) landing a man on the moon, but we still managed to do it.
Difficult doesn't have to mean "impossible" and accepting wrong/bad results just because getting the right results is hard, is plain stupid, at best.
The vested interests of multi-billion $$ corps who often directly and indirectly fund the said "researches" make it hard to take lot of research at their face values.
There is good reason to question your doctor and nutritionist, out of genuine concern for your own health and well-being. And if a doctor is not open to questions or addressing our concerns sufficiently, we should be on the lookout for a better doctor.
My main takeaway from this is that I need to go watch The Wire
I mean, the line hits a bit different coming from Steve Jobs, he built* the fucking thing.

* yeah yeah, I know
This looks incredible, looking forward to an official release to play around with!
This is like asking if Spanish should be considered free speech. Or watercoloring. Or interpretive dance.

Regardless of the medium, speech is protected ("free") depending on its contents and context.
Whats CRC?
I never stopped using it. All of my coworkers moved to Atom, then VS Code. But I'm still very very happy with ST.
We aren't going to support Heroku buildpacks. We are working to make more frameworks easy to launch with minimal configurations. Which means – hiring people to work specifically on those frameworks + docs + builds.

We did bake nixpacks into our CLI recently, they seem better for our particular environment than buildpacks. Railway.app did a great job with these: https://nixpacks.com/docs/getting-started

We're working on managed databases, but we're not doing them like Heroku did. We just launched a preview of managed Redis with Upstash: https://fly.io/docs/reference/redis/

This seems like the future of managed databases on a platform like ours. There are companies that build very good managed database services. We're getting to the size where these people will work with us. Getting well managed DBs onto the platform is basically what I'm spending all my time on these days.

Incidentally, we're a lot cheaper than Heroku because we run our own infrastructure.
The fucked up thing is, this kind of thing was a triviality with old-fashioned landline POTS phones. You just call up your telephone company and order "Distinctive Ring"[1] service and Bob's yer uncle. Now, with cell-phones this is a byzantine nightmare requiring multiple SIM cards and only works with certain phones, isn't necessarily available from all carriers, etc., etc.

[1]: https://en.wikipedia.org/wiki/Distinctive_ring
The best argument I’ve heard in favor of culling like this is that if it wasn’t worth doing two years ago, and wasn’t worth doing one year ago either, it’s probably never going to be worth doing. In this view, legitimately good ideas that never quite make the cut are dangerous because they eternally distract & waste time for no value.

As a methodical person it’s hard to digest, but I’m starting to find it holds water.
I’ve personally learned in life to focus on excelling at being corrupt.
I have this same experience. I put ubuntu LTS on a family member's computer back in 2011, made sure the browser icons were big and front/center, and the support nags stopped. They said they loved whatever I did. I think there is some security-by-obscurity in there too, where all the insane spam/fraud/virus stuff couldn't even work on ubuntu if she ended up clicking on one. Nowadays I take it with a grain of salt: The support nags might have also stopped because other family got scared I would wipe their computer and put this new thing on there they were scared of having to learn.
> Hopefully next time I design a latency-constrained system I remember to look at that article

Nah. Your next step is to read "Data parallel algorithms" by Hillis and Steele, which starts to show how these principles can be applied to code. (Much higher-level, easier to follow, paper. From ACM too, so its free since its older than 2000)

Then you realize that all you're doing is following the steps towards "Map-reduce" and modern parallel code and just use Map Reduce / NVidia cub::scan / etc. etc. and all the modern stuff that is built from these fundamental concepts.

Kogge and Stone's paper sits at the root of it all though.
Yep, it works pretty well if you combine it with a JSON schema validator and call the validator in a isX(data: unknown): data is X type guard.
I thought PSI (Pressure Stall Information) was the modern way?

https://news.ycombinator.com/item?id=17580620
cyclic redundancy check
I agree that pacing and breaks are important and I didn't mean to imply otherwise. I was offering an alternative perspective to the claim that "most people only have 4 hours of work in them". I just don't think that's true for people who are working on things they find intrinsically motivating. I'm also skeptical of the claim that that 60 hours a week isn't healthy long term, assuming you have the right habits in place. But I'll admit that I haven't really looked into the research on this, if it exists.
The issue isn't the figure 50, it's the drawing pool.

Thread-initial description was 50% of the market, which is ambiguous. It could refer to either the market in sales, which indicates highest growth, or the market in userbase, which could be the layman's “common”.
I think a trust can also buy $10,000. You can also gift I-bonds (say to family). I think they can only receive up to the $10k worth of gifts per year, less what they've bought themselves, but (and this is important) the bond itself starts earning interest immediately, when they are gifted, not when they are received. So the family member can just take it next year, after it's already started earning at this year's higher rate. I'm not a CPA or financial advisor, so please double-check me on this.
Narrator: "They weren't"
(Warning: Personal plug incoming)

I fully agree, especially when it comes to the "semantic" part of the semantic web. Reusing and publishing ontologies that define those semantics always seemed like an afterthought of the semantic web, when it should be part of the foundation that things on the semantic web are built on.

In most other parts that make up a website (JS and HTML) we figured out how to make reuse (mostly) work by replacing flimsy web references with package management. Ontologies never had something like that, and thus were stuck in an early 00s era of software/ontology development.

Where I work, we are building Plow, a package manager for ontologies (https://github.com/field33/plow) as part of our tech stack to improve that situation and allow people to build applications with large-scale stable semantics at the core.

As part of building Plow we are aiming to make the process of creating and sharing ontologies easier and with that also lowering the barrier of entry to that domain.
Hungryland
2000, 1400 years, all the same for this purposes - long time ago, lots of societal changes, they could have changed their mind.
Well, we first named it "pypi-cache" but there is a package named "pypicache" from the year 2007 and we had to rename it. We always thought of it as a "cache" rather than a "mirror"... but yes, "mirror" is more appropriate. Btw we released it just 1 week ago which is also maybe why you did not find it.

1. Well, the flag "--index-url" explicitly says that "... should point to a repository compliant with PEP 503 (the simple repository API) or a local directory laid out in the same format". PEP 503 defines the directory structure where there is a folder per package, an "index.html" on the root with a link to each package and *an "index.html" in each package folder that has a link per available file*.

URLs are not limited to "https", they can also be relative paths. So the trick we do is to download the file to the folder of the package and add an anchor to that file in the "index.html" of the package. For example,

If you go to https://pypi.org/simple/numpy, you will find links like the following:
<a href="https://files.pythonhosted.org/packages/f6/d8/ab692a75f584d1..." data-requires-python=">=3.8">numpy-1.22.4.zip</a>

But we download it and write,
<a href="./numpy-1.22.4.zip" data-requires-python=">=3.8">numpy-1.22.4.zip</a>

This is specially important for us because we cannot setup any kind of server.

2. Okay nice. Yep, we thought that parsing would be more difficult and that relying on parsing would be problematic due to the different build-systems and that many packages still do not have the "pyproject.toml" file. We opted for a manual approach in which you do "pypickup add" until you have no more "dependency missing" errors. Your approach looks much better to me, but like you said is limited to "pyproject.toml" and "setuptools" right now.

Btw, does it also downloads extra dependencies?

3. Nice. I also stopped using Poetry for things like that, but now I manually write my "pyproject.toml" with "setuptools".

I like the idea on trying to parse the dependencies. I will probably try something but since we download all files (filtering some of them), it would be more costly. Maybe in some weeks when I'm more free.
what I meant is that you cannot only consider money when making choices about energy, you need to consider materials and their CO2 footprint.

prices change, physical units don't.
Our lot isn't closed, and it's adjacent to a mall. So the only way we'd electrify each spot is with pay outlets (which is what the current 2 are). Otherwise we'd have people leeching off of the company.
People who are so image conscious that they care about that kind of thing in themselves or others really seem like they have their priorities in the wrong place.

It ends up being a great filter, leaving things around to bother the kinds of people you don’t want to impress.
Full text: https://archive.is/MpOuR
Aaand its been moved into a Coinbase wallet https://etherscan.io/tx/0xb96a793fbf83ff0b729a12288566f26ed5...
One could use GPT-3 to generate new HN comments.
vim and all the low level libraries and tools that I don't even notice I rely on every day
I'm guessing cyclic redundancy check. You turn the game state in each tick into a number, then play the exact same game on both platforms. If you get the same stream of numbers, you can be pretty sure the game is behaving correctly.
I'm talking about every occurrence that might be pushed, so it's the TV ads, webradio ads, search suggestions, ...
There is webview, a low level C library with various bindings that can be used to create a webview using os provided browser and interact with it. Wrt. featureset its is a lot more simpler and lower level than both electron and wails.

https://github.com/webview/webview
Fork - a fast and friendly git client
https://fork.dev/

Beyond Compare 4 - compare files and folders
https://www.scootersoftware.com/

uBlock Origin - An efficient blocker add-on for various browsers. Fast, potent, and lean.
https://github.com/gorhill/uBlock

Those tools made my life so much easier. Can't recommend them enough.

Just a happy user and not affiliated
can't speak for everyone else, but it seems like a canary. They grew really fast the last few years, so many people joined google recently, with all their reputation for tons of perks. Their new perks are going away, that they just joined for. That's probably a bit of a shock as well.

> they simply don't understand the belt-tightening when they think the company is doing well, or something else?

When you make a median of $300k, being told you need to cut a $50 sweatshirt this year out of the budget, its pretty confusing and concerning.

> is it because the travel was fun, or effective for project success, or effective for personal advancement, or something else?

Probably all of the above. With COVID, lots of teams (at lots of companies) became more distributed, and meeting in person is important occasionally (IMO). Travel is fun, and google tends to be in the fun cities with fun offices (SF, NYC, etc) so traveling to those cities is probably an enjoyable trip compared to flying to eg. Milwaukee. With a "fun budget" even if you have to work, you'll probably enjoy those trips beyond the work.

> How concerned are people about possible layoffs, possible declining TC, and/or possible changing nature of the work lifestyle?

I imagine considering the the earlier claims of "20% productivity increase", product cuts and stalled hiring, layoffs probably feel around the corner for many people. Having to output 20% more is no easy feat unless you really weren't working very hard.

> Are there any pre-existing concerns that talks of belt-tightening are adding to?

I think its just that lots of people are new to this lucrative perk-filled rich company and its an affront to their expectations and potentially reason for joining.
FreeBSD used Windows NDIS binary drivers as well.

The current way FreeBSD runs Linux drivers is by providing compat shims, not via any virtualization.
Monkey Island Theme on Eight Floppy Drives
emacs, magit, i3, arch, lisps and descendants, firefox, mpv

magit especially
Can't wait to watch people trying to scan QR codes from their TV with the selfie camera on a laptop or even desktop.

Agreed that QR codes are better for mobile devices and sometimes useful on a laptop.

But also QR codes can only be scanned as long as visible.

corp.ltd/specialoffer is easy to remember and type on any device
Did Jobs conceptualise it or did someone at Apple?
you dont actually have to be a member, there are a lot of contractors.
pass the background checks so you can get security clearance, and offer the most consistent best of your ability.

depending on where you go, it may be an asset to be able to identify fake drugs vs real, and to be able to function reliably if you are somehow intoxicated by a beverage spiked with extreme quantities of THC.
You can route arbitrary TCP or UDP services through our load balancing layer just fine. I'm not sure what SIP actually needs, but it might work. We don't currently have a way to route TCP connections directly to individual VMs, so stuff like WebRTC doesn't work.

We do support HTTP/2.
Is it true the knights mostly fought the peasantry and rarely other knights?
Notepad++ requires GUI, buddy. Vim is console app.
I know Square is venturing into this space if it isn’t already in it with Square e-commerce.

It seems like right now the only viable option in this space is Stripe. I’m hoping Square e-commerce can provide be the next competitor in this space with good DX.
Probably much more important than chivalry: you can't ransom off a captive who is dead.

Ransoms were really, really large in that period. Five years after this battle, the English captured the French king at Poitiers. His ransom was 4 million gold coins plus, I think, various concessions. The French ended up having to pay a lot of ransoms through the whole war, and as a result, the nobility and crown were so poor they couldn't prevent banditry and famines.

Barbara Tuchman's A Distant Mirror: The Calamitous 14th Century is a very engaging account of this period.
99% of student writing is trash already. I don't think the point is to produce great works, just to provide a more relatable way for students to engage with the material than traditional boring assignments.
(edit: If the money is from Tornado Cash), the money is sanctioned, he has to block it from being used anywhere and he must report it within 10 days according to the law (although the treasury realizes that many people receiving this money don't have legal compliance on staff and so they're cutting people slack)

> U.S. persons may have received unsolicited and nominal amounts of virtual currency [...] from Tornado Cash, [...] Technically, OFAC’s regulations would apply to these transactions.

> Once a U.S. person determines that they hold virtual currency that is required to be blocked pursuant to OFAC's regulations, the U.S. person must deny all parties access to that virtual currency, ensure that they comply with OFAC regulations related to the holding and reporting of blocked assets, and implement controls that align with a risk-based approach.

> 31 C.F.R. Parts §§501.603 and 501.604 require blocking and reject reports to be submitted to OFAC within 10 business days

> A report of blocked property is to be submitted annually by September 30

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

The only thing that was donated here is a legal compliance headache that will continue for years to come.
Everyone needs a hobby! :D

A year ago, when the fourth movie's trailers premiered, I wrote a script to slice the glyphs out of the video, and then identified the new ones and redrew them as best as I could.

I missed a couple "punctuation marks" but the Resurrections version of the effect was live _ten days before_ the fourth film came out!

Lately some behind-the-scenes footage hit the web, and I was able to improve those glyphs them substantially, release a font, etc.

https://www.reddit.com/r/matrix/comments/wvg7bn/progress_sho...
> hardened Americans already know how to deal with it.

What do you mean? Most Americans who lived in such places complained a bit, took no action to protect themselves, and many are dead or chronically ill as a result.
I use a share screen shortcut in iOS to do something similar.

Very simplistic, but here’s a link if anyone would find it useful: https://www.icloud.com/shortcuts/ac27cb797ddc479784f22631d69...
I'm curious, what sorts of speeds do you mean for "slow"?