skysight-inc/HackerNews huggingface dataset:
A decade is a time interval, so by that definition a new decade is being started and ended at every single instant of time.

The important question is not when a decade has started, but rather to know what time period people are talking about when they refer to "the 20s". I think most people would consider 2020 (or 1920) to be a member of that set, but 2030 (and 1930) are not.

Open question: When people refer to "the 1900s", does that include the year 2000?
The language is certainly English specific. We call our male teachers in primary "master" which happens also to be the same term as "master used for slave masters.

This makes it also difficult for some people who don't speak English natively to navigate that linguistic minefield.
Formal leaning HN people: Does Rust just have better sales & marketing than C++? Or is it really better for safety and correctness?

* Rust is NOT a programming language with deep, well-integrated support for proof systems or state exploration e.g. TLA+.

* Rust is no Frama-C where static analysis and function contract support is far more apparent and important

* Rust is not ADA

* The previous items also arise and are quite important as a direct result of generality: to the extent Rust imposes (albeit with benefit) language design to avoid certain kinds of functional issues, those features can later become limitations as a pushy, over opinionated language. Therefore to have flexibility in designing fast code that's yet correct code one usually has to have the low-level ability of C/C++ augmented with formal tools.

I'm not seeing Rust do that. Now, I've made a couple of jokes elsewhere in HN about Rust's propensity to show up uninvited to every vaguely language issue and press its case --- ex. I was vacuuming the floor yesterday when Rust somehow got through the front door and was explaining how a Rust vacuum is so much better, or how I'd never need to vacuum again if I used Rust. But I am only half joking.

For the last year I've spent much of my time in GO after getting sick-and-tired of C++ build/language complexity for the previous 10+ years. I am somewhat aligned to others who rightly ask if speed is all that matters? (Recall the Meyers joke about Pavlov training and C/C++ programmers when it comes to speed).

Correctness counts too and if the compiler spends a little bit more I time I'd be fine with that if for distributed/parallel programming I've got good guarantees.

For those who use TLA, SPIN, Frama-C and other formal tools what's your take on this? I think designers of those kinds of formal tools will be surprised to learn some of their correctness aims were solved by Rust.
Can take the derivative and set it to zero and will get the definition for mean.
Why moved to reactjs?
while mandates to only use one tool can be overly restrictive, allowing a free for all is equally if not more dangerous. there are a lot of benefits to using a standard set of tools, and developers are for the most part really bad at calculating the ROI of introducing a new tool where an existing option may already be good enough. https://mcfunley.com/choose-boring-technology
You can watch[1] one of the lead programmers from CD Projekt Red joyfully give an overview of where Jai is at now.

1. https://www.youtube.com/watch?v=i1vbvikDiI8&list=PLhEuCycbde...
That's not quite right. There are a lot of sound strategies for culling/merging/resolving CRDT state in-part or in-total depending on the use case and/or the topology of the system that interacts with the CRDT.

It's possible to construct a pathological case where it's impossible to soundly GC the CRDT state, and where you have to keep around an arbitrarily long list of per-agent updates or list of agents forever, but that shouldn't be the normative case.
I like the buffet analogy. It is a good example of "choice architecture" a la Cass and Sunstein from "Nudge". Nudge is one of a number of works arguing that we factor in more than economically rational criteria--such as marginal cost of going backwards in the buffet line--when making decisions.

While Cass and Sunstein argue for government action in framing healthier choices, this post puts the onus on us to a.) recognize that information consumption involves choices, and b.) be more active thinkers consumers of information.
This is an interesting remark, but she still had touching and was also able to perceive vibrations. She was therefore able to _interact_ with other people. More importantly other people were willing to interact with her. Also I believe the fact she was not born deaf and blind but was able to experience the world normally at least for the first 19 months of her life is of extreme importance.
https://newpipe.schabi.org/ is similar but for Android.
If it makes you feel better, normal companies have "cost accountants", whose entire job is to worry about this kind of problem. Cost accounting a fairly well-developed field with a long history. There are several major approaches and some less well known ones.

I think the most applicable in our field is "resource cost accounting", which looks superficially like what Netflix described. You keep "resource accounts" in the units of the actual stuff consumed by your business processes, then map backwards from the final product to costs.

Of course I am not an accountant. Just took a course and found it enlightening.
I dropped from grad school with a Master's degree in applied math, and vowed to keep studying for the rest of my life.

It's really hard to study "real maths" on your own. It's harder to understand materials without the aid of someone who has already deep-dove and built some intuitions, metaphors and visual schemas. More critically, it's very hard to know if you're doing proofs correctly without feedback.
That would interrupt the call so that probably won't happen.
Apple has no intention of diluting their brand by selling the same flagship phone cheap in India or anywhere else no matter the duty, their BOM is very very cheap, they can drop their price if they want to.

The would rather sell SE , refurbs, older gen for such markets, while this is better than nothing and has some traction , a 2-3 year old tech is perhaps not as attractive when it will still cost $500 and more when better offerings are there

Import duty is in 20-30% (just got hiked to 30 this year) range , while it is substantial making it zero will not change the market significantly in Apple’s favour given the massive price difference, no mainstream phone successfully sells at the 1500 price point the way only Apple can.
And a webinar featuring top figures in the national service movement:

https://www.brookings.edu/events/webinar-inspired-to-serve-t...
On the median (L1 loss), lots of good information in the wiki page, https://en.wikipedia.org/wiki/Least_absolute_deviations
I mean, surely there are non-subscription model alternatives to 1Password.
I think that my purpose as a human is to work for my species both by helping others do their thing, and by giving it flavour by adding my own individual expression to the mix.

This article seems to be a guide on how to find focus and how to direct that focus to the most meaningful and productive activities that you can find in your life.
JavaScript has entered the chat...
I didn't find a link to the buffet study, but isn't it possible that the operator of the buffet leveraged past experience and placed the most popular items first in the lineup?
Regulations exist because you can't get a fraud conviction when the defendant says "I understand the meaning of the word "hamburger" differently from the plaintiff"
For the third point, why not just hash the password with SHA256 first? Sorry, I didn't look at the code, just going off of the described issue. If you have an arbitrarily sized input and you want a fixed 32 byte output, that seems by far the simplest way.
dead on. - ultimately a let down
Exactly. Getting a PhD means
1. taking some advanced math classes
2. hanging around some like-minded people for a few years
3. solving a problem or two, big enough to add up to a dissertation
4. publish, with professional help on learning to write
5. getting teaching experience
Except for the last item, all these are things every aspiring mathematician would need / want to do anyway.

Now, not everyone wants to teach, and at some universities TAs are overburdened. But certainly not all, and I'd argue that teaching experience in a well-strucured programs can teach one a lot of useful communication skills.

Working on your own means you can get #3. Not everyone needs #4, and you can get some of #1 online or from books (but harder to find people to talk to). So no, a PhD isn't necessary. But most of the things one would do to get a PhD certainly is useful.

Full disclosure: FWIW I have a PhD and work as an academic mathematician.
Yeah, HSTS preload highly recommended.

https://hstspreload.org/
I wouldn't write a config file parsing library for C programs without interning, so == between two pointers could be used to test for keyword equality.

Interning is used outside of LIsp. See the XInternAtom function in the X Window system:

Atom XInternAtom(
Display *display,
char *atom_name,
Bool only_if_exists
);

or RegisterClass in Win32:

ATOM RegisterClassA(
const WNDCLASSA *lpWndClass
);
Fantastic read. My only concern is that there wasn't any talk around cost of false positives (selecting a test to run where it is unnecessary) vs false negatives (incorrectly dismissing a relevant test), as those costs in terms of their effect is not symmetrical.

The cost of a bug slipping through because a test being skipped will be higher than running an irrelevant test to a commit.
Let's talk about Tesla, which is basically the topic of the article. Tesla has never paid a dividend, and is unlikely to pay a dividend any time in the foreseeable future, correct? So the entire value of TSLA now is speculation on the future price of TSLA. The shareholders are not actually extracting revenue from the company (which is currently operating at a loss), they just hope to extract revenue from future stock buyers. In effect, the actual cash management is largely irrelevant. All that matters is the perception of future stock buyers about the even farther future cash management of the company.

Whereas when you buy a private company, the actual revenue the company makes after the sale does matter crucially. Unless you're just looking to "flip" the company.

If you bought TSLA low and sold now, you could make a tidy profit even though Tesla itself never made a profit during the entire time you owned it.
Try connecting to the internet using Windows XP, lots of bits and pieces are broken. Especially the default browser ;)
HAM still has some interesting practical uses. Up here in the PNW rally racing events use them to coordinate stage start and emergency/sweeper vehicles. The races are up in the mountains where cell phone service can be quite spotty, but a truck with a repeater parked on one of the higher foothills covers the whole area just fine.
Yeah, I realize that Rust has a lot of room for improvement. I'm just saying that compared to the alternative, you get a relatively inefficient compiler that, despite its inefficiency, still gives you a more efficient development process. You get instant feedback, which you can't get from a testkit, and you can eliminate massive amounts of testing.

If the focus is entirely on reducing compile times, it can very quickly lead down a path that limits runtime performance. There is so much potential for increased runtime performance in strongly typed languages, due to the guarantees made by the type system. It allows for analysis and reasoning that not just enables micro-optimizations but also macro-optimizations across entire codebases. Entire theses have been written describing optimizations that rely on immutability alone, and we haven't even touched so many other possibilities that rust's design enables (such as the ownership system).

I'm fairly familiar with the project to work on the LLVM-IR code emitter. If the focus is on reducing the complexity and cruft of the LLVM-IR emitted, that's a win all around (because you get faster code and faster compile times). I just hope that reducing compile times doesn't become the core objective, because that eliminates a lot of future potential.
I'm sure the people now offended by master happely skip the football World Cup hosted in Qatar. That might actually make a difference.
This online skychart has useful info on when & where to look: https://theskylive.com/planetarium?objects=c2020f3
They aren't mutually exclusive approaches, e.g. the standardized test could be used just to get past the initial resume filter.
CB Passive Income
Some of us believe in systems programming languages with some form of GC, so it usually pops up as alternative.

For me D is what .NET (thus C#) should have been if the Ext-VOS project (COM Runtime) decided to go native, instead of embracing J++ and then turning into .NET due to the lawsuit.

But unfortunately D is a tiny community that gets by with small contributions and herding cats is hard.
If you are personally considering national service, Peace Corps is an amazing experience and a shining example of what an excellent government program looks like. www.peacecorps.gov
Ah very similar here for me too. Karate Champ at the kebab shop opposite school in 1980's North London. Winner stays on. Always got to the point where you had to decide between a potential high score and avoiding a whipping for being late.
That comes down to a question of negative vs positive rights. To quote Bastiat:

>> M. de Lamartine wrote me one day: "Your doctrine is only the half of my program; you have stopped at liberty; I go on to fraternity."

I answered him: "The second half of your program will destroy the first half." And, in fact, it is quite impossible for me to separate the word "fraternity" from the word "voluntary." It is quite impossible for me to conceive of fraternity as legally enforced, without liberty being legally destroyed, and justice being legally trampled underfoot. <<
Downvoters should seriously consider if they would feel the same if gender/race/whatever was inserted instead...
Seattle/Puget Sound area has Hamwan:

https://hamwan.org/
Dark matter could be renamed to invisible matter. And before we know it we can't say anything.
This turned out to be fake. The commentor later said they couldn't provide evidence because the hard drive on their MacBook died and it was too much work to reverse engineer the app again.
I very much agree with the person you're responding to, and this example would be one I similarly wouldn't mind correcting.

Sure, I don't have issues with Christmas hats and probably I'd wait to hear from at least more than one single person. But changing the icon knowing that it made one of my users happy would be trivial. Sure, refusing to would be my right, and perhaps it would only 'lose' me this one user. But deciding to change the icon would make me feel warm and fuzzy because I removed an obstacle to probably a few users. Because if I squint I can sorta see their point.

Of course there are limits and of course these are fuzzy. But I can totally see how multiple people might find a Christmas hat offensive, even if I personally think it's really silly. Anything else than making a call that doesn't cost much and alleviates others' concerns feels to me like being petty for political sakes. I don't like that.
We go extra lengths and try to formalise subjectivism but gain nothing. It's always anecdotal evidence or sensationalism that provokes such changes to be made.

In fact, why don't people for these populist changes express some arguments that aren't based on using "misrepresented" people as shields and scapegoats? In fact, using minorities to perpetuate your personal cause is misrepresenting them as weak and powerless.

All this talk about just accepting it is defeatism. You're promoting defeatism. Are you so scared to bounce back that you wish to ostrich your way out of any pressure?

Why, yes, it is too hard and unnecessary to write main instead of master, or any of the hundreds of completely arbitrary changes made with, I repeat, zero net measurable gain.
Flutter Desktop Media Player
Conversations like these don't happen in a vacuum. There's the immediate context of the conversation and there's the historical context of people A and B.

And that's even assuming that the real meaning is in the text of the conversation rather than the subtext.

"All lives matter" is a good example. As a point divorced from any context it's an entirely correct and virtuous statement to make. But in the context of BLMthe subtext of the statement makes it a radically different one, and pointedly offensive, one.
What you're seeing is a collective action problem. Each team makes a rational decision, but only does so locally. Solving a collective action problem requires widely distributed efforts that are valuable collectively, but which don't make sense individually.

I collected a list of these starting at my previous employer and got up to 91 examples. Stuff like "consistent configuration names" (ssl_verify vs verify_ssl), "consistent log format", "consistent Kubernetes CRD naming scheme" etc are all examples.

It is not an easy thing to solve. Especially since folks don't usually think of it in economics terms.

Disclosure: I work for VMware, but not on the products you mentioned.
Does Rust handle anything with memory barriers? I can handle concurrency, interrupt handlers, etc, but memory barriers always trouble me.
very good read. however, I'm confused. the article doesn't mention how to handle changes within a line?
Calca is way more natural for me. We could use an open implementation.
बाधा अडचन
- config.cryptography.password is always set to a default value if not provided, it will never hit your error case [0]. This is trivially verifiable and I suggest you try it.

- no, you accept the algorithm as an environment variable - someone can install your package as is and still set it themselves

- as kohtatsu mentioned you should be using a key derivation function.

[0]: https://github.com/whatl3y/hide/blob/1c3aaca634f504c3c274bac...
Went to look at your profiles, and then your site. Your site is down. Were you aware?
I prefer to experiment with ideas and ideally get an MVP out way before officially deciding that I’m “starting a startup”. I worked on https://divjoy.com for 6 months on the side and only decided to jump into it full-time after validating the MVP (mostly thanks to my Show HN).
Change.org Blocked by ISPs in India
Just use tape?
The world is full of people who can think for themselves, but I’m afraid most of them has became jaded and tired of educating others.
Bill Gates says Covid-19 drugs should go where needed, not ‘the highest bidder’
If you did have COVID-19. You may have no antibodies after three to four months, but T cell immunity.

"Our results indicate that roughly twice as many people have developed T-cell immunity compared with those who we can detect antibodies in."

https://medicalxpress.com/news/2020-06-immunity-covid-higher...
I wonder how long the lines were in the study, or if this was controlled for at all.
I did use the phrase decimal representations to avoid that exact issue.
Almost certainly this one, which explored the question of whether it would be an effective strategy to encourage healthier food choices:

https://journals.plos.org/plosone/article?id=10.1371/journal...

Also, interesting fact: this is a Wansink paper. Wansink is a bullshit artist of the highest order. So I think there's quite a meta-lesson here.

https://www.vox.com/science-and-health/2018/9/19/17879102/br...
This is what I should do :)

I simply append the password to itself to get 32 bytes, but SHA256 is almost certainly the better/right way. Will add a PR this weekend.
That one sentence rather undermined the bulk of the rest of the letter: if, as they argue "cancel culture" isn't a real thing then why are they afraid if being cancelled?
I think they address in part; POC and other minorities don't have "institutional power" to protect them like white cis men (presumably) do. The argument would have been more effective IMO if they focused on that point rather than shaming the signatories, but that wasn't the point. "Counter punch" is indeed a good word for what they were doing here.
Small Satellites Are Remaking Space Exploration
I made it across the pond to UK from NY on WSPR 20 meter amateur band using the ~10dBm output of a Raspberry Pi on its IO pins. It's quite capable. That was ~7 years ago when the atmosphere/sun was a bit more ham friendly however.
This is patently false. You do realize someone in a position to modify your traffic can turn easily insert javascript into your static content right?
I don't know about D, but a difference between Rust and Go, for instance, in this area might be that the Go language designers care about compilation speed, to the extent that it has influenced the language design, while in Rust that concern may be important in terms of implementing the compiler, but not enough to influence the language design.
If people get swayed away from an entire profession because of a few words, how can they have the mental capacity for constructive criticism? For being told directly that their work is sub-par and they need to improve? And how do they have the capacity to do their job if they are constantly annoyed by a few words?
Now it’s http://isoldpurple.com
In C and C++ it is also quite common to use binary dependencies, something that cargo still doesn't do.

However C++ is also now looking at parallelization opportunities for modules, which is a similar situation as crates.
Which Metric Should You Use to Measure Product-Market Fit?
Absolutely not. People with disabilities still experience the world. See Helen Keller. Your reasoning would only apply to people with no sense and no way to communicate at all.