skysight-inc/HackerNews huggingface dataset:
I understand that American regulation is company friendly so you can essentially promise and do whatever.

However, did Tesla not also sell in other areas, like in the EU? Were those claims absent?

Because if not, the case would be seem to be easy: Tesla sells a car with self-driving capable hardware (advertised in a manner where your purchasing decisions would be influenced by that claim), has obviously not delivered and has therefore up to three attempts to fix the issue during whatever the warranty period is. If that doesn't happen, you, the customer, can simply invoice your money back.
It doesn't seem like this would turn out well for Tesla.

I mean, I have done stuff like this before - not on a scale of a car, but pretty expensive electronics. The company in question (Samsung) pretty quickly decided to play ball. It gets difficult to prove after six month if the issue is a defect. But if a thing is simply missing or doesn't work as advertised, then the chances for the company to wiggle out of it are rather slim.
Crypto-lottery tickets, not cryptocurrencies.

To a first order approximation, the only people using cryptocurrency as an actual currency are scammers, who promptly sell it once acquired because it's not primarily a currency. It's just an incredibly volatile, highly speculative asset.
Even though merging strings seems faster...
That's not the case with refurbished ones though.
> They are an unethical use of the data produced by Youtube creators, who miss out on ad revenue which they worked hard to earn.

YouTubers share a percentage of the revenue with Google because it has a strangle-hold on online streaming. Platforms building frontends are chipping away at YouTube's moat within means which net neutrality and interoperability make it possible.

> I think that Google using data to personalize ads and recommend videos is ethically ok.

If viewers want nothing to do with YouTube, it is in creator's best interest then to engage with businesses building alternatives. If this niche service becomes any popular, then perhaps, the creators would do well to listen to their viewers, and a new model around revenue can be developed.
The EU had decided to expand their mandate into the tech sphere with regulation already proven not to work as intended/stated.

The EU mandate should not include policing of private speech through tangential monitoring services. Some wealthy European countries themselves have rather restrictive laws and approaches to private thought and through recent laws will have access to this information. The EU (non-democratic European commission with little legislation transparency) will likely to continue to grasp for more power as their competition of thought becomes more mimicry of foreign models of power than actual ingenuity.

https://www.patrick-breyer.de/en/chatcontrol-european-parlia...

https://news.ycombinator.com/item?id=27753727
Adding more compilation steps is not free, though. You have to convince people to want this. It's not necessarily an easy sell.

Even though JSX is pretty React-specific, it still has managed to make its way into other frameworks and many compilers because it's fairly general at its core and because it is a fairly non-invasive process. So for example, you can compile JSX using babel, but also TypeScript, esbuild, and more. (And those are all independent implementations!)

I can't claim to know what the build process looks like for Svelte, but I have a suspicion it is far less general than the source code transformations that we have so far that provide type checking and newer ES functionality in older engines. (Which, by the way, you appear to be insinuating are not "actually useful.") Angular has a similar thing going on and it is not terribly well received.
My view as an American:

I trust my sketchy neighbor with a gun much more than I trust the government with a gun.
Indian exodus from Burma during WWII bears similarity to migrants in lockdown
There’s also just plain distrust of government and media pushing something. Our trust in government and media is so low that when they say do something, most rational people are immediately suspicious.
What this kind of stories always miss is that the host platform needs all system libraries for the target platform for anything beyond the basic examples using the standard library.

E.g. try to cross compile Metal shading example for iOS from Linux with zig, or do a Win2D UWP rendering application from Linux with zig.
Buying stocks of businesses does exceeding little to help said business.

Only IPOs have much of a direct effect. There may be a vanishingly tiny effect on investment raising the price to enable future cash flow, but you'd have to be buying in large volumes to do that.

On the other hand, being proactive in voting during AGMs can change a shady business into a legitimate one.
Do you mean crafting all the various database page btree structures and entries yourself? I'd be concerned about subtle bugs.
I followed the link to the Nim site and downloaded the official 64 bit version.

Windows Defender (Win10) reports a severe threat in nim-1.4.8\bin\vccexe.exe - Trojan:Win32/Wacatac.B!ml - which allows remote code execution.

It may be a false positive - but the whole post is about exploits so I'll probably not risk it.
There is very little gun violence in the US. What you're seeing is a media problem.
Bloomberg actually ran a headline last week that said "Crypto Scammers Rip Off Billions as Pump-and-Dump Schemes Go Digital."

https://www.bloomberg.com/news/features/2021-07-08/crypto-sc...

From their article:

"Tokensniffer, aptly named for Shit Coins, claims to have tracked 42,071 tokens and 2,250 scams or hacks. That was as of June 16. More than 200 supposed stings were logged by users during the first two weeks of June alone..."
> the hardware for the 2016 version. The latest version of FSD needs newer hardware.

Not sure you can start deprecating before you deliver.
Quantitative easing has made stocks more profitable than they really should be, perhaps by a factor of two or three (as measured by the ratio of stock price to profits). But there actually is an underlying value there, and in the long term it tends to revert closer to that mean.

It does seem overpriced right now and overdue for a correction, though it can remain irrational longer than you can remain solvent. Still, don't confuse the real merit with the hype. They both exist. It's less clear whether that exists at all for crypto.
There's already a :checked selector, so you don't really need JavaScript at all in this example.

<input type="checkbox" id="discount">
<label for="discount"></label>
<style>
#discount + label:before {
content: "Click me to apply fake discount!";
}
#discount:checked + label:before {
content: "Click on me to remove fake discount";
}
#discount + label:after {
content: "You have not availed discount";
display: block;
}
#discount:checked + label:after {
content: "Discount Availed!";
}
</style>
The Knights Who Say “Ni”
A bot to check if the author of a pull request to a Python project has signed the PSF CLA.
> Taking to Twitter on Wednesday, he wrote that cryptocurrency is “an inherently right-wing, hyper-capitalistic technology built primarily to amplify the wealth of its proponents through a combination of tax avoidance, diminished regulatory oversight and artificially enforced scarcity.”

The thread doesn't prove any of the claims in the first tweet:

1. Inherently right-wing, hypercapitalistic. What's the source? Whitepaper? Source code?

2. Built primarily to amplify the wealth of its proponents. Again, what's the source for this claim of what motivated Satoshi? Look through the the Bitcoin Talk forum. You'll find nothing of the sort.

3. Tax avoidance, diminished regulatory oversight and artificially enforced scarcity. He's just described blue chip stocks.

Paying attention to notable people is all well and good. But they, like everyone else, have the same standards for evidence as the rest of us.
Reminds me of the Intel 80486SX marketing strategy, but this time crippled hardware can be un-crippled on-demand.

This is something that we all have to get used to.

On a smaller scale, Spectum in NYC has 1 internet router where the WiFi functions can be disabled for a $5 discount on the monthly bill.
This is where the “free market will handle it!” completely fails as an argument.

Lawsuits are RIDICULOUSLY EXPENSIVE and are effectively inaccessible for almost all Americans. The civil and criminal legal systems are unbelievably tilted in favour of the wealthy.
Shouldn't Apple be under Foxconn by that logic?
I am not looking for an a debate; or to be “set straight”.

I am telling you that in my model what I am saying is true . Yes I am talking about function invocation. In Ruby:

a = lambda { Time.now }
a.call != a.call

Or…

x = “Time.now != Time.now”
eval(x) == true

Not to get bogged down in any particular notation/syntax… I am expressing the same thing in different ways.

f() != f()
!( f() == f() )
A != A
Now is not now.

If you disagree with this - you are welcome to disengage me.
I disagree. Almost by definition any beneficial aspect of crypto would be something else than speculation, so holding coins doesn't have anything to do with the usefulness of the technology.
Does the co-CEO model work?
Crypto hasn’t become anything. It’s a technology like any other, that can be used for good or bad. If you don’t see potential in the tech, fine. If you do, then what other people are doing shouldn’t matter.
> Stocks pretend to be backed by real business activity

Stocks are backed by real business activity. Can you name a successful major publicly-traded company (currently) which is actually just fictional business activity? (The finance industry might be the debatable exception depending on the definition of 'real' business activity).

Once shareholders find out that a business is actually just "pretend" business activity it's value tends to drop through the floor. See: Enron, Theranos, e.t.c.
"A lot of poor people need to carry a gun for protection"

How utterly dystopian.
Do/were you guys regularly taking fish oil supplements?
> It’s principally used to facilitate graft and sanctions/tax evasion by these countries’ elites.

It's quite a leap to say crypto is "principally used" for that. Bitcoin is seeing adoption for remittance payments in the poorest countries in our world.

Crypto is also allowing people to donate to activists in countries that deem these people "extremist groups" [0]

[0] https://www.reuters.com/world/europe/navalny-ally-urges-dono...
Assembly Language and Computer Architecture (2018) [video]
From my armchair here I thought something similar, I think I heard 1) that inserting into the same table has some speed limitations and 2) one of the authors ideas was to spin up 4 processes…

I wonder if you could insert into 10 different tables from 10 threads or processes then

insert into single_table (…) select (…) union.

No idea if insert select does the trick or not but you’re almost at the point of partitioning here. If the application called for it you could do some sort of poor mans partition in order to write all the data and then push some complexity into the read.

I also wondered what if any impact the ID primary key had on inserting at the level of frequency.

/armchair
> Some people say that COBOL is the highest-paid language.

Of the 20th century.

I'm sure you know that we are in the 21st century.
I can't think of a single case where in-memory database is a good option, aside playing w/ SQL.

Whatever queries that might be a hashmap/tree/skiplist, etc. would be a lot better.
> instead of getting too much into an arms race, studios should invest more on server-side anti-cheat mechanisms

End offline AAA gaming?
For me, it is more of zero setup while getting most of the benefits which is "good enough" (tmpfs works great but every new developer would need to do this + setup/permissions needed for docker + differences between Windows/Linux and/or desktop vs CI host etc).
I’d actually suspect we’re closer to the middle of the s curve on green tech than we give credit to.

Most automakers are now divesting from ic technology. GM announced a lithium mine that will at least double global lithium production. Solar is now mass producible and cheaper than most carbon plants in most locations.

It’s really cheap to set up solar production relative to coal power plants, with much less regulatory burden and the ability to make arbitrarily small utility production.

Conversely negative economic impacts of fossil fuels are now being felt via climate variability.
Thanks for pointing that out! An issue with my Gatsby config. I just resolved it and it should work now
This resonates so much with me. Recently I talked with an EE that worked at a company that I admire. When I asked him what he did there, fully expecting something cool and highly skilled, he replied that he did sales. I think that my disappointment showed in my face because he laughed and said “I’m done with engineering, now I just pursue the money!”

That really hit me coming from and engineer in Silicon Valley but then I realized the same underlying reasons within me. I hadn’t changed jobs because the next one was more exciting/technically challenging/etc. but simply because of the money. Ever since then I’ve been taking a hard look at my career and actually lookin for an out of the tech industry. I’ll still be writing home brewed software and hacking my home appliances, but I’m now looking for “pursuing the money”.

Being self taught I naturally started exploring and learning other areas where I could make money in a way that I’m not exchanging time for money.

One of the options was day trading, specifically using technical analysis. Now, this is an interesting one and I personally know people that are “successful” in it (i.e. they are able to generate a huge amount of capital in shorter time that it would take with a high paying tech salary). But after reading experiences and books and trying it out I determined that it wasn’t for me. The market is essentially “neutral” in as much as, credentials/education/certifications/training… it all doesn’t matter, EVERYBODY loses money just the same. It’s also negatively biased since there are tons of fees and requires nerves of steel, even if for only 1 hour a day.

The other option I’ve been considering is Amazon FBA. It’s quite an attractive area since Amazon’s interest are aligned (partially) with sellers since they make money of commissions), thus the seller is proving with tons of tools and data to compete even with big and experienced seller, and if your product sells you keep getting ranked higher and getting promoted even if you are a small time seller.

Anyways, just wanted to share this because there are other options outside of software and the skills of a software engineer can be used to optimize workflows on other business models providing you with an advantage!

Good luck!
All studies confirm that caffeine consumed regularly does not improve alertness or anything else above baseline. After a tolerance is built, daily caffeine only returns the user to baseline performance, that they have fallen under due to withdrawal. If you use caffeine for more than about 2 or 3 days in a row, it stops doing anything useful. If everyone quit caffeine immediately, there would be a couple weeks of awful productivity, and then everything would go back to normal.
Conversely I’ve come across great results using Fakespot. Looking at their analysis of pricing over time has told me when I should not buy a product, and I appreciate when they show me reviews that they believe are suspicious. I commend you for placing so much trust in Amazon, I’ve never seen anyone else like you, but the experience and trust level for the rest of us on Amazon is severely low.
"did not have time to root the phone and fix the ads.."

...proceeds to buy linux phone.

Introspection might help here - I recommend Apple if you want something that lasts and just works.
> quite a leap to say crypto is "principally used" for that

Not broadly. But within authoritarian countries, almost certainly yes.

You need to have wealth before losing it to becomes a problem. (For an analogy, look up how hard cash is distributed and used in authoritarian regimes. Hint: the poor Venezuelans have a tougher time getting U.S. dollars, too.)
Matplotlib Gallery
You don't need a rule system to understand what equality is.

Yes, it is not computational for sure. It's a logic, not a programming language.

Nil is the way undefinedness is handled in Practal. It is the most elegant way I can think of. You can still have your option type, just as you can have Kleene logic operators, but these are more suitable for doing program verification work in Practal, not so much for doing general mathematics in Practal.
You really want (T ∪ Nil) ∪ Nil = T ∪ Nil here, while in programming you usually don't want Option[Option[T]] to be the same as Option[T].

I am not saying it is easy to make all of this work, and to make it work soundly. But less just doesn't cut it.

With a kernel-based approach, you have a chance to get it right. If you find an inconsistency, fix the kernel, and move on. Automation works just on top of it, and doesn't affect soundness. This is the great thing about automation in kernel-based ITP: If it finds some solution or counter-example, great. Otherwise, no harm done.
I mostly agree, but having used Linear.app which has a crazy good and fast UI based on a local database synced with their cloud database, I'm not sure anymore: https://youtu.be/WxK11RsLqp4?t=2170.

I think it's important to define early in a project if the app is "cloud-based" or "local-based". If it's cloud-based, then only the server mutates state and sends views to the clients, as you wrote. Everything is simple. If it's local-based, then all data are available locally and mutated locally. The cloud is only used as mirror/backup and can support for some advanced features like full-text search. That's also a very clear architecture. That's how Linear works.

Things become hairy and unnecessarily complex when no clear choice is made between those two options, then it's not clear where the state is.
Why would anyone listen to the creator of a simple fork of Bitcoin as an art project? The guy did something interesting and fun. He’s not a though leader in crypto.

That said most of crypto is a scam, just like most of dotcom 1.0 in 2000 was crap. The parallels are a near dead match, speaking from someone who was there. The vibe was the same. Was the internet a scam?
Neil Ferguson, Imperial College London, "study", this and others were used to advise govs and WHO to classify as coronavirus as a pandemic

He predicted this wrongly, and previous "pandemics"/outbreaks too

And he is still advising the UK government
That’s a different person.
> Can ProtonMail focus on getting mail right before adding calendar and vpn and whatever else they pump in their newsletter?

Once companies grow past a handful of employees they usually go from everyone being a generalist who can work on every part of all their product to having specialists who only can deal with some of what the company does.

The various sites that report corporate information put the number of Proton employees in the 160-250 range. They are almost certainly well into the specialist phase. The people working on calendar and VPN and whatever would likely not be able to help with mobile email if they were shifted to that. If mobile email needs more work than those currently working on it can do, Proton needs to bring in more mobile and/or email specialists.

It would only make sense then to stop calendar and VPN work if they do not have sufficient budget to bring in people to help with mobile email and need to lay off people from other projects to free up the money.
> Compared to Zig, cross-compilation in C/C++/Rust seems downright user-hostile:

This has been the status quo for so very long. Usually these projects are maintained by different teams. IMO musl is more accessible than glibc and that's part of what makes it easier to distribute. Arm and x86 coexisting for as long as they have is a factor, and so is Kelley's ambition to make this use case well-supported. nostdlib is also well-supported by Zig btw.
I am a developer for JB Hunt Transport. I work with many veterans daily. We achieved our commitment to employ 10,000 veterans between 2014 and 2020. I understand, as a non-veteran, that the support and community for veterans is excellent.
He should seriously consider joining us, we would love to have on our team :)

https://careers.jbhunt.com/military
It does look impressive! Does anyone know if Zig exposes some APIs to extract/manipulate/analyze the AST of the C program? It might be a nice alternative to LLVM, which I find a little overwhelming.
$ alias zcc='zig cc'

Only works interactively, though.
Ah, OK, so "no problem" in the sense that it hasn't made things any worse. Fair enough.
Also https://sqlite-utils.datasette.io/en/stable/cli.html#inserti... which comes with a lot of other useful tools for manipulating the scheme, adding indexes and so on after you've imported the data.
IMO - it sucks but as a software developer, I can say software is not free… it takes a lot of time and energy to both develop and maintain software…

As a business owner, IMO you should be free to put any price you want on anything you sell in anyway you choose to sell… people will either buy it or not and that’s the best way to figure out if it’s worth it or not…

As a tesla owner, this sucks because well the hardware is in the car… too bad there are no other cars on the market that even come close
I suspect you were not a foster child with years of neglect.

> you also need to learn how to work with them.

That’s why I asked the question.
Its definitely the best resource out there! Just a heads up re iPad, some people have been reporting issues with the iPad version. I'll be working on the iPad compatibility soon to ensure it all works.
Accepting proof of antibodies would be an even better way for everyone to get what they want right?
The Dark Side is quicker, easier, more seductive. Once you’ve played TIE Fighter, forever will it dominate your opinion of video games.
> Google aren't the good guys (no big company is good) but they are still one of the least evil big companies out there.

May be it is their lobbying and marketing that has you convinced?

> Apple doesn't personalize ads, but they are instead working hard to kill open computing which is way worse than personalizing ads in my opinion.

Both these companies want to protect their core businesses and attempt to commodotize each others advantages all the time. It seems you are comfortable with personalised ads and that may be has skewed your opinion.
Show HN: Blink – a Mac app that promotes blinking by fading the screen to black
Do you perhaps mean abundance instead of paucity?
It's true though and has always been the case. Working odd hours not the usual 8-5, might not have a car so walking to work sometimes at night, living in heavy crime areas because it's affordable. I'm not projecting, just calling it like it is and why this bill is a good thing in the eyes of the people who don't even consider this sane.
I would not include Rust in that list, in my experience rustup and cargo are miles ahead of C/C++ when cross compiling.
I did a quick Google search cus I could've sworn Elon tweeted about full self driving hardware on all Tesla's sold after a certain date. Found the official blog post: https://www.tesla.com/blog/all-tesla-cars-being-produced-now...

If there is a class action attorney reading the thread, happy to join...

I LOVE my model 3. I've recommended (with verified purchases) 10+ friends who purchased. The blatant fake it till ya make it marketing isnt needed and yet Tesla continues to do it. WHY?!?
Amsterdam had such a project in ~2002, called Wireless East. It was subsidized. Not sure if still exists. I been to Serbia in 2008 and they were also rolling such out. Back then mobile traffic costs were insane.
But your government does have guns, don't they?
Happy 28th Birthday, Slackware:-)