skysight-inc/HackerNews huggingface dataset:
Wait until you see what it took to do one in C with the formally-checked, safety guarantees of Rust around the time Rust was being developed:

http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.553...

https://ac.els-cdn.com/S0167642313000191/1-s2.0-S01676423130...

Ok, so author needed to know C extremely well (i.e. "language lawyer"), comfortable with separation logic, able to turn informal requirements into specifications, use of ghost code, and have a SMT solver. The solvers often fail on some stuff that requires formal proof by rare experts. However, that expert was able to automatically verify a singly-linked list with just 113 ghost statements for the 90 statements in C. That's more specs than code! Industrial case studies in other article give more examples. More importantly, when making the C code as verifiably safe as Rust, the effort required had developers cranking it out at rate of two lines of code per hour.

Both manual and automated proof with separation logic has a lot more automation since then. Yet, I think programmers will more easily learn to intuitively and heuristically structure their programs to pass Rust's automated, formal checker than learning expert-level C, separation logic, and/or formal proof. And Rust can still do reference counting or unsafe operation in event it can't check something.

This write-up you all keep linking doesn't prove what you think it proves. Unless you're just saying verified handling of mutable state with cycles is extremely difficult in any language with Rust just one example. That would be true. The article also proves Rust ecosystem comes with nice guides on doing that stuff with minimal effort vs what it takes to learn same stuff for C code.
Not sure if there is any point in implementing map_on_vec using map, but this code

fn map_on_vec(vec: &Vec<i32>, func: fn(i32) -> i32) -> Vec<i32>
{
let mut new_vec = Vec::new();
for i in 0..vec.len() {
new_vec.push(func(vec[i]));
}
new_vec
}

doesn't need to be based on mut, push and for. Something like this works, too:

fn map_on_vec(vec: &Vec<i32>, func: fn(i32) -> i32) -> Vec<i32>
{
let new_vec: Vec<i32> = vec
.iter()
.map(|x| func(*x))
.collect();
new_vec
}

At least it runs a tiny bit faster, without all the pushing.
But the population doesn't grow much where standards of living are high. People have lots of kids in poor areas because their survival rates are relatively low, and need them for labor. As conditions improve, birth rates lower.
There is a lot of demand for this stuff (largely from foreign markets, by the way) and rangers are quite literally risking their lives. https://www.nytimes.com/2016/11/28/science/a-forgotten-step-...
Which should of course not be exaggerated and fully blamed on the reporter.

A reporter not understanding what a physicist explained does not mean they lack the ability to understand what a policeman or politician told them.

A reporter not being able to explain a theory does not mean they cannot correctly report on the plain facts of a murder or a policy proposal.

In such cases the risks are inferences drawn from the (lack of) facts, the reliability of the source (material), etc. Every kind of article requires scepticism of different aspects. Just ensuring you don't suffer from Gell-Mann Amnesia is woefully insufficient.
The iPhone is their AR hardware.
Show HN: Code on Hacker News
People still need to pay for it. FSF would also die of hunger if it were not for people donating them money they have to earn first... so nothing is free.
I think danieldk specified what he meant: Lack of generics means that you have to copy and paste. He defines "forces you to copy and paste due to lack of generics" as "incorrect for a language".

I think he's stretching the definition of "correctness" past the breaking point, but that clearly was what he meant.
Is this the same thing as a concierge? I've seen a few apartment blocks with them in the UK, but it's rare.
The scariest part is un-adult emotional environment, where employees (people hired at-will to work) refer to other employees as "brothers and sisters".

This looks more like _Lord of the Flies_ setup than like for-profit company workforce that sells 8 hours of its time in return for paycheck, with some reasonable socializing at work.

This seems to be the trend, and is by no means limited to Facebook. Providing socializing benefits (food, playground, etc.) and requiring emotional committment at work is far more sinister than it appears.

While keeping employees emotionally arrested at 12-year-old stage may extract extra sweat, the overall downside for the society is abysmal.
No no I mean the problem of explaining howcome people do go (or don't go). It's very interesting and the observable consequences of understanding it better are utterly unpredictable. E.g. it might result in fewer people going, more people going, or no change in attendance at all.
https://instances.joinpeertube.org/instances
I think you are not going to find many advocates of forced abortions and involuntary sterilization.
So do I, and I'm not afraid of upvar anymore.
I think calorie restriction is a more interesting idea, because it forces you to think about eating high-nutrient foods. The first things I did were to eliminate sugars and other processed ingredients, including all flours.

Continuing to eat junk and assuming that pills and supplements will compensate for that is probably not a good idea.
There is a reason that it stuck around though, it is a successful strategy in an economy where the prevalence of strategies is highly, if not exclusively, correlated with their ability to make ROI.
Thanks for the nicely written Python/Rust comparison :-)

Is Rust's flat_map() equivalent to this in Python?

def flat_map(func, it):
return map(func, chain.from_iterable(it))
OK, it just boils down to me thinking one explicit prop for every component isn't too much boilerplate. I can see some teams liking the idea of shaving off that explicit prop as long as everybody knows about the implicit context(s) that also affect component behavior.
We've become significantly more risk-averse as a society though. If cars were invented today, it seems extremely unlikely that the intimate mixing of pedestrian and vehicle realms would be tolerated in the way it is now. We generally only accept dangerous transportation, structures and substances if they are a legacy from an earlier age. And even then you see high pressure to reduce or eliminate them, e.g. cigarettes.
I just relocated to Alabama from NYC and one of the only things I miss is Prime Now. I’m happy to pay a small premium to get something “now” without having to leave the house. Cables / electronics / “just thinking of you” presents for my wife / “crap, we’re out of X and the kids are actually playing happily...”.

I would frequently get heads down on a project, realize I needed widget X, would order on Prime Now, continue my work, and have the widget when I needed it.

As soon as it’s introduced to Birmingham my suburban life will be complete...
> It also works like magic for Amazon shareholders, by pulling a Houdini on them and making their invested capital disappear.

Nonsense.
It's not new, and it's probably not an organ (it's not a contiguous structure). People have been publishing work on interstitial tissues for a long time now.

Matthew R. Glucksberg, a professor of biomedical engineering at Northwestern University, said he did research on interstitial mechanics back in the 1990s. "This publication would have been baffling back then, let alone now," he said in an email. "We know a lot about the interstitium and know it is not an organ."

"An apt analogy might be a research team that buys an expensive telescope, looks at a point between Mars and Jupiter, sees the asteroid belt, and then announce that they have discovered a planet that no one has ever seen before," he said. "We know a lot about the asteroid belt and know that it is not a planet."

https://www.buzzfeed.com/theresatamkins/science-new-organ-di...

https://www.physiology.org/doi/abs/10.1152/jappl.1989.67.2.8...
This site is absolutely fantastic.
It's similar to Amazon reviews-- if a lot of them are fake people think "well this product sucks actually, they just bought reviews." or at least "I don't actually know if this is any good"

Take it to an entertainer/journalist/politician and it's "well this person sucks actually, they aren't really anyone important and their opinion on things doesn't matter".
Tough to do economically, since it takes a staggering amount of money to provide a Basic Income that's enough to actually survive on.
Who's "we"? Who's volunteering to replace the large sums of money wealthy foreigners are willing to pay to shoot a lion?
On the other hand, Mars requires you to live in a radiation-shielded pressure vessel.

I think the real killer is that it's hard to build and maintain infrastructure when floating on balloons - much easier to run a spaceport on Mars, or to get to all the useful surface resource deposits. On Venus you'd have to build literal castles in the air, using only only what you can pull out of the atmosphere or ship in from orbit.

Not to mention Mars is at the bottom of a much shallower gravity well.
For many, in particular among those who aren't self-motivated, having a job provides much more than just a paycheck. For one's mental health, knowing you are contributing something back to society provides an enormous boost to your sense of self-worth, regardless of how big the paycheck is at the end of the day.
I feel like you are at least looking in the right direction to possibly realize that the "education" system is not at all primarily about "education", let alone about students. It's foremost a baby sitting service provided for the economy so that professionals and workers can make it to work and provide their labor in a system that was levered into forcing women into the labor force too. Beyond that it's a system to sustain the teachers' union lobby mob and the behemoth of an industry that is a parasite on the "education" system, including facets of the technology sector.

There is a reason that the USA squanders multiples of money that other educational systems around the world spend with horrendous outcomes from it, and it has nothing to do with "education" let alone "think about the children" beyond simply being a tool to manipulate and strong-arm the public through guilt and manipulative lies.
Yes, but in America, a hatred of the punished is common regardless of whether you tie that to "retribution", and likely one of the many reasons rehabilitation is not a focus and/or strong outcome of our prison system.

And even if they do rehabilitate, our society is not properly set up to help them come back, so the retribution often outweighs the crime. They do their time in prison- but essentially they do time the rest of their life, because when they come back, they aren't treated as if their retribution is complete.
They also provide 9.9.9.10, which doesn't have a blocklist.

https://www.quad9.net/faq/#Is_there_a_service_that_Quad9_off...
Yep - I've also been unintentionally been cashless for the last few years. Part of it is I don't like carrying a purse and like being able to only have my cards stored in one of those card-holders that attach to phones. I do feel guilty about not being able to tip sometimes but most of the time, tipping is done on a card, and my city has raised minimum wage enough that tipping is supposedly on its way out.
Which Ultra Marathon?

Did you enjoy that experience, or did you take it as a sign you are pushing your body to an extreme that may be unhealthy in ways we don't understand?
>Uncouple these two, via Basic Income or something like it, and joblessness in and of itself is no longer a problem.

I don't think that's entirely true and I think equating contrary views with Puritanism is a cheap way to make it seem so.

Lots of people do take pride in their work, when we look at people who have lost their jobs in industries which aren't going to return there's not just the loss of income there's the loss of usefulness. There is a value to people in having a skill which you're good at, having a community (the workplace) which places some level of authority or trust in you to execute that task and then the ability to actually go and do that skill to recertify that trust/authority. Steel workers in Pennsylvania aren't just looking at a smaller paycheck for the rest of their lives, they're faced with potentially never being good enough at a useful task to ever get that sort of trust again and that itself can be corrosive to the human spirit.
In the former example you have so much power that whatever cause you had to denigrate them no longer matters to you, but that is neither the common case nor principled.
Agreed. It's further complicated by subjective loudness not being a simple function of sound pressure level. So, if you adjust two signals to equal subjective loudness in an AB test, is it really a fair test?
This CSV file is gone, along with the confusing and mostly useless information it contained.

All the required parameters to connect to a server (protocol, certificate hashes, public keys, bootstrap IP address, URL...) are now represented as a string ("DNS Stamp").

See https://dnscrypt.info/stamps/

Cloudflare's DNS stamp is sdns://AgcAAAAAAAAABzEuMS4xLjEg63Ul-I8NlFj4GplQGb_TTLiczclX57DvMV8Q-JdjgRgSZG5zLmNsb3VkZmxhcmUuY29tCi9kbnMtcXVlcnk
Order #: 1304
It's for a stealth newco that we just started. Looking forward to playing!
Titivillus: The Patron Demon of Scribes (2006)
But living conditions have drastically improved over recent decades for 90% of the population. What makes you think things have peaked now?

Also, capitalism would greatly benefit from improved economic conditions around the world.
What's with all the top level comments talking about aliases? Are you commenting on sl or actually replying to other comments?
For most of history in most post-agricultural cultures not working has been the status people admired and aspired to.
I've gone further to say the freight train of an ecosystem behind and legacy effects of C mean any intended replacement should be fully compatible with its structure, calling conventions, etc. This lets anyone leverage existing C libraries or those in new language seemlessly. From there, the new stuff might all be done in better language with optional, incremental rewrites of older stuff.

https://lobste.rs/s/5pnqdv/why_is_sqlite_coded_c#c_vhdcyt
Yes the author is kinda silly. People have been writing these sorts of silly articles about Amazon for nearly 20 years. Yes, Amazon is wasting investor capital. No, investors don't care as long as the innovation and growth train continues.

Still, as an Amazon investor, I do wonder why Amazon has to do everything themselves. It makes me nervous that they are essentially building or their own ride sharing network rather than leveraging existing networks.

There's a revolution coming to urban logistics that people like this author cannot understand. What Uber has demonstrated is that cities are much more efficient than anybody previously imagined. The day is fast approaching when on demand transport of everything will be cost effective and when that happens cities will be remade. All that retail space can become storage. Restaurants lose their tables and become industrial kitchens. Office space becomes highly fragmented with possibly just core teams of 10-20 people requiring co-location. Schools fragment; students will go to specialized teachers and facilities wherever they happen to be rather than betting everything on monolithic school systems. (Education "regresses" into large scale tutoring.) Hospitals ironically grow more centralised as technology becomes every more sophisticated. Tying all of this together will be extremely sophisticated and dynamic transport networks that can indeed move anything anywhere in the city in under an hour for very low cost.

This is already happening in China btw. This sort of urban hyper-on-demand culture has already taken hold. The author will look back on this article on ten years and regret that they failed to see the revolution.
The original post said, "(YouTube is) a store of culture almost. A wealth of information and video would be lost, like rare videos which are only on youtube."

Archiving a store of culture and almost infinite rare videos is definitely not a straightforward and easy solution. Yes, you can save few interesting videos locally. But, that's not the point of the original post.
I would love to hear more details about this.
Sweden is such a monoculture that when you look at Swedish demographics all Swedes are considered the same and you only count the immigrants as different. The second largest group of immigrants after Syrians is Finns, so a very similar culture. In the US if you look up demographics you barely see the 13% of the population which is foreign born as an *. Instead you get 17% hispanic, 13% black, ~62% white, 5% other. There's no accounting for the difference between a Mexican and a Cuban or a German and an Italian American. If you looked at Swedish demographics the same way it would be more like 95% white, 5% other. The largest single Church in the US is Baptist which accounts for barely 10% of the population. Meanwhile the Swedish National Church accounts for over 60% of the population, the second largest group is "unaffiliated" at 30%.

Norway is not significantly different when looked at in a similar light.
Likewise I don't know if we all have the potential for sense of direction based on magnetic fields or that only some of us that could tap into consciously it, or if it's there subconsciously. Homing pigeons use magnetoreception (just Googled for proper term - https://en.wikipedia.org/wiki/Magnetoreception) - so it's possible it's somewhere in our DNA; it seems dolphins too have the ability to sense magnetic fields.

Because the brain works as "use it or lose it" - most of us in modern societies will never need to tap into this sense nor would it be reenforced by its use, if it is a thing for humans.

To me, it sounds like that friend didn't trust himself or his memory for whatever reason, so learned a dependance on a GPS navigator as a coping mechanism.

Re: General intuition - It could be that general intuition is simply trusting yourself, trusting that you're already paying attention to your surroundings (and being relaxed enough to take it all in), fully in the present moment - so in the case you reference, you subconsciously are aware of the sun's location, buildings, memory, etc.

I've never been to India - all yoga has been practiced locally, and ceremonies I've attended were within a few hours drive - sounds like an interesting documentary.

Thanks for sharing.
I assumed radial growth
A look at terminal emulators, part 1
https://9to5mac.com/2017/08/24/ios-11-safari-amp-links/:

”It appears Safari implemented a special case. We’d prefer a more generic solution where browsers would share the canonical link by default, but this works for us.”

⇒ I don’t think they use rel=canonical.
Not true https://status.npmjs.org/incidents/41zfb8qpvrdj

"We have restored all the package-versions for the 9 packages that were published over"

Full context here https://github.com/npm/registry/issues/255
I get it. Both databases are layered, but I'm saying deployment is still easier with a single package/binary instead of having TiDB, TiKV and Placement Driver instances.
You should listen to Johan de Meij, especially his "Lord of the Rings"-symphony and a piece for brass band called "Extreme Make-Over". If you have Spotify I recommend these recordings:

Lord of the Rings, London Symphony Orchestra - https://open.spotify.com/album/3kjNIrJSKzGYZ6TD2kRErL?si=hZZ...

Extreme Make-Over, Aeolus Brass Band - https://open.spotify.com/track/7AhyCYGbpaCQF9EZF8r9y5?si=9VD...
Yes but not so much for this in particular. If I want to make a bunch of fake Twitter followers I would just generate new accounts and generate some fake tweets. It would take a lot more work to hack someone's account (who then might also notice it's hacked and try to take it back).

App permissions can still be a problem, but usually that is usually centered more around identity theft.
It is mentioned at the bottom of the README, but it isn't very findable. I've opened a PR https://github.com/facebook/zstd/pull/1085.
Not exactly the answer to your question but Cloudflare DNS support DNS-over-TLS. You can use Stubby (getdns) to encrypt your DNS queries.
It become public on 1 April

https://isptalk.net/d/18-cloudflare-dns-1-1-1-1-1-0-0-1/3
For what it's worth my son is at one of the best performing schools in NY State (Top 3%).

They meet at 7.45AM every morning and get most of the learning done while they are the freshest.

I am not convinced this study actually proves that but need to dig deeper in.
IETF 101 highlights
Matter of perspective and individual spirituality, no?
Counterpoint: My git workflow. I commit often and I commit a lot. For this there are a few but quite long commands that I use over and over and over again.

I turned all of them into two-letter aliases.

It’s perfect!

Here is a direct link to the line in question of my bashrc:

https://github.com/ctsrc/dotfiles/blob/a2c87d22a4de7486dadfe...

I recently put my dotfiles on GitHub. As you can see from the above linked file, my bashrc is short and sweet.

Thes dotfiles were, counter to what one might think given how few and short they are, not thrown together in short time.

These dotfiles reflect the specific workflow I’ve developed for myself over years of using FreeBSD, Linux and another couple of Unices.

In the beginning my dotfiles were long and messy and they accumulated a lot of cruft that I never used. That’s why I didn’t use to have them on GitHub. But over time I cut them down to only the things I actually used. The end result was that my entire bashrc is authored by myself for myself with nothing copy-pasted from the Internet.

That’s the secret to successful aliases as well IMO — make aliases where it really matters. Then you’ll only have a few, which in turn makes it easy to navigate systems where you don’t have your full set of dotfiles.

My git aliases are very important to me, but since there are only a handful of them and I almost don’t alias anything else, I can easily type them onto new systems by hand if need be.
Holy shit.

I wonder how brewed coffee gets singled out when it literally has the lowest values of any items in that table. Carrots & Peas baby food has over double the ppb of brewed coffee.
Cheap London Taxi Services- Get Quote and Book Online – Cabhit
Show HN: JavaScript/HTML and Rust Webview: an electron alternative
OK. Here such companies just have one central office per city/region, no building-specific ones. The largest companies here manage "only" tens of thousands of rental apartments, though.
Metcalfe’s Law is Wrong (2006)
I actually said right away how it's tricky to achieve privacy with a social network. However, to me, owning your data is a big step towards it. I have nothing to do with Diaspora, I'm not on it and don't donate.

Out of curiosity, what would be your ideal for good privacy on a social media site? What aspects would it need?
The correspondence of René Descartes and Princess Elisabeth of Bohemia