skysight-inc/HackerNews huggingface dataset:
> For example, you can prove that you don’t have an out of bounds write, but not that a hardware bug doesn’t exist.

Also, a bug in the compiler could introduce such a bug.

To my knowledge, the major Ada compilers have a very good reputation for correctness, but none are formally verified, and there's no such compiler on the horizon.

> There was a proof of SSL or TLS (can’t remember which) as a protocol was secure, but later was exploited. This was because the exploit was something the spec didn’t cover

Typically we'd expect the only vulnerabilities in such an implementation would be side-channel attacks, such as timing attacks. Do you have any more details on this? I couldn't find anything with a quick google.
Has there been a genius of his kind since? Maybe Terry Tao, but his work also lacks the ease and lack of machinery that Ramanujan had. Truly amazing.

It's hard to compare mathematicians, but I suppose Erdős[1] would be in the conversation.

[1]: https://en.wikipedia.org/wiki/Paul_Erd%C5%91s
NDA is only a legal protection, not a technical one.
I had literally said "that do only one thing" in the section that you'd quoted.

I've always been talking about that.

LoC aren't a metric. We're not getting paid per line and we're not playing code golf either. It works, it passes tests and most importantly, it's easy to change.

As for the comment about loops, both the languages I mentioned have powerful map functions. The goal of keeping the functions small is to avoid nesting loops and heavy amounts of indentation.
You are fortunate that the problems with modern software shops happen to align with the types of problems you can deal with.

For example, there aren't plenty of companies with quiet offices searching for developers. When I tell my manager "The noise in this new open floorplan office is killing my productivity", they say "OK, well, that's not going to change", and then we spend the rest of the hour rearranging deck chairs on the Titanic. (Or they remind me of how they're spending money on me, in other ways I don't care about at all.) If I said "Hey fix your shit" they'd say "Every other software company in town has open floorplans too now -- good luck with that".
XLS Masami
I played it for a couple hours (4-5) with a friend and then stopped, because I was bored out of my mind.
"Why you should not use Tcl": Richard Stallman kicks off The Great TCL War.

https://vanderburg.org/old_pages/Tcl/war/

https://vanderburg.org/old_pages/Tcl/war/0000.html

Richard Stallman (rms@gnu.ai.mit.edu)

Fri, 23 Sep 94 19:14:52 -0400

Why you should not use Tcl. Richard Stallman, GNU Project.

As interest builds in extensible application programs and tools, and
some programmers are tempted to use Tcl, we should not forget the
lessons learned from the first widely used extensible text
editor--Emacs.

The principal lesson of Emacs is that a language for extensions should
not be a mere "extension language". It should be a real programming
language, designed for writing and maintaining substantial programs.
Because people will want to do that!

Extensions are often large, complex programs in their own right, and
the people who write them deserve the same facilities that other
programmers rely on.

The first Emacs used a string-processing language, TECO, which was
inadequate. We made it serve, but it kept getting in our way. It
made maintenance harder, and it made extensions harder to write.
Later Emacs implementations have used more powerful languages because
implementors learned from the problems of the first one.

Another lesson from Emacs is that the way to make sure an extension
facility is really flexible is to use it to write a large portion of
the ordinary released system. If you try to do that with Tcl, you
will encounter its limitations.

Tcl was not designed to be a serious programming language. It was
designed to be a "scripting language", on the assumption that a
"scripting language" need not try to be a real programming language.
So Tcl doesn't have the capabilities of one. It lacks arrays; it
lacks structures from which you can make linked lists. It fakes
having numbers, which works, but has to be slow. Tcl is ok for
writing small programs, but when you push it beyond that, it becomes
insufficient.

Tcl has a peculiar syntax that appeals to hackers because of its
simplicity. But Tcl syntax seems strange to most users. If Tcl does
become the "standard scripting language", users will curse it for
years--the way people curse Fortran, MSDOS, Unix shell syntax, and
other de facto standards they feel stuck with.

For these reasons, the GNU project is not going to use Tcl in GNU
software. Instead we want to provide two languages, similar in
semantics but with different syntaxes. One will be Lisp-like, and one
will have a more traditional algebraic syntax. Both will provide
useful data types such as structures and arrays. The former will
provide a simple syntax that hackers like; the latter will offer
non-hackers a syntax that they are more comfortable with.

Some people plan to use Tcl because they want to use Tk. Thankfully,
it is possible to use Tk without Tcl. A Scheme interpreter called STk
is already available. Please, if you want to use Tk, use it with STk,
not with Tcl. One place to get STk is from
ftp.cs.indiana.edu:pub/scheme-repository/imp/STk-2.1.tar.Z
Yes, it looks like for many mathematicians, the confusion between stable conceptual foundation and eternal objective reality is too seductive to not fall in the illusion of identity of things locally indistinguishables.
The conveniently skipped over "getting the initial 150k" is the part of your story that most likely contradicts "anyone can".
I use APL daily; I still think Kragen's notation is worth a look. It's important to examine alternative approaches!
I visibly grimaced when I saw this. This is straight up ridiculous.
Well not even Samsung can do proper SW engineering (it's an insanely failed side of Samsung and yeah it's that bad) and they can pay top dollar.

Koreans just cant really do b2c products that well that are not hardware.
Its a fair point. However, I don’t think it has reduced our capacity for thinking, it’s simply allowed us to think more about stuff that others haven’t, which is pretty awesome. We’re building a shared corpus of understanding as a species that we never had before, which seems exciting. Most of my friends verify things on Wikipedia or the internet before giving an answer to a question; basic fact checking allows making informed decisions which perhaps have a higher likelihood of success. Well maybe not but the success or failure would both be worthwhile since the reason it failed couldn’t just be that it was based on a lie.
sorry, I did not understand. can you elaborate.
The grudge against the breast is best is legitimate and valid. My son was just born in a baby friendly hospital 6 weeks premature. Mom was pumped full of fluids for days before the delivery and they built up in her lungs. The day after delivery, she woke up to the cardio and respiratory alarms going off at 6am and she was talking nonsense to the nurse, presumably because she wasn’t getting enough oxygen. That day, the nurses kept coming into her room and the top priority was to get her to pump. The top priority. I finally had to go talk to the charge nurse and demand they look at her lungs because she obviously couldn’t breathe.

So yes. The hyper focus on breast feeding is a problem. Baby friendly is often hostile to the mother. The medical community is to blame while in the hospital prioritizing pumping over breathing.
The std:future:Future of Rusoto
Read a book on coping with narcissism.
There's a related thing, too. I notice that easy answers mean it takes me longer to realize I'm asking a slightly wrong or less useful question than I should be.
> constantly feeling like they're a failed parent because they used formula or a tablet

I don't have kids but I was 8 when my sister was 0 so I like to think of myself as having seen how things go.

Kids are very resilient. They'll raise themselves if they have to. Just keep them fed and sheltered and you're fine. The more you leave them to their own devices, the more confident and self-sufficient adults they'll become.

Our great grandparents raised their kids by letting them run around in the fields "helping" while everyone else was working and everyone turned out just fine. You do not have to optimize every little second of their lives.

It's okay for kids to struggle a little in a nurturing environment. You are not their butler.
To be honest I’m not so bothered by the idea that depression could be extrinsic, or at least partially extrinsic.

What I find “crudely reductionist,” in the article is the very idea of “capitalist realism,” and the idea that some notion called “capitalism,” can be the cause of all depression.

Are we to think that depression did not exist in the Soviet Union? Or perhaps in the mercantilist kingdoms of the colonial era? Or perhaps not in the Roman Empire? Or what about ancient China or India?

There’s some irony in saying “capitalist realism tries to fool us that this is all there could ever be,” when the article itself is declaring that capitalism (or any -ism) can only be some kind of evil force which naturally causes depression.

It doesn’t read to me like a thoughtful scientific article, but like a religious text decrying another religion.

I find the real world is not nearly so black and white. Certainly the “capitalism” as practiced in the United States is far different than that practiced in Norway, as well as the statist system in practice in Cuba and currently falling apart in Venezuela.

It’s hard for me to see this author as doing anything other than taking a victim mentality and trying to prescribe it for everyone else, laying Universal blanket blame on the authors preferred heresy.
Tips to make an effective Python Style Guide
For me being able to shuttle through gifs is a big deal and that's the main reason I use it.
Announcing the Cleanup Crew ICE-breaker group
Ask HN: The Next Big One?
Apple IPO: 1980

Microsoft IPO: 1986

Amazon IPO: 1997

Google IPO: 2003

Facebook IPO: 2012

What would be your guess for the next big one, and when it goes public?
Yeah, I found actual medical professionals (even the lactation consultants I dealt with) to be pretty chill about breastfeeding and formula. Online mommy culture is a scourge though, and is ridiculous about the benefits (real, imagined, and wildly overstated) of breastfeeding.
If this interests you then are two more scanned hardware logs at: https://exhibits.stanford.edu/ai/catalog/rn367gp7801 and https://exhibits.stanford.edu/ai/catalog/gq025tt6144
Medical research is protected by patents, which are different from copyright. Their term is shorter (that's good) and they have exhaustion (even better). Patents protect not just medical research but also engineering research, etc. It's a good idea to have them in general, as people otherwise employ secrecy over their methods and might not invest into research at all as it's not lucrative. Software patents are a very bad idea and quite counter productive though.
Medical science that can completely heal any injury or illness in minutes or at most days.
"Home-cooked" software is such a lovely analogy. I've used the same comparison to explain my unease about ad-hoc spreadsheets being replaced by domain-specific software [1]. Often the new software is "better" just like restaurant food is "better" than a home-cooked meal, but it's also great when people can build small-scale, super flexible software that works perfectly for just their own needs.

1: https://twitter.com/geoffreylitt/status/1177607448682582016
you're discounting that they might mean Google should influence the American government to change India's maps by brute force.

"Gun boat diplomacy" comes to mind
That's not sufficient reason to trust them.
Stallman was really seeing with clarity back then. It's kind of crazy that he doesn't get credit for the things he did unambiguously get right.
Demand is mediated by policy. Tax corporate real estate to create incentives for companies to locate where it’s beneficial to citizens. That’s one way to better manage demand. And we have to manage demand or we create a lot of failed cities like Detroit. Boomtowns are avoidable with sensible policy. We need those policies to keep people from exploiting humans herd like instincts for profit.
I think you might be underestimating how hard breastfeeding is pushed in US hospitals. Our second night in the hospital with my son, my wife's milk hadn't come in yet.

Our son was screaming because he was hungry. The nurse kept saying this was good, that it would encourage breast milk production. It took several tries to convince her that, while it might be good in the long run, we needed some food for this baby.

This was a consistent experience with all nurses we dealt with. Interestingly, breastfeeding specialists tended to be more understanding.
(Parentology: Scientology for Parents?)

Anyway, I just want to point out that the medical system et. al. mostly can't do better than placebo (except surgery (but then there was that study of placebo knee surgery...))

And how can you "do science" to parenting without multi-generational "longitudinal" (I think that's the word) studies with control groups?

Can we compare e.g. Amish children with Sentinelese children with tech-saturated children?

(The people of N. Sentinel Island are likely the closest thing we have to a control group for human society.)

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

> The Sentinelese, also known as the Sentineli and the North Sentinel Islanders, are an indigenous people who inhabit North Sentinel Island in the Bay of Bengal in India. They are one of the world's last uncontacted peoples.

> ...the Sentinelese appear to have consistently refused any interaction with the outside world. They are hostile to outsiders and have killed people who approached or landed on the island.
Interesting! I’m curious why people never moved to say Quark XPress then, but presumably it was “Hancom makes us this super custom thing, and it’s way cheaper than any desktop publishing software”.

Is there a lot of diversity in the types of documents people make? (Like, why isn’t this a case of having lots of templates?)
Sorry, I didn't mean to imply I was the author - I was just curious what failed. Thank you for the explanation! I agree that OP made cool demos. :)
No they’re equally correct.
https://forum.wordreference.com/threads/fr-sinscrire-dans-à....
Interesting points! Thanks.
I didn't know "inscrire" is a transitive verb, so indeed "s'inscrire à" is grammatically incorrect.
As often with french it raises the question of "does this rule make sense regarding usage". A quick google search for "s'inscrire à une salle de sport" shows a lot of results, even from people specializing in sport. And many native speakers were fooled by this rule.

As for the "crédit", the dictionnary definition seem to state it is correct (even though "bon" would be a bit better).
https://larousse.fr/dictionnaires/francais/cr%c3%a9dit/20314...
Crédit: Autorisation de dépenses accordée par les autorités qui établissent, votent ou règlent les budgets ; somme ainsi allouée : La bibliothèque dispose d'un crédit de dix mille euros.
I thought that I made it clear that I don't work on this anymore.

Advertising isn't an inherent evil. You find your mechanic, doctor, lawyer, etc because they advertise.

I advertised for one specific company. I worked in an industry that was pretty grey. Some parts of the business were vaguely predatory and others served a great public social need. More importantly, you had to have an actual reason to fill out our forms and follow through with us. We weren't just desperately trying to get any eyeballs. The work that I did very much did help people.

Also you're not going to get much mileage shaming people for what they do for a living. You being reductive doesn't really reflect reality either. I was much more than some marketer and yes, the problems were extremely intellectually stimulating, otherwise I wouldn't have been there.

That's better than I can say for most of the quants I worked with -- they were almost all just in it for the money.
Notice that they are not actually providing the raw data; they are providing access to a dataset that has been anonymized using differential privacy. This is a way of adding noise to the data that makes it impossible to tell (much better than random guessing) whether a person is in the dataset, even by combining the dataset with external data.
It should be noted that though "myriad" comes from a Greek word for 10,000, and this is why the term "myriadic" is used to describe a number system based on powers of 10,000, the word itself is common in English with no meaning other than "a lot", and can't be interpreted to mean 10,000.
And as we all know, IQ is a perfect measure of mental capability and the only thing that really matters in the end. Self-confidence, ambition, passion, knowledge - that's just balderdash!
If they ever make a website for the collected data, consuming JSON is less brittle than parsing a README file.
For a while, I used to hang out in a subreddit for people who are learning Spanish to give advice (I'm a Spaniard).

You wouldn't believe the amount of times I was "corrected" with suggestions that were clearly, blatantly wrong if I didn't outright say that I was a native speaker.

I think it was mainly Americans from Spanish speaking immigrant families who were overconfident on their skills, but it was funny nonetheless.
Card Games Classified by Mechanism
Expecting a cobbled together mess to do accurate arithmetic. There's your problem.
More directly to the topic of this discussion: the problem with screens is that they are a very easy tool for making children shut up and stop bothering the adults, and a much more difficult tool to make into a challenging and thoughtful experience. As a result many adults lean on using screens to distract their children much more than they absolutely need, and end up reliant on them. And the kids end up using screens in a way that is wasting a ton of time and not helping their development.

The material on screen is very often (from what I can observe just walking around town and seeing kids looking at them) grossly inappropriate for the child’s current level – either too simple and repetitive or too advanced and incomprehensible – but the sounds, colors, and especially movement are so exciting as pure distraction that kids will sit entranced, whether or not they are learning anything. The overstimulation from the screen is addictive enough for the kids that the kids will start to fuss and cry when the screen is removed, and when given the choice the screen will crowd out other toys and activities.

It is probably possible to make a screen a meaningful learning experience for young kids, but few parents (especially the ones who are using the screen to get a break from childcare) have the time to research and personally vet material to figure that out.

If a kid watches 30m of Mr. Rogers every day, they’re going to be fine. But the kids watching 2 hours of YouTube low-budget animated nursery rhymes on loop, or watching endless unboxing videos, or playing a too-easy iPad game, when they could otherwise be playing with and learning about the physical world, are really missing out.

This is not to say that kids shouldn’t regularly spend some time entertaining themselves while the parents do something else. But if they can learn to do so with a wimmelbook or some crayons or some blocks or a cardboard box.... they’re usually going to be learning more than if stuck in front of a TV.
Digitized Maps Recently Added to Library of Congress Website
If I am learning something new then I find it helpful to copy down on paper what I read out of the book, word for word, as I read it. That slows down my reading and prevents me from spacing out.
The activX dependence is one hell of a thing. I once applied for grad school in Seoul and it was a harrowing experience just sending them documents.
Have you ever tried converting from one system to the other in your head? It basically can't be done. Conversion is an easy process if you're willing to use pencil and paper, but at that point you're most of the way to using arbitrary conversion factors.
From Murray Gell-Mann:
https://www.youtube.com/watch?v=rnMsgxIIQEE

Several clips from Gell-Mann's Web of Stories interview (late 1990s) pertain to his on-again off-again collaboration with Feynman.

https://www.youtube.com/watch?v=o2sEW4ggVlA&list=PLVV0r6CmEs...
Proselytizing is annoying. If this wasn't that then apologies.
When I had the original Pebble, I set up an IFTTT notification when the outside temp got above 80 to remind me to go outside and enjoy it.
Interestingly enough, my tech illiterate Dad has been running OpenSuse for years now and has the opposite experience of what you describe. It has drivers for his hardware that Windows no longer can use, he likes KDE's GUI significantly better than Windows, apps for just about anything that are a few trivial clicks away from being installed, updates come quick and automatic, and it runs much better than the Windows install he hasn't booted in months.
I'm not sure I'd call it coincidence rather "being struck by the vast amount of time and passion Ramanujan put into mathematics". I'd be absolutely amazed if he couldn't have recalled a similarly obscure fact for most numbers below 10,000.
I don’t think it’s necessary. In fact, I’d prefer if these researchers didn’t even exist.
> I think this the major cause of speedup.

This simply can't be true. On a 4 core laptop you might expect parallelism to provide up to 4x performance. But this has 75x / 200x performance, that must come partly from other reasons.
Gluing manifesto: Centralized isn't evil if it's replaceable and not custodial
> Those needs are privacy related and having control over the software you use.

That’s fair enough, but I’ve tried to stay away from branding Waterfox as such to try and avoid issues like this. Nothing has even happened to Waterfox, but I understand that people are to be critical, I think it’s fair enough.

> Then one day you get there and and while you load up your cart the owners tells you they work under Walmart now.

I don’t think it’s quite the same though. As much as I’ve done Waterfox for the users, I’ve also done it for myself and how I’d want and expect a web browser to be. That’s not going to change either, but like I said it’s fair for people to be critical of that