skysight-inc/HackerNews huggingface dataset:
Oh wow, are they officially entering the public cloud space?
Apparently Biden did all this stuff during the 2020 election.

The bastard must have a time machine now.

Not saying it didn't happen, or isn't concerning; just pointing out that calling the case Missouri vs Biden is a tiny bit... revisionist?

Also, the article is needlessly partisan. According to its timeline, thd bad behavior started under Trump and persisted under the Biden administration, but somehow only the Biden administration is being called out.
https://en.wikipedia.org/wiki/Verizon_Communications_Inc._v....
On a further note, why does it even have to be inside the case? Make a slit in the case on the top, so that the PCIe slot is sticking out. Stick a GPU in that slot, supported by the case. The GPUs these days look much cooler anyways.
If I donate a book that is banned, the school library will not accept it.

That is a ban.
"Is it possible to create a truly safe language without the dizzying complexity?"

Yes!

The good news is, they even already exist. There's even at least two variants of them: Pure immutable values (Haskell, Erlang) and languages that aren't pure functional but involve lots of little execution units that can't send mutable references between the units (Elixir, Pony) which when used even slightly properly makes unaccounted-for mutation a non-problem. Those are not intended as complete lists, either. I gather Clojure can be used to a large degree this way, for instance. Nor is this a full list of all the possible solutions, just the ones that leap to my mind.

The bad news is, the complexity in Rust is still there for a reason. I see the earlier efforts as something like the same picture as Rust is trying to be, but blurred. Immutability and inability to mutate across threads at all both solve the safety problems, but with a bigger hammer and a blunter flattening of the problem space. Technically, Rust's greater complexity allows it to hug the true parameters of the safety problem space more closely. I suspect that tradeoff is fundamental and you can't have Rust's feature set without roughly equivalent complexity.

Fortunately, not every language has to be Rust. Fortunately, Rust exists for those times when we really, really need it. There can't be one language to rule them all, and Rust isn't going to fill that nonexistent niche. That's OK. Rust only has to be the best Rust it can be, and those other languages can be the best languages they can be, and in the end that's just as good as it can get.

(Also, while this isn't a solution to the safety problem, you can still get a lot of mileage by adopting solutions from those domains into languages that technically unsafe, but work fairly well if you program them with a collection of reasonably safe patterns. I work a lot in Go. It is not particularly safe, technically; safer than C but that's a low, low bar. But in practice I don't have a lot of safety problems with it because I spent years cutting my teeth on Erlang and Haskell and my designs are informed by that.)
vm = virtual machine/memory?

I'm porting this Python library to Rust: https://github.com/Blizzard/s2protocol.

For the shitty, first pass prototype code I've written so far I've seen a ~30-40x speedup compared to the Python implementation and a ~2x speedup compared to a Go implementation written by someone else: https://github.com/icza/s2prot.

That is why I chose Rust over a GC language like Go (E: I also wanted to learn it ofc). It's a lot faster out of the box, even without me having a strong understanding of memory operations.
You perhaps, not me.
A lot of this advice is out of date.

- Most bank ATMs in Japan now accept foreign cards.

- Credit card acceptance remains low by international standards, although things have improved a bit with the "cashless" drive. Carry cash (yen), you'll need it at many restaurants and even some hotels.

- Most rail companies now sell discounted advance fares and LCC airlines are competitive as well, so a Japan Rail Pass is no longer the no-brainer it used to be, although it's still a good deal if you plan to travel a lot by train (say, Tokyo-Hiroshima and back).

- Instead of calling hotels, which will be a struggle because they often won't speak much English, use Japanese booking sites like Rakuten or Jalan.net, which have thorough coverage, the best rates and functional English interfaces.

Have a read through https://en.wikivoyage.org/wiki/Japan, it goes into too much detail at times but is a pretty good primer for all the things in Japan.
Virtual memory != Memory management, your abbreviations are confusing.
I heard they lifted a lot of the restrictions on the pass
So do I get my daily Wall Street Journal Op-Ed slot now or can they still choose who they let publish on their platform and who not?
So your solution to the worry that large social networks have the power to move elections, is to put that power in the hands of the people with the most incentive to move elections?
But kindergarten classes talk about families. And many families have zero, one or two moms; zero, one or two dads. I'm one of two moms and other kids started asking questions about that when our kid was in kindergarten. The Florida law is meant to make kids like mine feel othered and isolated. It isn't about protecting innocence, it's about punishing deviance.
The limiting factor on lithium isn't raw material availability or extraction, it's refinement. Approximately 80% of the world's lithium refinery capacity is located in China. Nobody is refining lithium at scale in North America, so I'd say it's obvious why nobody's rushing to pay American-level salaries to suck it out of wells in Texas.

Tesla has expressed interest in developing a lithium refinery in Texas, so we might see some hoses drinking from those old wells soon enough.
https://www.csx.com/index.cfm/customers/piedmont-lithium-cho...

Brine has to be pumped to evap pools and then refined.
I’m familiar with the so-called evidence you’re discussing. The thing is, there’s no reputable, authoritative source that will go on record right now saying we are positively being visited by aliens. Nobody seems to know exactly what the phenomenon is, if it really does exist. More to the point, the notion of aliens themselves could very well be a culture-bound idea, just like angels and demons and fairies and spirits. We just don’t know. It could very well turn out to be propaganda and disinformation that hides something else entirely.
Garbage. It generates a line-by-line translation of code into English, rather than a concise summary, so we end up needing a TLDRTLDR.

Actual human documentation would read something like:

> Return true if the X-HELPSCOUT-SIGNATURE request header matches the
> base-64 encoded SHA1 hash of the raw request data.
Overall, those who cheat are lazy by nature, and therefore easy to catch.

I teach art and design. Now is grading season and it is maddeningly easy to catch students who plagiarize. Like shooting fish in a barrel.

The contract cheating is another thing. At one of my previous places of employment, companies contacted students directly on their university mail and approach them offering 'educational services'. Some of them even knew what courses the students were taking.
Yeah, I think we're basically on the same page with their methodology and models now.

I didn't realize you were nicknaming the models based on applying them to the result titles, so was quite confused, especially when we both used those words in the quoted sections, so it sounded like you were referring to portions of our conversation. So yeah, talking right past each other.

No, the two models don't correspond to the results cleanly. ie, when the authors claim "Separate introductions of lineages A and B" in the results, they provide evidence from both. (They're presenting the results of the models in support of their phylogeny.) I agree that "Inferring the MRCA of SARS-CoV-2" is pretty much independent of the epi stuff.

> As to "Separate", I believe that's incorrect. That model begins with an SIR-type simulation, and outputs the shape (polytomy structure) of the phylogenetic tree of that simulated pandemic, which they compare against the shape of the real pandemic's phylogenetic tree. Do you disagree? If so, what do you believe is the output of that "Separate" model?

I thought we were over this. We both agree that one of the results of the epi simulations was sampled genetics and a resulting tree from the simulation. That doesn't mean that their phylogeny is the direct result of their epi simulations. Their simulations are in support of their phylogeny. Their theorized phylogeny essentially existed prior to the modeling, and which is why I called them separate, ie, independent.

The `Materials and methods summary` is quite clear, especially `Phylodynamic inference and epidemic simulations`.

edit: Our thread is too deep for HN, might not be able to reply? I'll try and keep an eye for new replies if you want to fork off somewhere else.

But, where's your horse in this race? You speak a lot about what you think sucks and very little about what you actually believe here.

> I agree that the "Inferring" model does not depend on the epidemic simulation. I don't believe the "Inferring" model provides significant support for two introductions though. I believe that's the reason why most public debate has been about "Separate".

Funny. My theory is that most people don't have enough knowledge of molecular genetics to make heads or tails of the paper, and so are of course silent on those results. They didn't follow the debate over the past few years, and are showing up and trying to understand something without context or the requisite knowledge.

When you say "Public debate" you need to admit you're talking about a particular part of a particular website or two where a small number of people are picking at nits and can't even address the core of the findings the authors present here.
I can't say I ever felt like that during school, Uni maybe a bit but not school. My final school year was stressful during exam time but that's to be expected I guess since my uni application hinged on my exam results.

But having said that I imagine it could feel pretty different depending on what expectations you set for yourself, or more importantly - what expectations your parents set for you. If you've got mum and dad looming over your shoulder 24/7 pushing you for more so you can be a doctor/lawyer/CEO/whatever then you're probably going to feel pretty differently about the whole situation.
Relevant conversation: https://news.ycombinator.com/item?id=32945508
Dropped? The UPS guy regularly throws stuff from the curb and I hear it bounce off my front door then land on the front porch.
It's better than cash, but there are better investments.
That sounds like what Google's PR department would say, right before their lobbying arm turns around and promotes a data privacy law that absolutely obliterates citizen rights. The smaller data broker can't afford the privacy-compromising lobbyist department, so I would still rate them less dangerous for privacy overall. I'm not even sure the big companies do a better job, it's certainly more damaging when it goes badly (e.g. Equifax)
So “review” now means “purge“?
Sorry for in advance for the dumb question...

Are red dwarf planets over represented due to detection methods?

Or is there some sort of astrophysics related reason red dwarfs would be more likely to have super earth class planets in orbit?

Basically should we hold out hope that with better detection techniques we will be able to detect more planets that are similar to our own.
Thanks for supplying the extra detail as a counterpoint to my flippancy. I was aware that the Nobel Prize for Economics was "not a real Nobel Prize" but didn't know the Peace Prize was also quite separate from the science based awards.

It does make sense though, seeing as the scientific awards are generally awarded based on actual breakthroughs, whereas the political ones are, let's say, fuzzier.
This isn't the surrounding city, this is a group of "concerned citizens" in the surrounding city - which is a big difference. The citizens of that city will likely be hurt by this, since it may cause a drop in tourist revenue and employment from Disney.
This is (much less of a) problem on a flat layout, like what used to be called a "desktop" case, instead of the conventional tower. Then the weight of the card is just pushing straight down in the direction the card already wants to be oriented.

I'm using a pretty heavy modern GPU (ASRock OC Formula 6900XT) in a Cooler Master HAF XB with that layout, and sagging and torquing is not much of a concern. The worst part is just fitting it in, since there's like 2mm between the front plate and the board-- you have to remove the fans so you can angle the card enough to fit.

I also suspect that if we went to the 80's style "a full length card is XXX millimetres long, and we'll provide little rails at the far end of the case to capture the far end of a card that length" design, it would help too, but that would be hard to ensure with today's exotic heatsink designs and power plug clearances.
For simple CRUD app maybe, but the moment you start to do anything more complicated, aka manipulating data it's a complete different story.
TikTok Execs Resign After Being Asked to Take Orders from Chinese Parent Co
If I had to guess: Safe Rust, Unsafe Rust, proc macros, declarative macros, the attribute language, and maybe async Rust (although I'd really just consider this sugar on Safe Rust).

I love Rust, but I would love to see more syntactic unification between these components. Both macro languages, in particular.
Political speech is speech. In fact it is the most important speech to protect.
If you consider the latter years of his presidency, as well as his immediate post-presidency retirement, it'd be more accurate to say:

"Ronald Reagen was probably innocent by way of Alzheimers"

A lot of people who met him during the last two years of his presidency described what we now know to be early symptoms of Alzheimers. He also came out publicly as having it not 5 years after leaving office.
The reason that Binance is able to charge less is because they're not really regulated and they're able to pass that risk directly on to you.
Hell, I have dreams that I've forgotten to attend class all semester long in grad school and the final exam is tomorrow, and I never even went to grad school! It's like my brain subconsciously realized the undergrad panic dreams no longer make sense as that's too long ago, so now they've evolved to something more suitable for later in life, even though I never did that thing.
A backplane and a bunch of additional connectors add cost that the PC market doesn't want to pay.
My understanding is it’s a combination of both - red dwarfs are the most numerous and super earths are the most easiest to detect with them (smaller star, larger the effect of the planet on its characteristics and luminosity).

I am also convinced we will find planets better suited for us than earth eventually. But I doubt any of them would be in any meaningful close distance.

Even if you can imagine a 100 year or 500 year ship (like in Expanse) that can get to a planet 10 LYs away, imagine if it’s 100 or more. We might be SOL.
In that case, what makes HN different from Facebook? Should HN not be able to ban overly political posts? Why can’t Facebook claim to be a private club that you have to join?
Was there a violation of the 1st or 4th amendments here? It would seem that the charitable interpretation of the big tech companies' actions is that they are willingly working with the government to provide the best information to their citizens in order to promote the general welfare.
Thanks for that feedback re: pricing and demo.

It's always a tricky balance, but I definitely sympathize with the feeling of just getting started without having to talk to a salesperson.
Yes I’m sure other people in the city really want to take on Disney’s debt and want to take responsibility for zoning, police, fire, etc for Disney?
No love for Grant’s Interest Rate Observer? It’s an expensive luxury piece for sure, but the quality and the subject matter are well worth the price imho.
In most academic areas my experience is you can get high quality education just about anywhere with serious study, but I have heard some math professors express that getting with a top advisor is super important to help bring you to to the frontier of research. Do you have any insight into whether this is true? Also just curious what your field of math is.
It is all bullshit.

One of my favorite engineers dropped out of college because the university (UC) demanded an English proficiency test for the diploma after completing 4 years of of school.

Now they have 40+ patents and confounded 3 biotech companies with 9 digit exits.

Friends from the old days ironically refer to them as Dr.<Name> because they are the smartest person they know.

Sort of a community bestowed honorary doctorate.
The issue at hand is whether or not you can spend unlimited amounts of money on that speech via a corporation. Individuals cannot spend unlimited money donating to political campaigns, for instance.

Ultimately, we value free speech because it leads to a more fair and just society. It's not a rule that is followed by blind faith. Personally, I think allowing unlimited corporate spending on political speech amplifies the voices of a select few so that others are not heard. Essentially censorship of the masses. I fail to see how that leads to a fair and just society.
Issued by Coinbase. It is owned by whoever has it.

They are also easily and instantly (and perhaps most importantly permissionlessly) exchangeable to hundreds of other tokens thanks to DeFi swap smart contracts.
It so happens that NuScale went public exactly 6 months ago. Since then S&P500 went down more than 15% while NuScale went up more than 30%.

As for Boom, I have to admit, they have a problem.

The problem is that companies like GE that make jet engines, can make quite some nice profits by selling to the military. The XA100 [1] most likely exceeds any requirements Boom can only dream of, but being military technology, it is off limits for them. If GE lands a fat contract to provide engines for the F35, then they'll sell thousands of engines, with very little uncertainty. Getting involved with Boom will only complicate their life. If they don't fully compartmentalize the two departments, they can get in trouble. If they do, there's no synergy. Plus, the doubts will always be there that they leak military technology to the civilian side.

That's a shame. GE makes some incredible jet engines.

Maybe the war in Ukraine will end and one day Putin won't be president anymore, and Russia won't be under sanctions. Then Boom could buy an engine from Saturn, such as [2], the engine that powers various Sukhois. The military-civilian tension will still be there, but Russia will need to export things, so maybe a deal could be made.

[1] https://www.geaviation.com/propulsion/military/xa100

[2] https://en.wikipedia.org/wiki/Saturn_AL-31
Yeah, and all the advice we get is lagged by 10-20 years. Parents are pretty far removed from the reality of entry level job markets and changes in industries
Quite the opposite is true. USDC payments are fast and irreversible.
Offtopic, but the font in that site drives me up the wall: fixed width with that skinny cursive "f" is like nails on chalkboard.
Scalability, portability, and consistency.

Doing more work at scale these days and running into Elasticsearch, NiFi, and so forth.

I don't have to like the fact that java has to have its own keystore, and that the elasticsearch.service invocation has 35 (!) arguments by the time it reaches its launch. But these enterprise tools provide a methodology for getting granular when it makes sense.
So if you set up a mail server should the government also be able to dictate what you do with it?
According to this link (posted below and includes benchmark results and a benchmark you can run), they compared result style error handling with conventional exceptions in C++, and the result style error handling (using an impl of std::expected) was "more than four times slower". According to the link and my understanding, exceptions are essentially "free" at runtime in the non-exceptional case on certain platforms such as Linux, but slower than result style error handling in the exceptional case.

I prefer result style error handling personally and I am not suggesting that it's worse or shouldn't be used, just thought the findings were interesting and worth considering.

https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2022/p25...
There's something wrong if a language is so unsuited to programming itself that it needs another language - or five more languages - to get the job done.

This is one of the great things about JavaScript - it's flexible enough to do everything in its ecosystem.
The fact that people were excepting the medical community to have prophetic knowledge about a novel virus barely a month after it had been confirmed speaks more to the American public's poor understanding of the scientific process.

I don't expect them to know everything. I do expect them to acknowledge when they don't know everything, rather than bouncing from one end of unwarranted certainty to the other.
Modern text rendering with Linux: Overview (2019)
For those who want something less complex than Rust, but with some of the baggage of C++ removed, I would recommend trying D.
I made this GIF to illustrate the point of how large these new high-end NVIDIA Lovelace consumer GPUs are: https://i.imgur.com/327INxU.gif

This is the ASUS RTX 4090 ROG STRIX. Air cooled, no waterblock. That is a mini-ITX form factor motherboard, hence why it looks so comically large by comparison.

This is one of the physically smallest 4090s launching. Its confirmed weight is 2325g, or 5 ⅛ lbs. Just the card, not the card in its packaging.
> Only downside is the case has to be taller

Not necessarily. A flexible interconnect would allow the GPU to be planar with the MB; just bend it 180 degrees. Now your GPU and CPU can have coolers with good airflow instead of the farcical CPU (125mm+ tall heatsinks...) and GPU cooling designs (three fans blowing into the PCB and exhausting through little holes...) prevailing today.

My idea is to separate the whole CPU complex (the CPU and heatsink, RAM slots, VR, etc.) from everything else and use short, flexible interconnects to attach GPUs, NVMe and backplane slots to the CPU PCB, arranged in whatever scheme you wish.
Basically no. But if your company has a Japanese branch and is willing to transfer you there, then maybe. But be aware that visiting Japan as a tourist vs living and working there are very different experiences, and plenty of expats burn out within a year. Visit first, maybe do the digital nomad thing for a bit.
>Do you really want corporates to decide what political views you should have access to?

No, which is why no one is stopping you from typing in a URL in your browser and visiting a website.

But a computer owner should be able to decide what goes on on their computer (even google or Facebook). The network that connects everyone is what should be regulated and forced to be “free” or “unrestricted”.
This would be such an amazing premise for a scifi movie. One such planet drifts through the solar system, and we have like 3-5 years to make contact with whatever lives there before it drifts away.
Speaking of cryptic UX, though that one at least is standardized nonsense.
You can immediately exchange your USDC payment for some other token that retains full control, via DeFi contracts like Uniswap.
Show HN: Serverless User Avatar Fetcher in Go
I don’t dream about school. I barely think about my childhood at all. (For which I am eternally thankful.)

By all rights, I should have nightmares from those years but all of mine come from more recent events or entirely fictional ones.

The good dreams are usually out of the stories I write.