skysight-inc/HackerNews huggingface dataset:
This also doesn't say that the non-literal cognitive process is DNA-wired logic. Could very well be culturally constructed as well.

IMO this rather reinforce Sapir-Whorf positions than refute, it means more than literal language/grammar influence thoughts. That's directly against UG theory that predetermined rigid grammar is all you need.
Why do some of you so badly, sickly want companies like Google to be the police and block your content on their whim?

This site is full of proof they're biased and incompetent, why are you so prepared to give them rights that belong to governments?
Likewise, here in aus on a FireFox 131.0.3
This is still amazing work, imagine running chungus models on a single 3090.
It's crazy to think we live in a world where video to llm ocr is simpler (and cheaper?) than plain old html parsing. Maybe someone will rebuild the Twitter API like this?!?
How do you evaluate the recent situation of university students?
I have always been curious about education-related issues. What is the current situation of university students? Can I request a sociological and psychological evaluation? I would be happy to receive comments from university professors or parents.
>What this tells me is there is clearly no “reasoning” happening whatsoever with either model, despite marketing claiming as such.

Not true. You yourself have failed at reasoning here.

The problem with your logic is that you failed to identify the instances where LLMs have succeeded with reasoning. So if LLMs both fail and succeed it just means that LLMs are capable of reasoning and capable of being utterly wrong.

It's almost cliche at this point. Tons of people see the LLM fail and ignore the successes then they openly claim from a couple anecdotal examples that LLMs can't reason period.

Like how is that even logical? You have contradictory evidence therefore the LLM must be capable of BOTH failing and succeeding in reason. That's the most logical answer.
Riots and Political Theory: A Reading List (2020)
False positives are one thing, but the real danger are false negatives when someone trusts the model blindly. I'd rather examine a website with my own eyes than ask an LLM what it thinks.
Culture creation and change is persuasion. Parents persuading eachother. Friends persuading parents.

Views don't have to be hugely different for influence. If you think church members or school children don't influence each other, you are crazy
Find a working binary (or source code, then compile one) and replace it manually. Is it not possible?
I've used 11ty on and off since pre-1.0. The documentation remains awfully confusing and doesn't cover common use-cases. The system has been pulled together but not thought out as a whole.

Lume (from Deno) is my preferred 11ty alternative.
When I was in junior high, I remember a friend saying to me “you can’t think in images, you think in words.” She insisted, and couldn’t believe that I actually thought in images a lot of the time. she was pretty smart and creative.

But I thought in images and I still do in part. so I don’t think you need words to think.

I thought the people who did were overly computerized, maybe thinking in an over defined way.
“Hey look, it’s a tokay gecko. Yoink! Can you tell me where to find that twenty footer?”
I know a little about this area and there is certainly a movement (glacial) away from thinking that thinking uses symbols, distributed or not. The argument cannot be made in a popular science article and so such articles inevitably fall back on popular ideas of what thinking is. The alternatives: the embodied nature of reasoning is one direction and many talk of an "enacivist" approach. There are certainly some kinds of thinking that require symbols, but a surprisingly large and diverse range of intelligent behaviour can be done by just wiring stuff up. Interestingly, a significant amount seems amenable to a mechanism based on "glorified auto-complete" (cf Hinton) and I have written something on the sociological variant - something readable I hope - arxiv.org/abs/2402.08403
Yes, and as usual tends to be forgotten in these "Apple did it first" kind of discussions.

"Augmented for surgical success—a reality now"

https://www.accenture.com/in-en/case-studies/technology/micr...

"Microsoft HoloLens 2 in Medical and Healthcare Context: State of the Art and Future Prospects"

https://pmc.ncbi.nlm.nih.gov/articles/PMC9611914/

"AR in medicine: Spinal surgery via Hololens 2 shows the future of medicine"

https://mixed-news.com/en/ar-surgery-hololens-future-of-medi...
"Providence Swedish advances brain surgery and presurgical planning with Microsoft HoloLens 2"

"Providence Swedish advances brain surgery and presurgical planning with Microsoft HoloLens 2"

https://blog.swedish.org/swedish-news/providence-swedish-is-...

"World Premiere Shoulder Surgery with Microsoft HoloLens"

https://www.evolutis-group.com/en/world-premiere-shoulder-su...
Every rule/boundary/structure needs both a carrot, and a stick, to continue to exist long term.

Ideally, the stick never gets used. We aren’t dealing with ideals, however, we have to deal with reality.

On any sufficiently large scale, an inability/lack of will to use the stick, results in wide scale malfeasance. Because other constrains elsewhere result in wide scale push to break those rules/boundaries/structures for competitive reasons.

No carrot, magnifies the need to use the stick, eh? And turns it into nothing but beatings. Which is not sustainable either.

It has nothing to do with revenge. But if it makes you feel more comfortable, go ahead and call it that.

It’s ensuring cause and effect get coupled usefully. And is necessary for proper conditioning, and learning. One cannot learn properly if there is no ‘failure’ consequence correct?

All you need to do to verify this is, literally, look around at the structures you see everywhere, and what happens when they are or are not enforced. (Aka accountability vs a lack of it).
There was once a time people were able to host their own content.
The market price is only something like 5 or 10 dollars a month, but anyone having to pay that to be accessible is an embarrassing failure of the system. It doesn't matter whether it's a big dent in the number of IPs or not.
> Conversely, one skilled senior can often outperform a hundred juniors using simpler tools, but management just doesn’t see it that way.

Management is correct, if that's the question.

In some very rare bleeding edge cases it is true. Everyone wants to think their company is working on those areas. But here's the truth: your company (for any "you") is actually not.

If you're writing code that is inventing new techniques and pushing the hardware to limits not before imagined (say, like John Carmack) then yes, a single superstar is going to outperform a hundred juniors who simply won't be able to do it, ever.

Asymptotically close to 100% of software jobs are not like that (unfortunately). They're just applying common patterns and libraries to run of the mill product needs. A superstar can outperform maybe 3-4 juniors but that's about it. The jobs isn't that hard and there are only so many hours in a day.

This is made worse today because neither quality nor performance matter anymore (which is depressing, but true). It used to be the software had to work fast enough on normal hardware and if it had bugs it meant shipping new media to all customers which was expensive. So quality and performance mattered. Today companies test everything in production and are continuously pushing updates and performance doesn't matter because you just spin up 50 more instances in AWS if one won't do (let the CFO worry about the AWS bill).
> They have abused this dominant position to eliminate all competitors except Apple and (so far) Mozilla.

But that's like all of them. Except edge but that was mostly dead before chrome came on the scene.

It seems like you are using embrace, extend, extinguish to just mean, "be succesful", but that's not what the term means. Being a market leader is not the same thing as embrace, extend, extinguish. Neither is putting competition out of business.
I'm Slovak here. Although there are three genders, there are certain situations in which certain kinds of nouns undergo changes according to a finer subdivision than the 3 genders. I'm no expert on that. I don't think it necessarily amounts to separate genders. Or does it?

Let me see if I can recall an example. Okay, how about the word for horse, which is kôn, and man which is muž. This is masculine: ten kôn (that[masc] horse), ten muž (that[masc] man).

However, in the third person we have tý muži (those[masc] men) and tie koňe
(those[fem? neut?] horses)?

The demonstrative tie is the same like the feminine one, tie ženy (those[fem] women) or neuter tie deti (those children).

Even if that is a special gender difference, it does not fall along the animate versus inanimate line, because horses are clearly animate.

Inanimate objects that are masculine in the singular do fall into this: ten stôl (that[m] table), tie stoly (those[f] tables).

It might be human versus non-human. Collections of non-human male gender things are not themselves males, but neuters.
That's only true if you use the kernel TCP stack. You can replicate the slow QUIC stack and do everything in user mode to get control back over what packets you accept (i.e. reject any that don't fit your TLS stream).
In Norway (with a completely different system of public health funding), children of immigrants have several times higher chance of being diagnosed as autistic. Results were "adjusted for parents' education and income". I have no idea how to interpret this. (Hopefully diagnoses didn't involve testing immigrant children on their command of the Norwegian language.)

https://www.nrk.no/norge/barn-av-innvandrere-far-oftere-auti...
https://pubmed.ncbi.nlm.nih.gov/36609392/
> Literally everywhere else, we accept that the costs of 100% safety are just unreasonably high.

Yes, but also in none of these situations would the consumer/customer/patient be held responsible. I don’t expect a system to be perfect, but I won’t accept any liability if it malfunctions as I use it the way it is intended. And even worse, I would not accept that the designers evade their responsibilities if it kills someone I know.

As the other poster said, I am happy to consider it safe enough the day the company accepts to own its issues and the associated responsibility.

> No one wants to pay for a formally verified Facebook or DoorDash.

This is untenable. Does nobody want a formally verified avionics system in their airliner, either?
Doesn't CGNAT also mess up things like Nintendo Switch online multiplayer?
The connectome and brain mapping efforts might be a better research path for the coming years I guess
Oh, interesting. That’s legitimately annoying. I have a huge scheduling component in an application that could be (probably is) impacted by this, so thanks for the heads up!
I would be surprised if online games use TCP.
Anyway, physics is still there and light speed is fast, but that much. In 10ms it travels about 3000km, NZ to US west coast is about 11000km, so less than 60ms is impossible. Cables are probably much longer, c speed is lower in a medium, add network devices latency and 200ms from NZ to USA is not that bad.
Lightweight sites don't make for shinny CVs.

Even on the backend, now the golden goose is to sell microservices, via headless SaaS products connected via APIs, that certainly is going to perform.

https://macharchitecture.com/

However if those are the shovels people are going to buy, then those are the ones we have to stockpile, so is the IT world.
I get what you're saying but I don't think it's true at all. Except for my tech friends, literally nobody I know is aware of how to pirate content if it isn't on Google or YouTube.
I suppose I can try that some time. I can find absolutely zero mentions of that for the ISP, just the option of buying a static IP.
Tell HN: Chrome headless is broken on FreeBSD
And it has been for a while. There’s been talk of this in the BSD verse, but I would’ve assumed someone would’ve opened a Chrome bug — but they hadn’t, seemingly.

So I made one. if you care about this, I encourage you to go comment or star that bug.

https://issues.chromium.org/issues/374483175
I wonder if “non-work meals” is a better measure?

There were years where I had far more lunches with colleagues than dinners with non-work friends. Many of those frequent lunch compatriots were clearly just colleagues.
So there were many decisions to lie about it, and the lying was condoned from the top.
hot take: language's original purpose must have been to lie.

It doesn't take words to understand implication of a club in your hand and a body of dead ape. From there it takes either violence or words to defend yourself(rightfully or not). Here, using language to explain the situation is more efficient.
> One major thing which annoys me is when autism is being used as a curse-word. Such as 'no autism please' when looking for people to play with in an online game.

I wouldn't read that as a curse word. We always have to abbreviate when we communicate. One way to read "(no autism please)" is

"I've had negative experiences playing with people exhibiting behaviors that I think others (rightly or wrongly) understand as autism and/or I've complained to players about their conduct and received autism as an excuse/justification. I'm not currently feeling up to dealing with that-- maybe due to my own pathologies--, so if you think you might behave that way please find someone else who is feeling more tolerant."

And that's something we can sympathize with, even if sometimes feeling excluded can be disappointing, or knowing that someone might stereotype you might feel reductive and objectifying. But at the same time, no one is entitled to anyone elses time, and it's usually better that someone tells you their preferences rather than feeling those things and saying nothing.
Amazing, now I can add SNOBOL to my list of languages with variable variables:

PHP

SNOBOL
Requiring formal licensing and possibly insurance for developers working on life-critical systems is not that outlandish. On the contrary, that is already the case in serious engineering fields.
I've got an actual email address to a real business, but the humans* are struggling with the concept of "$company created the account with the wrong billing address, ignoring my agent who could have received it when my agent did contact $company, it's provably $company's fault that the bills were not received, so $company must tell me who this debt collector is and refund me for the late payment penalties and admit their own fault to the CRA".

* not that I could tell if they were LLMs
> Maybe you can repressurize the tubes ... assuming there is power to do so

Fail-open air valves are a thing.

> to evacuate people

Emergency exits are a thing.

> If a window breaks

Why would a shuttle in an underground vacuum tube have windows?

> The main problem and you can't engineer around it

Pretty sure people said the same thing about most of the modes of transportation I mentioned above.
Yeah, it would have been nice to have, but that's all. Instead of requiring IPv6, the internet has evolved in a direction that tolerates disconnects and reduces its own IPv4 address consumption. It will probably work fine for the next 20 years at least.

In the 19th century, New Yorkers worried that the city would soon be buried in horse shit because of increasing demand for transportation. The horse shit apocalypse never materialized, because transportation evolved in a way that stopped relying on horses. Now we have a different problem, of course.
What is our current speed?
All big German internet providers (DTAG, Telefonica, 1&1, Vodafone) are IPv6 Dual Stack or CGNAT'ed for many many years now. Same for all mobile providers.

So everybody is using IPv6 in their home networks without problems.
Depends on where you fight it.

Got it removed from most Google page 1's?
-> probably worth it

Trying to take down all torrents?
-> probably not worth it
Things like this? https://greasyfork.org/en/scripts?q=speech
That’s a sad experience and I would definitely try to chase them robots. Sadly even though German public transport fascinates with its ease of use and quality, though when it comes to human service you can find yourself in peculiar position. And particularly if you are not German and happen to be in one of those international cities there where Germans are fed up with visitor. You waive goodbye to your 50€ and keep a story to tell, that’s all.

Sadly I don’t expect this all to get any better with robots and LLms and thing. We will be crying to meet a human sooner than later, and my hope is this far cry will eventually get us to the dawn of new era when you actually have people in the loop, just for humanity’s sake.
Pournelle's take on part of it seems pertinent to me:
https://en.wikipedia.org/wiki/Jerry_Pournelle#Pournelle's_ir...

John Ousterhout explained "it's easier to create a new organism than to change an existing one...": https://web.stanford.edu/~ouster/cgi-bin/sayings.php :
I had to reluctantly deploy ipv6 on my home network because of ISP requirements + will to use pihole.

Ipv6 is hard. I had to learn quite a bit to make it work and not only I see no value, but it is significantly more difficult to use dire to the address length.

I think IPv6 is a missed opportunity, it was probably designed by experts that did not take into account the population that will use it (not the one users who do not care, but the layer above them)
Time has not been kind to this article. It's basically a compete list of fallacies that people believe about ipv6.
The link is bad from a web browser POV so that's correct - it's using the DNS name from the ip address reverse lookup, but the web server cert there identifies to a different Google DNS name which would point to the same address. (But the point was to point to this CDN node and you can't really link to it on HN in any other way)
> and by design. These are freeloaders because open-source software's intention is to allow for people to freeload off it!

Preach!

I'm tired of people complaining about other people using open source software in the exact way it was intended as "freeloaders".

If you want people to pay you for your software, then just make it proprietary. There is nothing wrong with proprietary software if that's what you want to do. But if you make it open source, you can't complain when people use it in an open source fashion.
This Is Your Life (2007)
there is no deeper level, they want to stop soccer streaming, simple as that.
There's also a banner offering 3 day free trial. Are you testing which is the most popular time period for the trial?
Why did you switch? Can't have been their reputation for support.
That's a solid burn, suggesting that nobody else came to their party
> They include things like sensors, smart lights, fridges, washing machines,

Now you gave me an excellent reason to make my home network v6-only.
> I look at this article and consider the result pretty much as expected. Why? Because it pushes the flow control out of the kernel (and possibly network adapters) into userspace. TCP has flow-control and sequencing. QUICK makes you manage that yourself (sort of).

This implies that user space is slow. Yet, some(most?) of the fastest high-performance TCP/IP stacks are made in user space.
Tbh, screw Google. They think that their monopoly makes them untouchable, so they abuse their position. Eg: yesterday my wife's friend group received an email from one member of the group. It contained 10 links. Other Gmail users replied-to-all. But my wife (not a Gmail user) had her reply blocked because the email contained 10 links. She was replying to the person who sent the email.

Pardon my language, but fuck you Google. If you want to implement mail filtering rules, do it fairly and equally.
I can only speak for myself - but the convenience and relatively low cost of Netflix killed piracy for me. It wasn’t really a moral reason, or a fear of prosecution. But Netflix is truly easy, and the cost isn’t significant.

Spotify did the same for music piracy. I just stopped bothering with files.

I think as others have said, the increased balkanisation of the tv streaming world might change that.
C# has compile-time regex, which are turned into fairly reasonable code doing the matching you can even inspect. The main goal isn't to have the syntax verified during compilation (technically it happens even during editing the code), but rather to reduce either dependencies on complex code at runtime, while still maintaining good performance by using the complex regex.
I assume they mean "a famous gardener". Here in the UK, there are at least two household names that present gardening shows, whose endorsement on such a product would be a huge pull.
How does your project compare with the completely free-to-use citizen science project and mobile app, PlantNet?

https://plantnet.org/en/about/
It's called "Full Self-Driving (Supervised) Beta" and you agree that you understand that you have to pay attention and are responsible for the safety of the car before you turn it on.
>my hope is this far cry will eventually get us to the dawn of new era

after the Butlerian Jihad.
> (Never mind that I personally don't feel like I've ever had a modem/isp actually problem solved by rebooting)

I had problems solved several times by rebooting modem. One time it was "reboot modem and access point in proper order", me naively rebooting them both at the same time didn't help, only phone support solved this problem.

> Also, rebooting is offensive to me as a programmer.

Hmm, I might be desensitivised from too much programming in erlang. It's implied that your program will encounter bugs or strange data and parts WILL be restarted, better account for that and plan on what to do on restart of each small part at the start of writing your program.

> So, basically there doesn't seem to be any phone technical support (with a human), at all.

Because it's cheaper. Those who don't have support can offer lower prices. When people search for trinkets, they only have information about what is supported, there is no good information about quality of device and support, high price also not always means better support. SO they just go for lower price and hope not to suffer too much.
UAI seems reasonable as we need both discreet and non-discreet systems to start talking in a meaningful way.

Was wondering recently - given that a lot can be done with predicate logic, and given that DNA is a sort of grammar, is there anything more powerful than these formalisms in math in genera, that is actually put to work somewhere, anywhere?
Mostly anecdotal, my school psychologist back in the day sure believed it, and this would vary from place to place. She was a champion of "You give children the diagnosis that gives them the services they need". Autism being the one which gave children the services they needed, and she often expressed frustration at not being able to get such a diagnosis.

In general Aspergers basically meant no verbal delays, where Autism meant verbal delay. Autism was also around longer as a diagnosis. In general, I think theres a reason they changed the name of Aspergers to Autism and not the other way around.
That’s incorrect. See: https://en.wikipedia.org/wiki/Master_gardener_program
I hear that quantum computing can run all the tabs in parallel.
There are billions of people out there who can access the internet, and make themselves accessible through the internet the way they want, just fine without a dedicated IP address.

Maybe you have a definition of "access" that is different from the usual one. That's fine, but let's be honest, it's not the usual definition.
Last time I called Virgin media to get from the loyal customer (extra high) rate to something closer to what new customers get they just said no.

I switched to Vodafone which is cheaper and double the speed and got me IPv6.
I think it might just be Virgin sitting on a large amount of IPv4 addresses and not wanting to spend any money on supporting v6 when they can just overcharge their loyal customers.