skysight-inc/HackerNews huggingface dataset:
My point is that other manufacturers' recalls could also be simple software updates but without OTA you need to visit a garage.

So just because Tesla could fix most of their problem oer OTA doesn't mean other manufacturers have more severe malfunctions, just a more complicated way of fixing it.

And OTA is nice until someone finds an unfixable bug and changes your brake setting per malicious OTA.

As a customer, I do care if someone can change important systems in my car without me noticing or being able to prevent it.
> I believe proton decay is still considered hypothetical

Definitely.

> [link] is a good overview

That overview seems to overstate the likelihood of proton decay. In fact, it has it backwards. The default position is that protons are stable, per the standard model, not that they're susceptible to decay.
Ask HN: Why the myth about housing unaffordability in the US?
I have seen a persistent trend of comments talking about housing unaffordability in the US for the last 5-10 years. The reasons cited are NIMBYs, Black Rock and other institutions, Chinese buyers, greedy Boomers etc.

However, the data says otherwise.

1. Since 2015, Homeownership Rate in the United States (https://fred.stlouisfed.org/series/RHORUSQ156N) has fluctuated around the average of what it has been since 1965.

2. Since 2015, Monthly Supply of New Houses in the United States (https://fred.stlouisfed.org/series/MSACSR) is at or above the average of what it has been since 1965 (modulo pandemic years).

3. Even to account for the selection bias of techies on this site from expensive regions, homeownership rate in California has been pretty flat since 1960's (https://www.ppic.org/blog/homeownership-trends-in-california/)

So is it just a phenomenon that those who cannot buy are more prone to complain and those who can don't bother to participate in such discussions?
Again, you're focusing on one small sliver of what dark matter is observed to do, and coming up with alternative explanations for that particular observation. There are a whole host of different observations of dark matter, and any reasonable competing theory needs to explain all of them. Modified gravity is the inelegant epicycle explanation, while dark matter is the simple alternative explanation in your analogy.

> I think what we are missing is that these behaviors need to be predictable. We don't know where these anomalies in spacetime curvature will be and why they are there.

But we do! We can see galaxies that have been stripped of their dark matter and we can find nearby the dark matter that was stripped. We can predict, based on our theory of dark matter where these gravitational anomalies will be, then we look there and lo and behold we see them. We aren't applying custom guesses to match our observation, the universe just happens to match exactly what we'd expect it to look like if it contained a bunch of matter that didn't interact with the electromagnetic force.

> I think dark matter is a bad name for the unexplained spacetime curvatures (warpings?, wrinkles?).

Dark matter isn't the space time curves, which aren't particularly special. All massive particles produce such warping, and we just call it gravity. Dark matter is matter (stuff that interacts with gravity) which is dark (does not interact with light). We would expect it, assuming it exists, to produce such warping of spacetime, which again is exactly what we see.
Features like that technically make the language context-sensitive, but in practice that context sensitivity is entirely contained within the lexer, and you can still describe the rest of the language with a context free grammar of tokens.
Connecticut Kia Boyz [video]
This article is dramatically simplifying the state of software markets.

>Single vendor isn’t a reasonable way to do Open Source and resist evil proprietary software. It’s just another way to do proprietary software.

>proprietary software is not evil. It’s just inferior.

Based on these statements the author would have you believe there is no value in commercial/proprietary software and we should just never develop it. All software should be open and collaborative. That is obviously silly. While open source software is great, many incredible software innovations and truly valuable software comes from proprietary companies. In fact, these companies are typically the ones that make the large open source ecosystem possible by making massive donations in developer hours as well as cash to orgs like linux foundation.

The interesting discussion is in whether commercial software should be closed source or source available with restrictions. The days of building propriety, VC backed infrastructure software with a traditional permissible license are over and likely never coming back.
For a second there I thought this was https://quill.art/
In this setup, can postgresql query data stored in object storage? i.e. Hive/Icebarg table.
It's still a net win.

I program very fast-and-loose in Haskell.

Sloppiness shows up a lot more visibly in the source code.

If I write:

(200, user) <- getUser userId

I can see the tech debt right there on the page. I'll probably even get warnings. Even with with other variations like:

getUser userId >>= \case
(200, user) -> ...
(404, _) -> ...
_ -> error "TODO/FIXME

This kind of thing tends to disappear in my Java day job:

User user = getUser(userId);

What's wrong with the above? Maybe nothing, maybe everything. I don't know! I need to start ctrl-clicking into definitions to try to hunt down the failure modes.
Easy to do already with people's tobacco spit cup, or even regular drink cup residue, and such.
Check out write-down.
That was fast! I've really been enjoying Double, thanks for your work.
Also the main god function is incredibly long and nested, as others mentioned. Nested --> long lines --> black making a mess.
How big is the group that cannot buy?
I think they are basically saying an OS project with a single commercial entity as the maintainer.
...which is even worse, because now the compiler is saying "when you call this, you will get this" and you have NO way of knowing that the call actually returns any number of exceptions, as a matter of course, without reading EVERY line called by EVERY line in that method

vs just plainly indicating you will get Either<Error, Foo>
Roger Penrose has a theory about a cyclical conformal universe, which requires that the universe eventually only contains photons. As photons travel at the speed of light, they do not experience the passage of time, so they also do not experience distance (space). So in the deep remote future, when only photons are left, the difference between the very large and miniscule disappears, and you get all photons in the universe existing at the same point at the same time, which causes a new big bang. At least, that is Penrose's theory. I believe they found some evidence in the CMB supporting it.
> You should be on board if you want Open Source to win against proprietary software. But those companies are still doing what is, essentially, proprietary software: like the proprietary software companies of the 80s, they very much consider the software being produced as their exclusive property. They still intend to capture all the value that derives from it. And thanks to copyright aggregation or permissive licensing, they still can change the license any time they want. So it’s still proprietary: they just choose, for now, to release their software under an Open Source license.

This brings to mind two questions: why does open source need to "win" (why can't there be multiple options) and re: things being produced as their exclusive property, what is the issue with this? They did the work to make the thing, therefore it's their property (unless they choose to release it otherwise).

Sadly, a lot of the arguments I hear around OSS sound like the "you didn't build those roads" argument when they should be "thank you for making your work accessible to me." It's no surprise that most OSS work gets abandoned due to developer burnout when "open source" is often misinterpreted as "100% free for me to do literally anything I want, whenever I want, and you're evil if you disagree with my entitlement to your efforts."

The ideology around OSS has serious NPD vibes. It's worth people revisiting Rich Hickey's "Open Source is Not About You" [1].

[1] https://gist.github.com/richhickey/1563cddea1002958f96e7ba95...
That's reasonable.

Either way, it really looks like Netflix is expecting news about subscriber numbers that they want to hide from investors.
Hey, this is pretty cool! I used to love iGoogle back in the day. Great job!
Me too, 20 years ago in Austria.
Tiptap is a great wrapper around ProseMirror, and if you need to dig deep, TipTap lets you do that but the documentation, for both TipTap and PM isn't as good as it could be and the conceptual model for PM is _hard_ to pick up on the go. I've spent several days on it to get close to what we spec-ed, granted, that's probably a tenth of what I would've spent if I had to build it from scratch, but definitely an investment, because getting all the little interactive details and the way that the custom inline/block elements should work just as the user expects is _hard_.

Overall, it's the only tool I found that makes it as easy as possible to create a good writing/editing experience but it's a hard easy.
The alternative is `std::optional` which works exactly the same as Rust's `Option` (without the niche optimisation).

I'm not a C programmer but I imagine you could make something like `std::optional` in C using structs and macros and whatnot.
Okay, thanks. I think that’s good.
CTR Calculator
I do think it is more about wide feedback than 'men can't portray women well'. It's easy to overcorrect or make weak characters (not only women) when you're in a monoculture and your feedback come from the same kind of people. My example is Raymond E. Feist. His characters (especially female, but not only) were really weak before he partnered with Wurts (which, in my opinion, gave birth to their best work), and in all his following books all his characters were way better than in his first works.
Also, this feature is probably just some midd level execs plan for a bonus, not a rigorously reviewed and planned. It's also probably in the pipeline for a decade so if they don't push it out, suddenly they get no bonus for cancelling a project.

Corporations are ultimately no better than governments and likely worse depending on what their regulatory environment looks like.
>>> you would be fighting for Hamas to issue uniforms

>> How exactly does one fight for that?

> [you can't]

Good to see you acknowledge that your original appeal was not in good faith.
I hate Rust (programming language)
If I can suggest, the next big breakthrough in this space would be generalizing niche filling optimization. Every thread about this seems to fizzle out, to the point that I couldn't even find which one is the latest any more.

Today most data-carrying enums decay into the lowest common denominator of a 1-byte discriminant padded by 7 more bytes before any variant's data payload can begin. This really adds up when enums are nested, not just blowing out the calling register set but also making each data structure a swiss cheese of padding bytes.

Even a few more improvements in that space would have enormous impact, compounding with other optimizations like better calling conventions.
There is https://pyinfra.com/

As a sidenote, I also made a small experiment a while ago : https://github.com/linkdd/tricorder/

But it's a bit of a chicken-and-egg problem. Without users, I don't know how it should be used, without features I won't get any users. So for now, it's in a state of "I'll address bug reports and feature requests, but I won't actively develop it".
Is that really true, though? I can't think of any significant examples of games from the '80s or '90s that involved "in-groups punching... on out-groups", unless the out-groups in question were space aliens, nazis, fantasy monsters, hostile AIs, or the like.

Monkey Island is an absolute classic, of course, but this particular point feels almost like a retcon of present-day cultural assumptions into a specific context in the past where the objects of this criticism weren't really quite so present.
> The GPUs running the Genocide AI

This is why the submissions tend to get flagged.
> Their power density and EROI is hard to replicate.

The market is really good at replacing superior solutions if the inferior solution is cheaper.
If I spend money on software, that means they are worth paying for over the free options!

- Beyond Compare: https://www.scootersoftware.com/

- WizTree: https://diskanalyzer.com/

- WizFile (can search Google Drive!): https://antibody-software.com/wizfile/

- Fork: https://git-fork.com/

- Directory Opus: https://www.gpsoft.com.au/

- https://www.insynchq.com/ (Best solution for not syncing folders like `node_modules` to Dropbox/GoogleDrive)
Great but I am unable to find an IDE or compiler that supports C++ 20 and every one of them complains about import std;

Any recommendations?
Rent, not ownership.
"Show me the incentive, I'll show you the outcome". I do not know anything of the culture of Tesla and am not commenting on it specifically, and that quote could apply just as much to a company like Boeing. But at companies working on safety-critical products, the problems usually arise from employees acting in their own self interest to do what will get them rewarded for shipping on time, or to avoid punishment for causing delays.
Those are larger serving spoons though, not a teaspoon.
Damn. I know this isn't the end of the world for Z80 retro-computing enthusiasts, but this still does not make me happy. I have a small cache of new Z80 chips already in my parts bin, but now I feel like I need to order a whole pile more just so I'll have extras around.

Or maybe it's just time to pick up a Z180 and start learning to work with that. sigh
A hero appears!

The client I use currently, npgsql, supports proper streaming so I've created a FS->BLOB->PG storage abstraction. Streamy, dreamy goodness. McStreamy.
I’ve seen the company I work at show up on sites like this, when I’ve been explicitly told we can’t use whatever the thing is.

My guess is all it takes is 1 person inside Microsoft using it, or even 1 load of the library from a Microsoft owned IP.
Xunit offers several methods:
https://xunit.net/docs/shared-context
Definitions are hardly a problem just for science (if they are a problem - science seems to doing OK regardless), and I feel they are particularly difficult for those with a strong commitment to the view that ethics must somehow be grounded in something irrefutably true. In fact, I vaguely suspect that Wittgenstein's later position with respect to the rule-following paradox was that seeking such grounding is a doomed pursuit, and he somewhat famously contended that philosophy was not concerned with problems, only linguistic puzzles.

Perhaps rather paradoxically (at least if you see Popper as a champion of science over philosophy), Popper (who, in addition to his work on the philosophy of science, also wrote "The Open Society and its Enemies") felt that Wittgenstein was utterly wrong to deny that there are real philosophical problems.

https://plato.stanford.edu/entries/wittgenstein/#RuleFollPri...

https://ditext.com/wordpress/2019/06/26/puzzles-vs-problems-...
Anything else? The prokaryotes would like to have a word...
Texas hack may be first disruption of U.S. water system by Russia
Normally I'd agree with you, but this really is not a matter of opinion, it's up there with eg compiler built in null safety is superior to everything being able to be null. There's plenty of people who think it's not, and who come up with all kinds of bizarre reasons to say so, it's just that they're wrong. Even the Java language designers themselves (including people like Bloch and Goetz) have for decades been talking and writing books about how wrong Java got a lot of things. But the community is stuck in its ways and wants to keep coding like they always have.
Take Hashicorp's Terraform as an example. Until recently, the code was completely open source with a permissive license. You could do exactly as you like with it. The 'single vendor' decided that was no longer in their best interests.

What's the problem? Now you have 1000's of companies that rely on this software, and if they want to continue to receive security updates, they need to comply with the new license. Of course, people are free to fork projects, and that has been done in the case with terraform, but it's something that a foundation-led project most likely wouldn't do (change the license).

There's another flavor of single vendor open source IMO. I call it 'look but don't touch open source.' Modern software projects have become some complex, and the build and dependency systems so customized, you could have the source code available, and be free to modify it, but wholly unable to do so because of the build-time complexity. A foundation-led project would, ostensibly, ensure that the entire lifecycle of the software is approachable by end users (docs, tooling, etc).
Music from The Secret of Monkey Island is in my favorites
Under the hood though they don't work remotely the same - you also aren't having things like inheritance, polymorphism, etc. - You can emulate them, I'm sure (that's a strength of C - you can do basically whatever with it) but as far as encapsulated in-memory objects with interfaces, it's just not there without a lot of goofy structs pointing to function pointers. I've only worked with C in embedded systems and the structure you're describing I've genuinely never seen, but I'll take your word for it.
Arguably Google has been taking your agency away and predicting your intent for the last decade at a minimum. The only difference here seems to be that you’re noticing it.
Fair point!

Though you can take big shots that still preserve your family. Big shots don’t necessarily have to be risky.
In a very specific context which your comment does not acknowledge.
Location: New York, NY

Remote: Yes

Languages: Python, Java, Ruby, JavaScript (+ES6)

Databases: MongoDB, SQL

DevOps Tools: Docker, AWS, Terraform

Résumé/CV: https://www.linkedin.com/in/lydiastepanek/

Email: lydia <at> penloop.io

Experience: 10 years
Perhaps it's just that increased awareness brings a larger audience, and not related to the specific cause for the increased awareness.
Insurance Companies Are Flying Drones and Taking Photos of Your Home
Yes I would love it if Honda would admit that the transmission on the Odyssey is bonkers but seems like they'll claim it's WAI until a lawsuit happens
Ya, sorry, I have some issues with Algolia weighting; I am working on getting topics/genres to outrank author names as "math" is causing some problems there.

Here is what should show up:

Math bookshelf page - https://shepherd.com/bookshelf/math

Math search results page - https://shepherd.com/search/shelf/693
I tend to agree with you, not for the different semantic aspect, since they both are capable of expressing the same thing (with checked exceptions),
but for the performance impact of exceptions. If I'm not mistaken throwing an exception has a much larger cost than a simple return due to needing to construct the stacktrace.

So using exceptions for an expected path of a function seems sub-optimal.
Causal machine learning for predicting treatment outcomes – Nature Medicine
That sort of thing is typically handled during lexing. By the time the parser deals with it, it's a string literal. This is one of the advantages of splitting those into separate phases.

There are other hacks in use as well. Haskell's syntax is context-sensitive because operator precedence and associativity can be declared in the same context as the operator is used. But GHC ignores that during the phase where it actually parses the input. It just ignores precedence and associativity when parsing operators. After it finishes parsing the translation unit, another phase goes back, finds nested operator applications in the parse tree, and fixes them up based on the precedence and associativity information it has found.

It turns out that when your language is only just barely context-sensitive, you can find a way to use context-free tools to handle it, with a couple extra passes to fix things up.
Annual CO2 emissions are predicted to start going down in 2024.

https://climateanalytics.org/comment/will-2024-be-the-year-e...
> You cannot decay if you don’t experience time

That's a common misconception, there's no a priori reason a particle without a restframe can't decay. For all known particles with a finite lifetime we give this lifetime as measured in its restframe (i.e. with the particle standing still), but in principle it is an observer-dependent quantity, faster moving particles will take longer to decay. If we, for example, assume the lifetime of a massless particle is proportional to its energy, we retain the same expected Lorentz covariance.

Of course, if you actually go through the math, the known massless particles in our universe, photons and gluons, turn out to be stable.[1]

1: https://arxiv.org/abs/hep-th/9508018
yes it's puzzling how simplistic this framing is. I would expect more from the Vice-Chair of the OSI.
I don't think anyone thinks traditional auto is incompetent at manufacturing.

I think lots of people have their doubts about the strategic product vision of big auto executives, who traditionally have tactically chased short-term profit margins with tunnel vision that would make GE cringe.
Assuming using same account, use history command to show past commands[0a, 0b]

'load random example' on shellcheck using own custom examples from history command.[1]

ncurse, dialog, zenity[2].

"Gooey: Turn command line programs into GUI applications"[3]

Many command line programs were not designed with i/o buffering in mind.[4a,4b]

describe what want bashgpt[5] to write/display using aforementioned zenity/Gooey.

chatgp shellmaster[6]

--------

[6] : http://community.openai.com/t/introducing-chatgpt-shellmaste...

[5] : http://github.com/dtegunov/bashgpt

[4a] : http://www.gnu.org/software/coreutils/manual/html_node/stdbu...

[4b] : http://unix.stackexchange.com/questions/25372/how-to-turn-of...

[3] : http://news.ycombinator.com/item?id=8218785

[2] : http//funprojects.blog/2021/01/25/zenity-command-line-dialogs/

[1a] : http://www.shellcheck.net/

[1b] : http://github.com/koalaman/shellcheck

[0a] : http://www.tecmint.com/history-command-examples/

[0b] : http://www.tecmint.com/remember-linux-commands/

web based documentation: https://www.tecmint.com/linux-commands-cheat-sheet/

commands grouped by typical usage patterns : https://www.tecmint.com/essential-linux-commands/
I've been dreaming of something like this for many years. Stata has many strengths. It has a ridiculously simple syntax, much of the data "cleaning" often happens under the radar, it has a nice gui for models and plots, and visualizing datasets is easy and pleasant. This makes it accessible to undergraduate students without a programming background. It also has obvious downsides. It is proprietary, it can be very slow, and using Mata to write one own's estimation procedure is quite painful (it was last time I did). Julia seems like a promising solution to these problems.

Two potential approach:

1. Calling Julia from Stata like the authors suggest (instead of using mata). This could work if the interface isn't too cumbersome. The ability to compile Julia binaries could also allow to do this without running Julia in the background. Of course, one still needs to pay for Stata.

2. Rewriting Stata in Julia using macros. This sounds like a massive undertaking, but could be the best solution in the long run in my opinion (but would sacrifice the gui).
Mozilla Begins Offering Firefox ARM64 Linux Binaries
Considering the size of Microsoft and the hundreds/thousands of teams building various things, I would guess that most well known open-source projects (like Quill) have been used by Microsoft at some point.

I would be very surprised if no team there had used Quill before.