skysight-inc/HackerNews huggingface dataset:
Wow, what an effort, thank you very much.

Ref [1] is not computer science, but demonstrates the early use of the term in yet another discipline.

Ref [2] is definitely a hit; it's a text by Robert J. Bobrow about an experimental database system, published in 1972.

Refs [3] and [4] are documents collected by White and Goldberg, as far as I understand, not really publications; Goldberg started to publish in 1977, White in 1982.

Ref [5] is again a hit; it's a documented use of the term in a published MIT report from 1974 about operating systems.

Ref [6] seems to have been published much later; if you look at the bibliography on page 19 there are references from 1987.

Ref [7] is again a hit; it's a paper published at the POPL 1975 conference about structured exception handling.

Ref [8] is an interesting paper, but from 2003

*** Interim conclusion:

With reference [2] we have the earliest documented use of the term "object-oriented" in a CS publication; it's in a book about a symposium which happened in May 1971. The first ever Smalltalk was conceived in the same year.

The first use of the term related to an object-oriented programming language seems to be in MIT CSG Memo 137 by Jones and Liskov in 1976, as found by a fellow on Reddit (see https://old.reddit.com/r/ProgrammingLanguages/comments/156ng...).
Buildroot did an excellent job of converting me into a lifelong yocto advocate. Yes it's much simpler upfront, but the sheer number of subtly broken builds will slowly drive you insane, since you're not going to be patient enough to wait 30-60m for full rebuilds every time you change something.

Most vendors are on yocto nowadays anyway. If you stick with buildroot you'll be doing all the work yourself.
The latter, look at GP's comment history, only here to promote Algora.
They are microscopic trace amounts of trash that until recently we didn't even know about.

They are unavoidable, doesn't matter what you eat. Fish, vegetables, meat, whatever you can think of it has microplastics.

If you want to expend a bunch of energy trying to minimize it go ahead and good luck. Personally I don't see the point.
?

They developed an entirely new platform for EVs [1]

They started a subsidiary for self driving with around a thousand employees [2]

They released EVs, the bZ3, the bZ4x, the Lexus RZ

Current battery technology is a huge reason why people don't switch to EVs. Everyone I know talks about the charging times, needing to find a supercharger route when going long distance.

A 10 minute charge on that massive range would convince me to switch easily.

1. https://en.wikipedia.org/wiki/Toyota_New_Global_Architecture...

2. https://en.wikipedia.org/wiki/Woven_by_Toyota,_Inc.
CERN / Switzerland would like a word
Root CAs can be configured to only attest certain TLDs (in this case .gov) via X509v3 Name Constraint.

This is how dn42 does it: https://dn42.dev/services/Certificate-Authority.md
Woah cool! I actually hadn't heard of this. Would be cool if I can integrate this into the platform. Been thinking of adding other backends like Sendgrid and Resend.
750 miles are still fairly rare, as a fraction of all road trips. We'll hear from everybody who does it in this thread, of course, but on average it's definitely an edge case.

However, it doesn't matter, I could do 750 miles a day in my Model 3 just as easily as my gas car. It would be more comfortable in the Tesla, too.
Define unlikely?
https://www.pcmag.com/news/its-now-a-bit-harder-to-register-...

Because it was possible, maybe better now!
I saw a similar problem at dhs. The contractors who run email & office software don’t talk with the contractors who run their web presence, on two completely separate domains. Lots of US gov orgs use way too many contracts instead of staff.
Thanks a lot for sharing! I'm afraid I can't do much regarding automatic password saving until Apple extends support to third-party browsers, but I'll see if I can implement your nice-to-haves on my end!
Large companies have difficulty making changes. The reason is exactly that: the goal is to make money, and doing what has made heaps of money for heaps of time already always seems like the best option.

> The Innovator's Dilemma is the title of an excellent book by Clayton Christensen. The dilemma itself is the fact that though large innovators have some motivation to innovate, they also have a strong disincentive from doing so as new products will undermine their existing ones.

I don't think the biggest markets will mandate EVs in under a decade. More importantly, it's possible the bigwigs at Toyota don't think so either, and they will act on what they think, even if it happens to be wrong.
I agree but how do you explain that it’s actually working? Also on heavy load for days? We was asking the same, for that I tried to run an heavy benchmark for some days on the RPis. Maybe the spec of the power supply are different?
In the case of an "input your authentication code" page, I'm pretty skeptical that accessibility is a good reason to not focus the only part of the page that a user probably wants to interact with. The screen reader is going to clearly announce something like "input, authentication code" assuming the dev has labeled the input correctly. I'm just having trouble imagining why autofocusing the only input on a page that matters would somehow make the experience worse for specifically users of screen readers.
That explains a lot! The article was pretty insightful up until the point where it mentioned Abraham. Far right figures can be very incisive about some of the issues facing modern society, the problem is that their solution is very often to revert to traditional norms.
I went through the process of registering a .gov domain recently and it definitely takes a couple of months. It requires a letter of intent, wet signatures from elected official(s) on official letterhead, a phone call to a publicly listed number of an elected official, 2FA enrollment for the management of DNS/WHOIS, and a period of time in between some of these steps for some behind-the-scenes verification to take place. Despite the many steps, I did find it relatively straightforward and appropriate given the exclusivity of the TLD. In fact, the most difficult part (that I'm still working through) is convincing management that we should make the full migration to the .gov now that we have it registered...
What about a "root" CA only capable of signing .gov certificates?
The War on Pineapple [pdf]
"turns out .gov is exclusively for the US, not sure I feel good about that, particularly as .com and .net are very much not just for the US.

I get it, you invented the internet, but the special status you have over it is a little frustrating."

I bet America having +1 as our country code bothers you too :P

America numba 1! /S
Do .gov's have to be renewed every year with ICANN?

What if a dept lets theirs lapse and some squatter swoops in and takes it?

We'll start the bidding at $1B USD...
I am not surprised. On multiple occasions I was offered a job/project because of my blog and github.
Yes exactly. So there's no need to use gov.us, but there isn't a 'ukgov' TLD, so gov.uk makes sense.
I have good news for you then-- there already is some experimental[0] work towards this, under the name of "pattern types" (although I believe it's on pause at the moment). The idea seems to be to pull some of the pattern semantics into the type system, allowing for more than just range types, based on a series of blog posts[1] by the author of the PR. Additionally, Yoshua Wuyts has another blog post[2] which gives a decent intro on the concept and what it could be used for down the line.

[1]: https://github.com/rust-lang/rust/pull/107606
[2]: https://cohost.org/oli-obk/post/165584-ranged-integers-via
[3]: https://blog.yoshuawuyts.com/pattern-extensions/#pattern-typ...
Can you please elaborate what do you mean by "script-driven fullscreen mode"? Does any other iOS browser have such feature?
.com, .org and nearly all original TLDs are used internationally, though there are also local derivatives like co.uk. Even .edu used to be available internationally. I suppose most people have realized by now that .gov is strictly US, but it's not like that was obvious from the naming scheme alone.
yes, basically, they just poof it into existence, and then it poofs out again when the loan is repaid.

of course there are details ...
That seems to be a distinction without a difference?

Sure, you can say the studios are not demanding that shows be removed. But, they are demanding that shows get paid for on each stream. And the streamers have done the math to see that it is cheaper to stop streaming them.

This kind of thing didn't happen at your old rental spots, as they specifically did not have to pay back to studios on each rental out. Just as your library doesn't have to pay on each lend. Moving the streaming into that world is very different.

Broadcast is /almost/ comparable. But there they don't give viewers a choice of what to see. It is them paying a much smaller subset of shows for the right to broadcast them. It is a payment model that doesn't scale up to on demand streaming capabilities.

To be fair, I suspect that the deal was actually on the right to be able to stream. Not per active stream, as that you could probably still find a way to make work. But if I have to pay for the right just to offer a show, and the number of people watching it are low, I can fully understand just not bothering.

Of course, it gets further complicated when you consider it a broadcast, as that also requires some considerations on the music rights that have to constantly be redone, as well. Truly a very baroque system that is exceedingly complicated.
> What makes it clear to you?

Not the OP, but also American. For me it's clear because I've never seen a US government site on a non-.gov domain (though apparently some obscure ones exist as this submission points out), nor have I ever seen a non-US-government site on .gov.
Honestly, I don't believe that anyone is truly "confused" about the source of a .gov website, especially folks who are reading HN on a weekend. They might view it as arbitrary (it's not, really) but it's certainly not a "oh man I just don't understand how this could be the case" level of confusion.

I won't go so far as to say that the internet is an American invention but it was certainly primarily American in origin. .gov has been managed by the US government since the beginning.
I always think it’s weird to believe in either of those things (that we can’t make enough electricity, which can be made in like a dozen different ways whether coal, oil, gas, biomass, nuclear, hydro, geothermal, wind, solar, etc, and that there won’t be enough lithium, even tho lithium isnt burned up, is extremely plentiful from conventional sources plus can be practically extracted from the ocean not to mention recycled indefinitely) and then be like “therefore, since we’ll have unlimited fossil fuels, let’s make more fossil fuel cars.”
In a way, I meant both. The buttons and sliders of a UI are the parameters and functions of a Java interface. I appreciate the feedback nonetheless.
> I haven't held an X1, but according to specs online, it looks like the top edge of the screen would be about 9-10" tall when open. Does that match yours?

I think yes, more like 9". Don't have that laptop now to measure.

But I don't use a stacked setup, too short for that. Bottom of my monitor is now 4" from the desktop.

I just open the laptop to almost 180˚ (I meant this by "flexible enough") and then a modern wide 14" screen doesn't push the monitor stand too far or the keyboard too near — this part might be worse with a bigger laptop.
The world was hungry for EVs; Tesla had products to sell. As other options become available, their lead has shrinked over time.
It currently does, unless they get a cert cross-signed from a CA that’s in the root CA list.

Which is a problem with the root cA design.
Could America’s economy escape recession?
Doordash in particular has been trying to charge a ton of service fees and "suggest" high tips. Sorry/not sorry to say their service fees come out of the driver's otherwise generous tip.
- "Humans are a greedy species and this planet..."

Propaganda of collective guilt is indeed strong last decade. Just not let them divide society. We have enough experience with that from history.
Or people that enjoy a consistent environment without mindless churn.
An industry that heavily lobbied for a law which heavily boosts their profits wants to heavily lobby against the destruction of such a law? Shocked. /s

Honestly I see no theoretical benefit to not allowing the government to negotiate. Maybe there is a practical one?
I'm skeptical of this style of writing. If I'd have the power/were a mod... I would remove it even if it doesn't break any rules.

Allegedly, all of the author's friends are dead, and this is a widespread problem. This happenes everywhere, society is at fault. - What we hear is baseless (there are no links provided). It's pretty far from my experience as a human (however, I am not US based).

The tone of the text is very low on specifics, and it's spoken at a 3rd person always talking about others, about how society behaves, about what others do and how others feel. - This style is usually a projection of someone's thoughts. In my experience I've had lots to learn by talking about my own values and how they developed over time. Also hearing others talk about their own experience directly proved valuable. All I'm seeing in this text is "I judge X, I judge Y". That scares me.

These are 2 of the red flags I have to detect problematic philosophical wiring. Is it specific? Is it personal/direct experience? Negative answers suggest I should avoid this piece.

[EDIT] I did not get to the end of the piece and thus I do not argue about content here. Red flags triggered for me in 5-6 distinct paragraphs. Enough for me to decide I should avoid the rest (and that I should write this comment).
In my experience - same Gouda recipe with good quality pasteurized milk and raw milk - the raw milk cheese is an order of magnitude better. I am not completely sure why, but the whey I understand it:

Milk proteins change with the pasteurization process. Pasteurization heats milks to between 149 - 161 (my best understanding). Using raw milk, the milk (usually) gets up to 100 F at most in the cheese making process. I believe that the effect of the heat accounts for the change in the flavor, but what do I know? In addition using pasteurized milk requires more rennet, more culture and the addition of calcium chloride. I'm not sure if this is a factor or not.
It might become significantly smaller if some network and IO features which are not accessible w/o JS will go away reducing the browser to pdf reader with forms and GET requests.
I second this. I worked with yocto for 8 years and my current job uses buildroot on all their projects and I'm trying to get them to convert. I'm supposed to give a company wide yocto training in october. Gonna do my best to sell it well.
Nokia, Palm, Blackberry, and Microsoft had years of experience making smartphones…

In hybrids the electric motor doesn’t have to be maximally efficient, because the electric range is only a nice to have, not the key selling point.

Hybrid battery density doesn’t matter much, because it’s 1/10th of BEV's size anyway.

In hybrids the charging speed can be an abysmal trickle, and still suffice to charge the tiny battery. In BEV you need to work with 4x higher voltages, 10x higher wattage, and push thermal management to the limits.

That’s why bz4x sucks. Its efficiency is meh. It charges at below average speeds, and still overheats.
In theory the state of input fields is preserved, but maybe some websites mess up with that. Can you please share which website did you try with?
Tesla innovates at a rapid pace, even if judging solely on the battery architecture and cell chemistry between their platforms over the last decade. The tech in my 2021 and 2023 Ys is far superior to my earlier 2018 S and X. The jump in tech from v1 Superchargers to v4 is material.

Toyota invented the hybrid drive when the US was encouraging higher fuel standards with policy (and Toyota was concerned about being left behind), and have barely put forth a half hearted effort to build EVs. Their earlier compliance car RAV4 EVs used Tesla drivetrains, for example.

Meanwhile, Tesla sells almost 2 million EVs a year and continues to ramp manufacturing. Toyota manufactures press releases.

https://www.caranddriver.com/features/g15377976/what-came-be...

https://www.motorbiscuit.com/toyota-once-partnered-with-tesl...
I'll pay for the domain if you find a way to buy a .gov as easily as you can buy a .com. I don't even think a regular citizen can get a .gov unless you incorporate a new city or something like that.
TAM doesn't necessarily resolve the ticket nor that's their first priority. Their first priority is to be a contact person or a face of a faceless company. I don't believe they're paid by a resolved ticket (all tickets get resolved anyway), MTTR or something similar. Tickets are for some faceless support personnel. TAMs are supposed to help you, but unless it's something trivial they are a waste of time.
Fifteen years ish and there's maybe ten-thirty production use cases that kinda can't be verified because they all sound like research projects doesn't sound super great to me. No offense, but I do wonder if all of those cases could have been accomplished more easily/sustainably with another tool and if they exist simply because someone was selling the language to a company as a contractor as a form of vendor lock in or something.

I guess I'll be curious once I install some software or an OS and see it brings in Julia in as a dependency or something. Otherwise I worry it's Matlab 2.0 with less of a mindshare...
Simpletons like this need to realise, how the world is much more nuanced than they think it is. Not agreeing != idiot. Saying something negative != evil. Just look at what happened to Bobby Fischer who was certainly not an idiot and still very much holds a respectable legacy. Even Kanye has probably made a much more positive impact than whoever this is.
It still allows you to use them for interop. The only functionality that would be impaired is checking for inheritance with an `as?` type check/conform.
Elixir doesn't currently have a type system built into the compiler. There is a separate package Dialyzer which does type checking but it would be fair to characterise it as a bolt-on rather than part of the core tooling. Work is now underway[1] to create a type system based on "set-theoretic types" though this is still considered experimental and may never be added to Elixir.

[1] https://elixir-lang.org/blog/2022/10/05/my-future-with-elixi...
>The net effect on the economy should be approximately neutral

It wouldnt, and that's exactly my point. Company A is producing something of value (presumably) while Landlord B isnt (as evidenced by COVID-19 forcing us to WFH). So the $1 billion has now and always has had a wasted opportunity cost attached to it (who's making better use of it).

In other words, if Apple wired me personally half of their yearly profit, do you think that the net effect on the economy would be neutral?
Good point about commercial/industrial devices.

For consumer products, we are both right. A consumer product developer must provide owners with any secrets/keys/code necessary to replace any of the GPLv3 software. So: rights to modify the rootfs.

It's OK for the product to complain at you for doing it, but the vendor has to tell you how, if you ask. And give you any signing keys. That's not ideal on products that might have software-unlockable features, or on public-facing things like routers.
Closer and the same are different things. The speed ebikes operate is acheivable by bikes and ebikes have to follow bike laws and operate as a bike would. Do you think ebikes should be in car lanes like motorcycles are? The danger ebikes pose to the rider or other vehicles is comparable to a bike rider riding fast and this is covered under bike law.
It's particularly good when you have concurrent users. Also, if you just have a web app that won't need other clients then LiveView gives you SPA-style development without the need to write a web-API layer.

Personally, I use it for any web app I'm making. It's a very simple language at its core and is just as good for tiny things as it is for large ones.
If you're driving a Porsche "on the limit" I hope you're on a racetrack and not the public roads.
I think I see what you mean, but "hire stupid and incompetent people" seems like a hard sell.

And I don't think it'll pay off.
Camp 2023 – ISDN (and POTS)
You could have gotten (them) one - it’s actually not an onerous process!
Yes, excellent point regarding secure boot (for good or for evil)!
Maybe drive a little slower on public roads?
Hypothetically, fine tuned transformer networks would learn to attend more to the beginning and end of the sequence since that is where the instructions typically are. And lo and behold a recent paper demonstrated this to be true.
This is ass-backwards. Screenreaders should handle autofocus properly or ignore it, not force the other 90% into (even deeper) insanity.
I was definitely less able to comprehend the title, because it implied a very different context than the actual subject matter.

It would have been much more readable to write "victim count".
This presentation is getting into the idea of "magnitude" the invariant from category theory and how it can be used in mathematical ecology, especially when we're trying to max out diversity. It's put forward as a possible answer to a head-scratcher in mathematical ecology: How do we find the maximum diversity if we're given a list of n species and a similarity matrix?

The presentation gives us a whole range of views on biodiversity, making it clear that we need to think about both common and rare species when we're figuring out diversity. It hints that this magnitude idea might give us a more detailed picture of diversity by considering how important different species are relative to each other. Then the presentation gets into the weeds of category theory, chatting about enriched categories and size-like invariants. It talks about stuff like monoidal categories, V-enriched categories, and linear categories. These ideas are brought up as tools to help us understand and calculate magnitude.

The presentation also explores how these category theory ideas relate to metric spaces. It suggests that getting a handle on this relationship could give us even more insight into how to max out diversity. Lastly, the presentation brings up the Euler characteristic, which is a concept from algebraic topology. It hints that the Euler characteristic and magnitude are pretty tight, and understanding this connection could give us even more insight into how to max out diversity.

So, to wrap it up, the presentation is a thorough look at how category theory ideas, especially magnitude, can be used to tackle problems in mathematical ecology. It suggests that these ideas can give us a more detailed understanding of diversity and might even help us figure out how to get the most diversity.

References:

https://arxiv.org/abs/2012.02113

https://arxiv.org/abs/1606.00095
Pretty hard to feel sorry for these guys.

They found a cheat code in capitalism and they're exploiting it.

* Landlord: "I didn't have to increase the rent but I did it anyway. " : iamatotalpieceofshit || https://www.reddit.com/r/iamatotalpieceofshit/comments/14xop...
I don’t even think the purpose for this is known. Not sure how this would impact earnings at all. Meta doesn’t even manufacture a phone.
Great site! Definitely should not be paginated though. Just put them all on one page.