skysight-inc/HackerNews huggingface dataset:
As a relative layperson alongside you, I'm not sure what precise deficit Lurie is addressing. But having spent some deep time in a proof assistant (Agda) lately, I think there is a related issue.

Formally, equality can be "intensional" or "extensional". An intensional theory equality says that things are the same only when they are defined the same way. So, for instance, "the set of even primes" and "the set of primes less than 3" are not intensionally the same. In contrast, an extensional theory says that things are the same when they behave the same. Both sets answer the same membership questions the same way -- 2 is the only element of either -- so they are the same set.

ZFC is fundamentally extensional -- one of its axioms is literally called the axiom of extensionality, defining equality in terms of membership. In deeply identifying the above sets, we lose some of the ability to distinguish them formally and model the way in which they are equivalent.

That's one guess.

Another, less specific guess is that it's much like how the dual of a vector space is isomorphic to the original vector space, but in a way that depends on certain arbitrary choices. Meanwhile, the dual of the dual is naturally isomorphic to the original vector space. Thus, there are qualities of equivalence that we're interested in. (But this example is perfectly well captured by linear algebra as it stands.)
There would also be the viscosity losses of an oil-filled motor.
Can you recommend some PIO tutorials that go beyond the simple example in the SDK?
In Germany Tiktok actively removes content mentioning LGBT issues. I very much worry about how Tiktok is Chinese controlled and they are already abusing it worldwide to remove things that they consider threatening. It's fine while it's still a relatively minor platform, but that will change as it gets market share.
I was certain it's about Czech surnames, yes it is.
The most interesting part of this is the section on Length Extension Attack. Implementing SHA256 isn't all that interesting since it's just a mechanistic translation of an algorithm, but the attack shows off one of the implications of how the function works.
all close knit communities get hit by these type of things. example Madoff and the jewish community.
Isn't jainism about 2500 years old ?
What a horrible concept.

Two reasons:

a) Implies someone thinks they are too important to deal with emails that they establish a paywall (the charity bit is irrelevant, frankly). And yet obviously they are not actually important/successful enough because otherwise they would have a PA/Secretary acting as gatekeeper. So its basically arrogance mixed with an inability to manage their time correctly.

b) The whole ramming charity donations down your throat thing. Its MY business alone to choose what charities to donate to and how much I donate. I do not need other people, whether chuggers on the street or "gated challenges" attempting to force (or "strongly persuade" if you prefer) me to donate to their chosen cause.

c) The whole thing is too fragile anyway. What about your bank/Amazon etc. ? Are they going to have to make a donation before reaching your email ? Good luck with that !

People who think they are "too busy for email" should just setup a "hidden" email instead that you only give the chosen few and that comes straight through to your Inbox, then a second email that goes to some folder you look at as and when, its not rocket science.
One would hope that the part of the car that communicates with the charger and the part that controls the doors are separate.
The problem is that Nintendo is not consistent about NES palettes either. Their different emulators all have different palettes, https://emulation.gametechwiki.com/index.php/Famicom_color_p... goes as far as to suggest their latest emulator (the one that is part of Nintendo Switch Online service) has as many as 12 different palettes where the palette picked depends on a game. Nintendo did have NES-based arcade systems that used RGB, however the problem is that their color choices were really ugly.
We were attracted by Western “culture”, that’s what brought the Wall down. We had a sort of “culture” on our side, too, but it was all positive and as such it seemed fake, especially to the younger people/generations.

From a distance the Western culture didn’t seem fake, it looked like the real thing (again, also because it was able to “present” to the world all its contradictions).

Of course that this is all a very complicated discussion (to this day I think the punk culture in the West was “masterminded”/instrumentalized at keeping the generation most affected by the Great Stagnatation at bay), but most probably a web forum is not the best place to hold it.
Autopilot does not disable vehicle brakes. In fact vehicle brakes immediately disables Autopilot. If they're actually claiming that they had no brakes then that makes it likely they're lying about using Autopilot at all.
The robotic arm that connects your Tesla to the charger

Tesla demoed that in 2015, but didn't make it into a product.[1]
Apparently too many people thought it was "creepy".

(That's a good way to do the job. Snake arm robots are quite simple. The tube just contains some pull cables running through disks with holes.[2] All the motors are in the base. So you can build one of these with a protected base and an easily replaced arm tube. The usual problem with snake robots is that the cables wear out. But that's in painting applications, where they're in constant motion all day. A charging robot moves, slowly, for maybe one minute per hour. They're not very repeatable, which is fine in this application. The car won't be in the same place every time anyway. There's a TV camera in the end to find the socket. It's too bad that didn't ship as a product.)

[1] https://www.youtube.com/watch?v=uMM0lRfX6YI

[2] https://www.youtube.com/watch?v=EUEp-AfvvzE
You say excuses but none of that individual things matter. Even if the people who read this and their friends take action, it will not matter.

Let's be realistic. Only 100 companies responsible for 71% global emissions.

https://www.theguardian.com/sustainable-business/2017/jul/10...
> There are niches where C/C++ are better suited

What niches?
I work in a way that requires me to focus for periods of time.

I find that booking a time that is mutually convenient (even for a short conversation) is preferable to possibly interrupting or being interrupted.

It means I can give my full attention to the exchange and make it a priority. Call me when I'm in the middle of something and you'll get less attention because my mind will still be on the task I was doing.

There's no part of my day that isn't busy (work, team, manager, personal).

Personally, for casual, non-priority conversations, I rather async mechanisms (messaging) be used first, and then if something develops that warrants a "face to face" conversation, we prioritise that time.

I think if someone has said "please book time with me" they have already made you a priority to talk to because they are giving you the most valuable resource a person has.
I can’t imagine anyone worth contacting using a service like this.
Mostly because they lack design conviction. When Apple moved off skeuomorphism into the flat realm (in a sense copying a lot of Microsoft’s Metro design), they really believed in it. Microsoft is without a doubt having an existentialist crisis with the fact that their design is just not on par with Apple, or even Google, and that’s leaving room for various elements within the company to constantly attack what should be the overriding design language. It’s an inferiority complex of epic proportions, especially when some of their first tried ideas are just being executed better by other companies.

Take Xbox UI for example, that stuff has been wholesale copied by Nintendo and Sony.

Sometimes you really have to believe in your ideas, and iterate on your own ideas. Microsoft at the moment (and the past) is coming up with their own ideas, and then iterating on outside ideas, in an adaptive manner. In art, this dilutes your expression. Such a method is only effective if you very clearly know where you want to go, and apply a coating of adaptation (iOS going flat).

Unfortunately for Microsoft, they seem to only know what their minimum base design is, that is to say, a modern enough design that sits next to Google or Apple. What they don’t know is where they want to go. So, you’ll see good ideas and concepts from them initially just to meet the ticket price for entry, but once they get there, they don’t have any idea how to proceed. So they take their expression and adapt, adapt, adapt to what others are doing until we all go like ‘the fuck is going on here?’.

Case in point, decades later, windows 11 now fundamentally has a Dock like MacOS lol. Zero conviction or understanding of what the Start Menu could be.
Recommendation providers should be decoupled from content providers. Not unlike movie studios and movie theaters. Open-sourcing current algos won't help, they are flawed, but their flaw isn't really in the lack of openness. It is in the lack of competition. If you make the best recommendation algorithm in the world that is miles ahead of everything in existence, you wouldn't be able to make a product out of it, because you need the whole package in order to compete, so your only options are either to try to caught up on features to companies that have vast profitable businesses or sell your creation to said companies. And, by the way, voting on a changes to a single algorithm that makes choices for everyone won't help since a lot of people are going to be pissed of by any decision that is made, which, in turn, means that everyone is going to be pissed off by that algorithm since virtually everyone is going to see a decision they don't like being passed(and so we are back to square one).
You’re giving a completely unconstrained analysis here.

What do you mean by “opening up…under-resources individuals?” If this isn’t happening along racial lines, then I agree. But if it is, then your second paragraph is hypocritical.
Thank you, I'll be listening to your podcast on the morning drive. I'm also very interested in the history of astronomy and your podcast is right up my alley.

If you have information on the Jewish aspect of stargazing, I would love more information. Stargazing was no less important to the Jewish ritual and culture than to other ancient cultures, yet I can find very little information on it. Even until today, Jews observe the stars to determine the daily change of the day - especially important on fasting holidays. When can I eat?!? Yet the information seems to be lost in the ages, as I suspect that Jewish stargazing was mostly practical and less research or discovery than other cultures had.
You can do that with the Capture Screenshot command in DevTools https://swimburger.net/blog/web/hidden-gem-take-screenshots-...
They are a GCP support team that Google is outsourcing.
Fired to be replaced by contractors, to reduce costs.

IMHO a bad way to treat your workforce.
To me the NES is the precursor of Apple and Google with closed systems that preys on the discovery of the home computer and creates waste (cartridges) when software can be written to re-writeable media (cassettes, floppies and network).

C64 and Amiga are the precursors of the Raspberry, that while not 100% good; they atleast leave you in charge of your machine to a larger extent:

http://move.rupy.se/file/commodore.png

Another interesting tidbit is that Nintendo wanted Commodore to design the Famicom but Tramiel bailed in the last second when the Commodore guy was allready in Japan on his way to that first meeting.

Last but not least, the C64 had S-video before it even had that name, separating the chroma and luma. Not even the Amigas had that 10 years later.
The key word here is "blamed" as this has likely nothing to do with Autopilot. The person panicked and fled the scene and then made up stories to pretend they were not the cause of the accident.
Same reason why I am absolutely terrified of playing any instrumental music on Spotify. I let one track run till the end and my next 2-3 discover weeklies will be filled only by instrumental music.
> But we're a good 25 years out from a truly autonomous, road-worthy, self-driving human transport.

It sounds like your reasoning goes like this: my interactions with things which are supposedly AI are bad. Self-driving cars are also some form of AI, therefore self-driving cars must be bad and or far away too.

Did I understood you right?

The problem with that logic is that there is nothing in common in implementation/architecture/incentives between the things you mention and self-driving technology.

Nobody, well nearly nobody, tries to implement self-driving cars in a blackbox “AI” fashion. What I mean is that we don’t just throw sensor data at a neural network, then squint and say “i recon it is going to drive well now”. That would be madness.

Most approaches break down the problem into sub-problems covered by sub-systems. The sub-systems are fed information with known error properties and engineered to the specifications. The failure modes are painstakingly traced through and documented. Then in turn assemblies of these subsystems and the whole are reasoned similarly. Fault trees are drawn, the operational domain is considered. The reasoning why the engineers think the system is safe and have the right redundancies in place is more complicated than the code itself.

Some of these sub-systems are implemented using what one would call “AI”. Particularly in the object recognition domain that seems to be the state of the art. But the failure modes and shortcomings of these systems are considered and reasoned about the same way you would do the same with a good old-fashioned kalman-filter based sub-system. It is known that they are going to fail in various situations in various ways. The trick is to engineer the whole system such that it still remains safe despite these sub-systems having these characteristics.

I’m not saying that we will have safe self-driving soon. What i’m saying is that you can’t reason about self-driving cars by saying “commercial entity X is spamming me with bad marketing crap. People talk about AI behind said marketing crap. Therefore self driving cars are far away.”
Like the sibling comment, I'm in my early 20s. So pretty close to the target audience age. My friend tried hard to get me to create an account on TikTok because he was super into it, and making videos, and wanted me to participate and do them with him. I heeded him, and gave it a shot. Overall, it felt like a chore to try and remember to open it up and scroll through tons of short clips.

I like to learn from long-form content that can go into detail on a topic. That's much more appealing. Then again, I'm on Hacker News, and I think the majority of the people here are the kind of people that prefer long-form content over short-form, otherwise we'd be scrolling through TikTok rather than reading articles and typing multi-paragraph comments.

What I was originally trying to say though is: I don't know that it's old age. I'm young and I don't find it enjoyable.
No, it removes the entire snap ecosystem from your machine, including the snap backend to apt. It does mean that installing snap-only packages becomes more problematic, but that's a price I'm willing to bear.
It's interesting that these companies go into these different product directions, while i assume they're both looking at similar metrics, and optimizing for the same outcome: engagement and number of users.

Somehow YouTube is seeing more engagement by showing more of the same, and TikTok is seeing even more engagement from showing fresh content.

Maybe the risk of an upward trend in outcomes, that blurs the fact that you could see even better trends by done things differently.
seriously? is Ginni Thomas expected to face any charges over this? i see no crime, only emotion

If Justice Thomas had texted this, perhaps there might be grounds for recusing him (but even then probably not - activist opinions are protected speech). Ginni's actions are of no consequence/relevance.
laughs in PAL

Weren't NTSC somewhat also grainier with more pronounced horizontal gaps between each scanline? Certainly seemed so.
Per [1], even if dated a bit, the efficiency of motors can be improved by 20-30% - which means that assuming a fossil powered electricity source the amount of energy consumed and CO2 produced will be lowered correspondingly, simply because you need 20-30% less electricity for the same power output on the axis.

Additional energy and CO2 will be saved by lower system weight (especially if the motor ends up being used in a mobile application like a car or train) and by lower system size.

[1] https://www.eceee.org/static/media/uploads/site-2/library/co...
They're likely going on this, which in local media usually implies they're fleeing back to a home country: "Sakshi Agrawal has been granted conditional bail, despite police protesting she poses a flight risk."

And/or from another local article:

"The 23-year-old, who is on a bridging visa, was released on bail despite concerns from police prosecutors she could flee the country."

"The court heard that Ms Agrawal, whose driver’s licence had previously been suspended..."
Depends which embedded microcontroller. Some are very well supported, e.g: https://github.com/stm32-rs/stm32h7xx-hal
> So lets not go to the actual source

@latestanonpress is not the actual source, every single “anonymous” twitter account is run by a different idiot.
I remember hearing similar things about Instagram vs. Facebook many years ago.

Could this just be a honeymoon phase before the SEO experts arrive in force to help make content go viral while ByteDance starts testing different monetization strategies by messing with the feed?
While putting them out for rent.

I dont understand how this is an objectively evil thing, except if you see house ownership as a human right?
> This is why we joked NTSC meant Never The Same Color.

SECAM = System Essentially Contrary to the American Method

PAL = Perfection At Last
There is difference between war that Russia can fight and a war that Russia want's to fight.

Putin's Russia is more dysfunctional than Soviet Union ever was. Russia is solely hydrocarbon based economy. It has military for a typical hydrocarbon based dictatorship.

Regular competent military career officer is a threat to internal security. Top ranks in Russian military are filled with generals with career in internal security (FSB and similar). They are competent in internal security and small "special operations". They don't know how to plan and execute complex military operations. They just yell and punish when things don't go as they planned.
Seasoned Java/Kotlin dev:

Nah, Gradle is a fucking mess no matter what. If you don't absolutely understand the gradle life cycle, how to avoid task configuration, keeping everything lazy, avoid cross configuration, understand that buildSrc is shit, gradle will be hell.
The variation would occur on both sides of the bell curve. A few motors will die prematurely, and a few will last forever. The classical bathtub curve of failures will skew the bulk of the failures out past a decade or so, but on the order of a century only the lucky few exceptionally-built, or exceptionally-maintained devices will last.
Okay I see what you’re saying now

Yeah having that in parenthesis would explain it all
You're right the linked article doesn't mention it.

If you search the drivers name and Tesla, other articles do claim that she is not a citizen or permanent resident of Australia and is there on a bridging visa.
This is a terrible suggestion. IntelliJ Community Edition is enormously powerful and more than sufficient for getting started with Kotlin. I've been coding in Kotlin for years and still don't have a reason to pay for IntelliJ (sorry JetBrains!)
Dan Peña Is Wrong About Bitcoin
I think having kids forces you out of your shell for their sake, you have to be able to speak your mind to strangers, etc. and it becomes easier talking to others to get things done.
yeah I broadly agree. Shame is a good small group policing mechanism, in my imagination I see a homogenous kinship group in a hostile environment. Shame works there, but not necessarily for anything larger scale.
Yes, it is kind of weird to say "social media exists = 1984" but I think they were meaning that it's worrying how many people use it without realizing they're basically doing the NSA's job for them.
The medical world needs follow the aviation industry in not assigning blame to individuals after incidents unless they had reckless or malign intent.

People make mistakes. If your system relies on people not making mistakes then it is an unsafe system.
>But the failure modes and shortcomings of these systems are considered and reasoned about the same way you would do the same with a good old-fashioned kalman-filter based sub-system.

My personal definition of what constitutes "AI" includes emergent behavior as a prerequisite. To lack emergence is to be a programmable logic controller.

Do these systems you're talking about exhibit emergence?

If so, how can you possibly reason about their failure modes?
No predictions, just an explainer of how AI agents are trained. For instance, RL is about presenting an environment via rules (gravity, etc), and letting the agent learn its way around, thus discovering what it can and cannot do (a policy for the environment).
These two articles/tools might be helpful

https://blog.solidstatecode.com/converting-qtvr-panoramas-to...

https://jurnsearch.wordpress.com/2019/04/07/how-to-get-an-ol...
Literally turned off uBlock for something and hopped over to GitHub and it was full of so much useless nonsense and I don't even follow a lot of people.
Can you elaborate on why you think it’s terrible to read in plaintext compared to other languages? I’ve been writing a lot of Kotlin recently and the only memorable extra hints (compared to other languages/IDEs) I see on IDEA are named parameters, smart casts, and the type of `it`/`this`. Sometimes I browse GitHub from my phone and I find Kotlin code very easy to read.
>Take some comfort in knowing that it will probably pass with time.

I mean, it does pass with time, but it's not like you magically become less shy. For me it was the transition to college. I no longer had parents to order food for me, professors won't go out of their way to make sure you get homework in on time or even show up for class, schools don't just make up social events for you, etc. You find you gotta literally step outside your comfort zone because society very much does not care about you cooping up in your apartment building 24/7 (as long as you're paying).

And yes, to some extent it does help that the world metaphorically gets bigger in adult hood. When your social circle is a few hundreds people in grade school, their perception of you matters a lot. When in college it expands to thousands of people, 99% of which you'll never converse with, and larger still in society where you ironically feel more lonely than ever because very few people will come up to you to chat.

---

I agree it will pass in time, but it's not just something you grow out of. You either get plenty of practive with adulthood, or you end up as a recluse that is deemed incompatitble with society. Fight or flight. If they didn't get that same practice I did, they have to undergo it now (or perhaps consult a therapist if the anxiety is truly that severe. Unlikely, but it very well could require some clinical solutions.).

It gets easier: https://youtu.be/S-ixV6nV0HU?t=22