skysight-inc/HackerNews huggingface dataset:
> where T is a type parameter are known as homomorphic mapped types, which means that the mapped type is a structure preserving function of T.

I work in PL and this type of language is pervasive. It is motivated by wanting PL terminology to be precise, meaning it always means the same thing to everyone, because there are agreed upon, robust, mathematical definitions for specific terms.

The problem is that laypeople don't know PL terminology. It's incumbent on PL people to explain using words that people understand what they are trying to say. Those words that people understand can be made clear (but maybe not robust or precise) but it takes a really excellent command of language to do so.

I have my struggles with this. I have learned (and now occasionally teach) formal PL notations--semantics, inference rules, type systems. Occasionally I review papers in research fields (like POPL). Research papers are constantly pushing the boundaries and too-often flaunt complexity as a substitute for technical difficulty or depth. I fear PL has entered a spiraling Tower-of-Babble situation where only experts can understand what is in the field. And while that's true of practically any field, PL is particularly bad because it keeps inventing at best intimidating and at worst impenetrable mathematical notations that make reading PL papers impossible for the uninitiated. (Granted that the OP was just about jargon, not notation, but the wider point is that it is rampant in PL). In systems papers, one can read the words because there are fewer jargon words and generally no new weird notations.

The language in this documentation is self-serving to PL nerds and needs to be rewritten to target normal people. Anything else is just needless elitism and wankery, IMHO.
Yes, thank you. Typing from memory on my phone
This is strong, “not the car expected of a doctor” energy
Becoming a furry does constitute irreparable damage.
Fair point, I’d missed that.
No porn for you then I guess.
>Web devs love the word "jarring" like it's some world shattering visual effect.

I've never been a web dev. I'm just explaining why the typical mainstream end users who don't have the same patience as HN-type techies (who more happily accept MPA) do not like the discontinuous UI of reloading pages.

Another example of that SSR MPA page reload/refresh would be old Mapquest before 2006. Screenshot: https://www.e-education.psu.edu/geog160/sites/www.e-educatio...

Each click on North/South/East/West buttons and Zoom In/Out blanked out the entire page and loaded a new page to shift the map viewport. This was a suboptimal UI experience for the typical user. I concede it wasn't "jarring" to you but it was to a lot of users -- especially compared to a CDROM maps experience. Example video of a smoother maps UI experience circa ~2000 from Microsoft CDROM desktop software without "blank reloading pages" to move a map around and change zoom levels: https://www.youtube.com/watch?v=4YO_KGdsUm4

The Mapquest "MPA page reloads" from 2006 was a UI that was less smooth than the Microsoft Streets CD software from 2000.

In 2005, when Google launched Google Maps with extensive usage of Javascript live-loading map tiles to provide smooth scrolling without reloading pages, end users liked that UI because it felt more interactive. In response, Mapquest also eventually switched away from the old-style SSR MPA page reloads: https://techcrunch.com/2007/10/12/exclusive-mapquest-plays-c...

The 2005 SPA-style of Google Maps just gets the UI back to what users already experienced in 2000 with desktop software. The SSR MPA page reloads was something that end users endured with Mapquest but it wasn't actually the UI they really wanted.

I'm not advocating the web devs use SPA (or SPA frameworks). Instead, I'm saying that responding with "SPA websites can be redone as MPA and it's trivial" is saying something that's true but still doesn't actually address the issue that mainstream endusers don't like the discontinuity of MPA type of UIs. That's the subthread I was addressing: https://news.ycombinator.com/item?id=38901249

E.g. McMaster.com is not a "web app" like Figma/Photopea but users prefer the SPA-style UI of that parts catalog website.
I feel like I'm chatting with one here
No porn for you then.
I double-checked with an EMV reader app on my phone and yeah, it's not there. The fields/separators are there, but my "name" is a zero length string.
Author indicated that he smokes weed and eats sugar. Clear vices IMO.
All world-class scientists who don't cite every book they've ever read or teacher they've ever had are garbage because you can't replicate them. Why be born at all? They're just noise.
> This is the national internet regulator proposing that it would require that everyone, adult and children alike, would upload their state ID and live selfies, to porn sites to have biometric processing of their facial images performed. Resulting, amongst other things, in an effective register of porn preferences for adults and a collection of selfies of children kept by the porn sites for six years (required to prove they have complied with the regulation, you see).

I'm sure this data would never fall into the wrong hands or be misused :-)
Xero. I would take Xero over Quickbooks/Intuit etc. any day. And I have clients from 1pax-100pax on it with far fewer issues than those struggling with Myob etc.

Or Waveapps would be my second choice, but I haven't explored how it handles local taxes.
If memory serves, the big advantage of wordpad back in the day was that it had line wrap, which was missing from notepad. But it’s been a while since I used windows 95…

Edit: confirmed notepad behavior. Wordpad crashes in the emulator, then causes windows to lock up.

https://archive.org/details/win95_in_dosbox
DNS is not a text protocol, it's a binary protocol.
Misrepresentation of the actual intent of the Irish government, but as result they will end up creating what title says.
Companies that don't operate within the West's legal scope will become dominate and companies like Google and Microsoft will suffer for it, so big companies definitely don't want NYT winning. You think Chinese companies would shy away from offering a ChatGPT replacement to the West if the US stopped offering those services? And as a bonus, they get to inject all the political bias they please in this monopolized product.
What is HMR? Is it edit/refresh?
No, the alternative is universal healthcare.
There are also plenty of people that go straight to stage 4 after burning their family/friend support network with a bad substance abuse problem, or time out of prison with no where to go, so they never go properly through the other stages. It isn’t as simple as one path to homelessness.

By stage 4 it is pretty much over, we failed as a society and that person is probably never going to be a productive member of society again. We should be throwing all of our resources at the previous stages, rather than sinking 99% of them into stage 4 ensuring that we just let more people slip into it because we didn’t devote enough resources to the earlier stages.
One of the comments on the NYT site captures two important points:

"Equity in education has nothing to do with the Ivys"

The first point is familiar to most people outside an elite bubble: a large proportion of colleges are not meaningfully selective, i.e. applicants are not competing with each other for places. Accepting one person doesn't mean rejecting another.

The second point still seems to be lost on most people: for most applicants, the main point of going to Harvard or MIT instead of some less famous college isn't due to the quality of education, or even due to the quality of your peers. It's the signalling value of a degree from Harvard or from MIT.

Elite colleges are selling signalling devices, not education. Signalling devices only have value if they're scarce, so admissions must be zero-sum.

Imagine you care about skin-color diversity at the leadership levels of society, above any other concern. The easiest way to achieve that is by changing who gets into elite universities. You could try to improve the K-12 system in the hope that racial gaps disappear, but you have no guarantee it would work, and it's hard work that would take a long time.

It's much easier to just change the admissions process to get the mix you want.
I've been using Pocketbase for personal projects on the machine I use to self-host services. It's great. You get CRUD and real-time stuff for free and I didn't really have to spend much time learning to start working with it and having it running in an LXC.
Upload biometric data to porn sites? That seems like a phishers dream come true.

Even if the big sites farm this out to third parties, unscrupulous imitators could harvest personal info on an enormous scale for sale on the dark web.
I used to smoke a lot and I still miss it quite a bit. Never felt that I was chemically addicted but the ritual aspect was a big part of why I felt the need to keep at it. Also, it was something that you could do completely on your own without having to explain yourself. Maybe not such a big thing now, but pre-smartphones it was a great excuse to leave a party or social situation and spend some time away from people.
ChatGPT contains the disclaimer, proving that OpenAI are well aware of the tendency of the model to confidently misstate fact. Bing chat contains no such disclaimer, nor does the OpenAI playground that many use as a product itself.
You're worried about the deliveries?! ;D That's actually the easiest to sort out, at least in the Netherlands. You just get it delivered to one of the delivery lockers.

More hassle is the water situation, but like I said you can work around these things if you have time and patience — and living off grid like this will allow for that.

EDIT: Now that I think about it, I suspect you're coming at this thinking of the land being in some baron backwater. We don't have the luxury of being able to live in the middle of nowhere here. Even "nowhere" is a few kilometres away from "somewhere".
You’re pattern matching on how the two modes work, but that isn’t what economic substitution means. Substitution means people buy one product instead of another, like the way Beyond Meat products are a substitute for meat despite having essentially zero production or digestive similarities at any reasonable level of reduction.

I often fly 300-400 miles (I’m in the US where trains are a joke). If airplanes became seriously unsafe, I would drive. There is no world where I would take a bus instead.
God damn! R is below F# and....D? What the hell is D?
I would love to visit Moscow's Kubinka tank museum.

Not only it has a Tiger, but a Panzer VIII and a Karl Gerat Self Propelled Gun are also visibile among the german ww2 weaponry.

Sadly, I don't see myself getting there in many years.
Hmm Apple didn't go for bird bath optics for a reason. It's just not there yet in terms of active display area and it can't display black.

But I'm looking forward to the reviews.
> The problem isn't so much those but how most developers lump themselves in with the incredibly interactive sites because it sounds sexier and cooler to work on something complex than something simple.

This is very similar to the NoSQL arc. Some people at prestigious places posted about some cool problems they had, and a generation of inexperienced developers started that they needed MongoDB and Cassandra to build a CRUD app with several orders of magnitude fewer users, transactions, or developers. One of the biggest things our field needs to mature on is the idea of focusing on the problem our users have rather than what would look cool when applying for a new job.

The SPA obsession has been frustrating that way for me because I work with public-focused information-heavy sites where the benefits are usually negative and there’s a cost to users on older hardware – e.g. the median American user has JavaScript performance on par with an iPhone 6S so not requiring 4MB of JS to display text and pictures has real value – but that conflicts with hiring since every contractor is thinking about what’ll sound “modern” on their CV.
Bizarre means "very strange or unusual", but the scenario you described happens often.

An assumed name or alias is a part-time name used for a specific purpose; the definition does not extend to a new name used as an individual's full-time name.

> As Pontius Pilate was heard to remark, "What is Truth?"

And as we know, Jesus replied: "Check the dictionary."
Definitely the opposite of Toyota
The Erlang Ecosystem (2018) [video]
Note: Erlang is not just a language but one part of a whole system collectively called The Erlang System. Robert Virding was one of the original three along with Joe Armstrong and Mike Williams who designed it and here presents the complete overview of it in the clearest and simplest manner possible.
This forces a zero sum frame that is not appropriate. It doesn’t cost anything to let a student (or 5) do math time with a class that’s a grade ahead. And if there are enough of them, it doesn’t cost anything to clump the kids by ability level when setting up the classes.

The reason this doesn’t happen, in my experience, is teacher unions (and, to some extent, the political leanings of administrators). Every year, my kids’ school asks us about our kids and what would be good for them to have in terms of a teacher for the next year. This makes parents think they will be placed in a class with a teacher who would be well-suited for them.

But this isn’t what happens at all! The classes are put together using a balancing approach, to make all the classes “equal” in terms of easy students, trouble students, etc. Only then are the classes assigned to teachers, without regard to what the individual students need. The randomization and balancing is done so that no teacher gets all the best behaved or worst behaved kids. The system is all about the teachers, not the students.

For this reason, our school won’t allow gifted classes to exist, since that would give certain teachers “easier” kids than others. Of course, they also don’t want to have an advanced class with Asian and white kids, but few black and Hispanic kids, from both a political and optics perspective.

But the point is, they could easily do this at no additional cost if they wanted to. And it would allow all students to learn more effectively, since their teacher would be more tightly focused on kids at a certain level.
Yeah. That's what the little `:p` at the end of that comment meant.
Sounds like an award for the highest statistical error of the year.
Writing the software for an earlier version of this was one of the first open source projects I ever did, with an early 0.1x release of React, fond memories
So great to see the project is still alive.
Hopefully not at 1 km/s (approximately the orbital velocity).
Wasn't there a tool/bot to confuse search engines by submitting a bunch of random terms?

Time for a rewrite.
I got addicted to nicotine because its a stimulant and I had no idea how to get help for ADHD in college. To make it worse i had various oral fixations since infancy.

Years later my vape is still my oral fixation, I use a fairly low nicotine level. But its a constant need for myself. Even after getting medicated.

Take this as you will, the relationship between mind altering chemicals and the pressure to succeed in a rat race.
That’s fine, but sex itself is still a binary concept and is very well defined, and is not controversial. For example, my sex is “0” (and not “1”) because my body is capable of producing “0”-style gametes, not “1”-style gametes (feel free to substitute the usual names for each sex, but you get the point).
That’s probably the intent. create massive friction without outright forbidding it
The far right is going hard against porn in multiple countries right now. I don’t agree but I get where they’re coming from.

However, I don’t get going after porn before going after casinos. Casinos ruin lives and wreck economies far worse than porn could ever hope to. Going after porn before casinos feels like going after kitchen knives before AR-15s.
So you've made a new tool to solve the excess of tools problem?

Right.
Apple's not really pitching it as a work device though. Their marketing is very consumer focused.
Why intervene and save one life when to could stand idly by and make a political point that saves thousands? /s
Burning money is same as having cash that you never spend. Never eating those extra calories or burning those extra gallons. Calories or gallons somebody else could use if needed, or that could be left to ground if not needed. Sounds almost the opposite to waste to me.

Gates (Foundation) allocates labor and material resources with its money. If it didn't, that labor and material resources would be allocated differently. E.g. central banks could print equivalent amount of money and it could be spent through governments to let's say malaria aid.

Money isn't a resource. Spending money dictates how resources are allocated. Assuming Gates Foundation is million times better than burning money assumes that Gates is million times better allocating resources than "non-Gates" would be.

I'm sure Gates isn't a million times better at this. I'm not sure at all he's even better than "non-Gates".

I am sure that no democratically unaccountable person should have that much power over how resources are allocated.
Back to Sears catalogues for you peasant!
What all the healthcare obsession, self improvement fads and quitting in the article reminds me of is a segment from Baudrillad in America (1989), who anticipated this:

"This omnipresent cult of the body is extraordinary. It is the only object on which everyone is made to concentrate, not as a source of pleasure, but as an object of frantic concern, in the obsessive fear of failure or substandard performance, a sign and an anticipation of death, that death to which no one can any longer give a meaning, but which everyone knows has at all times to be prevented[...]

This ‘into’ is the key to everything. The point is not to be nor even to have a body, but to be into your own body. Into your sexuality, into your own desire. Into your own functions, as if they were energy differentials or video screens. The hedonism of the ‘into’: the body is a scenario and the curious hygienist threnody devoted to it runs through the innumerable fitness centres, bodybuilding gyms, stimulation and simulation studios that stretch from Venice to Tupanga Canyon, bearing witness to a collective asexual obsession. This is echoed by the other obsession: that of being ‘into’, hooked in to your own brain. What people are contemplating on their word-processor screens is the operation of their own brains. It is not entrails that we try to interpret these days, nor even hearts or facial expressions; it is, quite simply, the brain. We want to expose to view its billions of connections and watch itoperating like a video-game. All this cerebral, electronic snobbery is hugely affected - far from being the sign of a superior knowledge of humanity, it is merely the mark of a simplified theory, since the human being is here reduced to the terminal excrescence of his or her spinal chord. But we should not worry too much about this: it is all much less scientific, less functional than is ordinarily thought. All that fascinates us is the spectacle of the brain and its workings. What we are wanting here is to see our thoughts unfolding before us - and this itself is a superstition"
I love quitting. I quit most things I start. I wish I didn't-- I'd be far more successful. Life is short and you're lucky to do one thing well, so stop quitting.
> how many of the other kids

As a proud owner of two kids and as a former kid myself: their prefrontal cortex is still developing. Either they cannot stop themselves or they don’t notice the danger or don’t believe it applies to them. Kids will happily walk into traffic without realizing they’re in any danger at a much older age than it would seem reasonable.

I think this is one of the reasons cigarette companies keep getting caught marketing to kids, as if they wait until people have more ability to reason and more agency, then they would decide to not start smoking. It’s almost as if they are preying on that weakened mental state to build a pipeline of lifelong customers.
ReactOS' standalone WordPad.exe for Windows and Wine users:

https://github.com/katahiromz/RWordPad/releases
That's my go-to for a clipboard clear. Win+R, space, Ctrl+A, Ctrl+C/X (I go for X because closer key), ESC, all on the left hand.
Are there any physical stores where one can demo Xreal products?
Because Eliza didn’t pass the Turing Test. It is trivially easy to trip it up.
What happened in marketing and Advertising this week?
What are your thoughts on these recent changes?
This will predictably lead to coomers putting on their pirate hats en masse.
You wrote this on your repo

> Extending short => int is more expensive than short => ushort => uint => int

Can you explain why
Sure, that's fine, I'm just saying they're not really directly comparable. A batteries included framework is an entirely different beast than a view library.
Or just use the ReactOS' Wordpad.exe:

https://github.com/katahiromz/RWordPad/releases
The topic of ID verification for porn sites has gotten a lot of commentary on HN recently, e.g. North Carolina's law requiring ID recently went into effect.

Slightly sidestepping the issue of needing an ID for porn in the first place, though, I wanted to comment on the extreme shortsightedness of any sort of ID verification laws (most specifically, financial KYC laws) that require that each individual company verify and store your identity documents themselves. This is quite simply a data breach hackers dream. For example, when Stripe released their Identity product, which captures ID images and selfies, people were at first surprised that the businesses needing ID verification had full access to the ID images (after all, this is contrary to their credit card processing services where businesses never can get access to full credit card numbers, which is great as it keeps those businesses out of the most arduous requirements of PCI rules). But Stripe explained they had to give every end-business access to all the full image data for regulatory compliance reasons.

It would make much more sense to rewrite the regulations so that 99% of companies would never need to store identity verification info themselves, but could just delegate that to an approved provider who has much more stringent security checks (or better yet, allow people to cryptographically sign info to prove their identity without giving up their whole passport image, but that's a ways off). I'm not saying this would solve all issues (big companies get hacked, after all), but I hope by now we've put to bed the idea that companies, generally, can secure their data against determined hackers.
If your addiction isn't too strong, this windows app lets you quickly switch between host profiles: https://github.com/jerone/HostProfiles
Or when they reference previous news they always reference their own articles and not the original press releases. Engadget is a prime example of this.

You always end up having to search for the sources on your favorite search engine.
The only reason I can think of is "Low power mode".
Windows XP 2024 Edition is everything I want from a new OS