skysight-inc/HackerNews huggingface dataset:
Do you think that the linked Twitter post, quoting from Reddit, is using the same definition of "Rust community" that you are?

This seems like another instance of the above pattern, where "Rust community" is simultaneously:

(1) The set of people who talk about Rust online in major forums, such as Twitter and Reddit, and

(2) The set of people who post on the moderated low-traffic official forum.

I don't think most people, when someone says "Rust community should ...", would consider that to be scoped to people posting on rust-lang.org.

Consider that according to https://users.rust-lang.org/u there are 22,000 registered users on the rust-lang.org forums. There are currently 191,000 people subscribed to /r/rust, and since it's Reddit there's no need to be subscribed to post or comment. The number of people talking about Rust on Twitter is less practical to count, but probably at least the same order of magnitude.
Is there a search engine out there that implements the good old page rank algorithm?

The patent expired a while ago now.
Hmm. I'd say subconscious might get you away from immediate danger, but it's often a conscious decision to anticipate future danger based on past events, and this feedback loop is sometimes quite small, such as deciding which path to take while being pursued.
VLAs don’t smash the stack.
Rust Default Values for Maintainability
No one outside one country in the world really uses SMS anymore.
Personally, I hope you guys succeed. I’m planning to switch to buf, connect-go etc — despite the yaml config files…
on a side note. looking for a solid book on networking basics (tcp, http, grpc, dns resolution, etc) with focus on relevant content for day to day backend/infra level SWE work.
it was extra fun in the years of windows XP worms!

tenured professors will click on damn near anything except what you want them to, ive found.
The previous poster was probably talking about web Gmail where they recently added sidebar with Chat and Meet. The Gmail app, iOS and Android, doesn't have that. They did put "Chat" pane in the iPad Gmail app but seem to have removed it.
I've seen worse password purgatories in the wild. One was the Princeton undergrad acceptance (or should I say rejection) portal, which for some reason required registration even though I was entering a key from an email. It was something like:

1. marcopollo – Password must contain at least two numbers.
2. marcopollo11 – Password must not begin or end with a number.
3. m1arcopoll1o – Password must not contain two of the same number.
4. m1arcopoll2o – Password must contain at least one special character (! ? & % $ # @).
5. m1arcopoll2o! – Password must not end with a special character.
5. m1arcopoll2!o - Password must not contain 3 or more of the same letter.
6. m1arcopoll2p! - Password must not contain 2 of the same consecutive character.
7. I forget, but it kept going.

At some point, I gave up and started generating random passwords. The first 3 attempts were still not accepted. In a way, those restrictions were actually reducing the entropy.
Using Rancher's Longhorn, because XFS causes random volume corruption.

[0] https://github.com/longhorn/longhorn/issues/3597
Better to die young than grow old+alone? I keep seeing similar research posted.
For a very long time, manufacturers prioritized California because of their 0-emission laws. Over the years, there have been a lot of EVs that you simply couldn’t buy except in California.
I landed a summer internship at Spotify
Does it even matter anymore? Someone always trying to play devils advocate - the science is clear. The anecdotes are clear. We all know what’s happening. We are warming up and it’s our fault. It’s really simple.
English professor here. This is the secret to becoming a terrific writer: exposing yourself to excellent writing. Nothing replaces this, and it works in every genre from technical writing to lyric poetry.
I'm asking myself the same thing but I think there's an issue with succinctness. I don't want to make them watch/read hours of me rambling. If there is a lot of content, it has to be searchable. I think private, static-file blogging could be a good format with some occasional video for less important talk.
This may be more of an indictment on medical costs in the US than on income distribition.
LatchBio: A New Era of Biocomputing
Reminds me of an Asimov story:

https://en.wikipedia.org/wiki/Jokester

Sadly HN doesn't have a spoiler tag otherwise I could tell you why. You'll just have to click the wiki link.
Even if you got the info straight from another human being I can't imagine anyone would take it at face value and just schedule their trip.
Occam's Razor suggests that marketing explains it better than "he's gay so he must like privacy". By that line of logic, it's equally possible that he is sensitive to privacy because he has a cocaine addiction. This kind of mental gymnastics gets me so fired-up on HN; there are people so convinced that $BIGCORP is benevolent that they'll refute other people's arguments by assuming things on something as arbitrary as sexuality. There's no putting the cat back in the bag now, every single FAANG member is completely compliant with the NSA's surveillance program. There's been an overwhelming number of leaks and whistleblowers over the past few dozen years, and we still have no decent refutation for PRISM.

Privacy is not a luxury that can be offered by a US-based company, especially not at that scale.
This may seem like it is totally unrelated to grid stabilization for intermittent renewables (solar, wind, ...) but this type of technology could radically change the need to store and release energy.

microbes, bacteria etc are extremely resilient to temporary adversity, when theres a surplus of intermittent energy you can feed them the energy, when there is insufficient energy you can let the cells wait for their next meal.

this also frees up energy otherwise spent on agriculture

EDIT: if the claim is true that SCProtein is end-to-end 20x more efficient than vegetable protein and 200x more efficient than meat protein (implying vegetable protein to be ~10x as efficient as meat protein) then this implies feeding these SCProtein to cattle would result in classic meat but still 2x as efficient as vegetable protein today!

EDIT2: this would result in the following order of footprints of foodstuffs:

* animal meat fed vegetable protein (for the super rich)

* vegetable protein (for the rich)

* animal meat fed solein(for the middle class)

* solein (for the lower class)

The bulk of the population will see an inversion where its more responsible to eat solein-fed animal meat than it is to eat vegetable protein!! This results from the inability / impracticality to feed protein to plants

Another observation, if its 20 times as efficient as growing vegetable protein, then we could easily afford to slash say half of agricultural land, giving enormous areas for solar panels, with about 1 / 2 + 20 x 1 / 2 = 10.5 x as much protein as today.
More likely biodiversity will reduce in the north and key species will simply begin moving south
anecdotal evidence

by default they have it so S3 requests with wrong headers are still sent

I didn't know this and one day I changed the send header but not receive header

Turned out the cache-control was wrong when uploading an image to a presigned url, but this was never caught until it hit staging env since local tests and CI/CD tests showed a pass
The fact that he's opening a podcast with that, lets you know that he's talking about "fear" in a very narrow sense: of how he questions conversationally, and how he chooses podcast guests. It doesn't mean he's a psychopath.
This is a good summary of the situation.
It’s in beta, will be formally released very soon and there is more than enough detail out there that goes over the updated permissions and related.
Shell Money
I don't think norms about politeness are comparable to expert public health recommendations.
Majority of the arguments posted here are only for "Modi-ashing"; I'd be tempted to assume they have no idea about the inner workings of the parliamentary processes or how laws are made or governed.

The "discussion" has veered off from the initial Joint Parliamentary Committe reports on the incompatibility of the far reaching law on personal data protection. The bill is just withdrawn to be replaced by a different one. There's nothing special there. That's the purpose of the JPC, and I am glad the Government avoided the adversarial clash with the JPC to account for the suggestions therein.
The C standard has no mentions of a program stack. This isn’t undefined behavior.
As an aside, I think Einstein's religious attitudes are underreported and understudied.

There are a couple great sections in The World as I See it [1]:

> I assert that the cosmic religious experience is the strongest and the noblest driving force behind scientific research.

> A knowledge of the existence of something we cannot penetrate, of the manifestations of the profoundest reason and the most radiant beauty - it is this knowledge and this emotion that constitute the truly religious attitude; in this sense, and in this alone, I am a deeply religious man

> I do not believe in a personal God and I have never denied this but have expressed it clearly. If something is in me which can be called religious then it is the unbounded admiration for the structure of the world so far as our science can reveal it.

> I believe in Spinoza's God who reveals himself in the orderly harmony of what exists, not in a God who concerns himself with the fates and actions of human beings.

Here's a longer quote that is a little more substantive:

> there is found a third level of religious experience, even if it is seldom found in a pure form. I will call it the cosmic religious sense. This is hard to make clear to those who do not experience it, since it does not involve an anthropomorphic idea of God; the individual feels the vanity of human desires and aims, and the nobility and marvelous order which are revealed in nature and in the world of thought. He feels the individual destiny as an imprisonment and seeks to experience the totality of existence as a unity full of significance. Indications of this cosmic religious sense can be found even on earlier levels of development—for example, in the Psalms of David and in the Prophets. The cosmic element is much stronger in Buddhism, as, in particular, Schopenhauer's magnificent essays have shown us. The religious geniuses of all times have been distinguished by this cosmic religious sense, which recognizes neither dogmas nor God made in man's image. Consequently there cannot be a church whose chief doctrines are based on the cosmic religious experience. It comes about, therefore, that we find precisely among the heretics of all ages men who were inspired by this highest religious experience; often they appeared to their contemporaries as atheists, but sometimes also as saints.

This is the conception of Mysticism I've tried to describe a bit in the past [2]

[1] https://en.wikipedia.org/wiki/The_World_as_I_See_It_(book)

[2] https://superbowl.substack.com/p/what-is-mysticism
Great engineer like the poster above mentioned. Switching from web apps to ML isn't that big of a jump.
localstack pro will spin up a container as if it was an ec2 and it will act like an ec2 instance as far as localstack is concerned.
I think part of it is that Airpods, at best, add around ~150ms latency.
Automation(especially on web browsers and mobile) and scraping, from applying to jobs, to getting dates, I think having an army of robots doing menial tasks for you at all time can be revolutionary to your life.

It can also make you really lazy, but it's still really useful
Thank you, I’m glad you enjoy them!
They can overflow the stack. They cannot smash the stack.
Been wondering the same since I came across DDD while reading Team Topologies. I’ve heard similar feedback on the original book, and my search led me to a recent O’Reilly book:

Learning Domain-Driven Design, by Vlad Khononov

It’s 340 pages and has good reviews on Amazon etc, but I’d be especially interested in feedback from anyone within a good understanding of the topic who’s read the O’Reilly book.
You know, I think in this case I'd describe Perl math-like, and not the other way around.

The currently mainstream math notation is heavily optimized for writing on a chalkboard, at the cost of everything else.
Beat me to it, I got a very similar response by telling GPT-3 to behave as a 'highly advanced search engine'. It also went for Hvar and Korcula.

query: what is the koh lanta of croatia?

response:

Koh Lanta is an island in Thailand that's known for its beautiful beaches and clear waters. It's a popular destination for tourists, and it's also become a popular spot for digital nomads in recent years.

Croatia doesn't have an island that's quite like Koh Lanta, but there are a few options that come close. The island of Hvar is a good option, as it has beautiful beaches and a laid-back vibe. The island of Korcula is another option, and it's known for its medieval villages and stunning scenery.
That proves GPT-3 is good at constructing sentences based on a prompt, not that it actually knows how to vibe-check tourist destinations.
> We are slightly terrified at all times of losing these things.

This is something practically everybody in the US has. They are right to be terrified. The overwhelming majority of us are one life-threatening illness away from homelessness.
I think the pot is boiling us frogs a lot, lot slower than that.
“ For example, have you ever noticed that the main content of most websites is something like 70% down the page? Every recipe site I’ve ever seen is like this — nobody cares about how this recipe was originally your great-grandmother’”

If anyone is curious, this is at least part due to copyright law. A recipe is a set of facts, which is no copyrighted. But recipes with substantial literary expression (making it unique) can be copyrighted. Content creators don’t want their stuff copied so viola…that’s how you get a long winded story before the goods.

https://copyrightalliance.org/are-recipes-cookbooks-protecte....
this is the distribution. https://www.statista.com/statistics/203183/percentage-distri...

OP is just making stuff up arbitrarily
I was there too and I agree with this take.

If this data is there now, it is most likely in a Facebook post which Google isn't seeing.
I find it hard to believe Visa and Mastercard were unaware of what MindGeek does. Why reach to a situation which can be a PR disaster and avoid these companies altogether?
It says the sensors connect via "915MHz"; so they might not be ZigBee, but they're also not WiFi.

WiFi is still optional according to their FAQ:

https://support.ecobee.com/s/articles/Wi-Fi-FAQ-Setup-Guide-...

915MHz is on this page:

https://www.ecobee.com/en-us/accessories/smart-temperature-o...

(Under detailed specs, connectivity.)
Thats the problem. They can print money with search ads. If that ever dries up, google will be at risk of failing. Google cloud used to be strong second place but they are now a distant 3rd. Gsuite or whatever they are deciding to call it this month is losing market share to Office365. I don't get how there hasn't been a management shake up.
I didn't post the right link, I'm dumb and feel very sorry. Can't I remove or edit the link?
I always thought it was more for the SEO than the copyright.
Code is data and any data that specifies business processes and defines their outcome is code.

If you can't iterate on the specification of business at the speed business itself needs to change, that's a problem, but it's a process problem, not something inherent in specifying business process in code.
See how good they have got at redirecting our attention? We even do it for them.
Read only Reuters for a month and then go read AP. Then go read the NYT. You’ll be amazed.
That is not too far from what proof assistants actually do.

Agda is a dependently typed language (strongly resembling Haskell in Syntax, but with a lot more Unicode) where you rarely, if ever, "run" your programs but rather just check if they "compile", i.e. type check. If it does type check, you proved what you set out to prove.

Its standard library contains a lot of stuff you'd need for basic proofs: https://agda.github.io/agda-stdlib/
Crafting Interpreters [1]

[1] https://craftinginterpreters.com/
California state incentives, combined with a higher concentration wealthy people who drive a lot, combined with mild winter weather (i.e. less cold weather battery range anxiety)?
> Still lower class: you still can't afford to send your kids through college, and still make your house and car payments, replacing your car every year or two. Yes, that was what middle-class people used to do.

This is a complete delusion designed to justify affluent people asserting they’re “middle class.” Americans never lived like that. Back in the 1960s and 1970s, most people didn’t even go to college. They lived in a house with half the square footage, but more people in the household. If they got cancer, they just died.

The problem isn’t republicans, or not just republicans. The problem is that Democrats also refuse to raise taxes on the top 25% above the current Reagan-era lows. Every other developed economy functions by heavily taxing the top 25%. Even in the US, that group earns the plurality of income. What makes the American tax structure unusual isn’t the absence of wealth taxes or low capital gains or corporate tax rates. It’s incredibly low tax rates on upper middle class people. What makes America unusual is that affluent professionals identify as beleaguered members of the “bottom 99%” instead of acknowledging that they are the people that must be taxed to pay for the social services they claim to want.

You know why many Americans are on the edge of medical bankruptcy? It’s not because we don’t have wealth taxes on billionaires. Sweden doesn’t have that either. Neither does Germany or France or Spain or Italy. The reason is because of the incredibly low taxes paid by Facebook engineers, doctors, lawyers, and other white collar professionals. My au pair paid about the same tax rate in Germany, with an entry level desk job (40%) as my double private practice lawyer household in Maryland. That’s because the second to highest tax rate (42% versus the top 45%) kicks in at the equivalent of $70,000/year. In Sweden, the top tax rate kicks in at 1.5x the median income (under $100,000 in the US).
My parents were middle class, maybe upper middle class. They felt exactly zero pressure to get a new car every year. Yes, this was still in the days of leaded gasoline.

I think, rather than "they" convincing people, that you have made up a definition of "middle class" that exists only in your own mind. It doesn't correspond to either the real world or to the definition that the rest of us are using.
Sorry for your loss. I'm glad you got to speak with him in the time you had.

I recorded my mother telling stories of her childhood, her parents, and grandparents when she was growing up in Oklahoma. I captured some great stories about how my ancestors traded with Native Americans, and when an uprising came, their farm was spared when all others were burned down, how my great grandmother fought off a mountain lion that came in the cabin when she was ironing clothes (she killed it by beating it with an iron, which is a family heirloom now), how my grandmother lost two brothers to the influenza epidemic, how my mother collected milk bottle caps to get tickets to the matinee as a teenager...

So many stories, and I know I barely scratched the surface. If you are reading this, and haven't gotten your family members to tell the stories, not only of their own lives, but of their parents, grandparents, do it now.
When exactly did America colonize India?
It’s why recipe sites have a dumb story.

In the old days, you might search something simple and it would have the answer in the listing. So you wouldn’t have to click. They are now gone too.
This is great, thank you for the recommendation
I’m just using the Wireguard app with my home tunnel.

EDIT: after further inspection, DNS does seem to be working. I may be wrong, and Wireguard actually works fine on Mac.

EDIT2: No, something is wrong with this setup. Random sites won't load, and on other sites, images and videos won't load. DNS seems fine though, and the tunnel works fine on everything but Mac.
She picks up my errors and laughs as English is her second language and my first. She has also noted that I use commas in strange places and don't use them when I should. My writing also contains too much repetition. For example I often will start several sentences the same way in a paragraph.

I should note, that the laughter is not discouraging, it's simply the way we interact.
I'd be seriously doubtful of the correctness of a 900-page proof (+ dependencies) unless it was mechanically verified.

For mechanical verification, PDF seems like the worst possible input format.
You wish.

But I remember an America that still had a middle class. It wasn't like this.

My father grew up on a farm, upper middle class. He carried around a roll of $100 bills, and once bought an airplane on the spot, out of it (plus the motorcycle he rode up on). By the time I went to college, we were mid-lower middle, and I worked my way through (took 7 years), but there still was one.
> his would be a much more interesting study, though I suspect it would have a much less interesting result.

That's my suspicion as well, which makes me hope studies like this don't result a bunch of wasted time/money while people go looking to solve the wrong problem. I'm not prone to feelings of loneliness, but my memory has never been great and I'd like to keep what I have for as long as I can.

As I get older I plan to keep learning and engaged in various passions to help keep my mind sharp, and for now at least, I've still got a lot of options, but I'm sure the temptation to not bother doing even the things I enjoy will grow stronger with age.

Arthritis or carpal tunnel will take away the instruments and the video games, eye sight problems could make reading harder, bad joints and mobility problems could make travel and outdoor activities less appealing. At a certain point, I could see hitting a wall where the effort doesn't feel worth it and it gets harder to find things to keep my mind active. Fortunately, that won't (fingers crossed) become an issue for a few decades yet in my case, but it's been in the back of my mind for a while, and I'll be looking out for signs of that struggle in my parent's lives as they age.
Tip: if writing new functions that take things that are not strings, try to avoid C’s mistakes with strncpy and putting “str” in the name.
Cultivated wine grapes haven't really "evolved", because they're propagated clonally. There are some mutations, but not significant enough to alter their response to the environment really. In fact it's a real problem because the nature around them has changed (new pathogens) but the plants have not.

In fact, Pinot Noir that is grown in Beaune (in Burgundy) talked about in this article is one of the oldest selections and might go back as far Roman times.

The Pinot Noir vines grown by the millions around the world are literally the same individual, cloned for probably 1200 years.

There are new grape varieties being bred all the time (including by myself), including ones with crosses with American Vitis species that are far better adapted for newer fungal pathogens and weather conditions. And not just bred, crosses (inter and intra specific) happen in the wild, too.

But in general they are not permitted in European viniculture, which is very conservative and has laws mandating specific varieties for specific regions, and even forbids genetics from "non-noble" species. In fact even when European breeding programs produce new varieties with inter-specific crosses, they still pretend to be "functionally" pure vinifera, just to get around laws written a century ago.