skysight-inc/HackerNews huggingface dataset:
Proof that it does not work is still an interesting result! However, I think you meant to say that if you failed to show that it works, it often also means you cannot proof that it doesn't work. And then you indeed have nothing worth publishing.
Pointing the validator at this submission and filtering out obsolete elements/attributes and all warnings/info messages, I still got 221 errors: No DOCTYPE, an script element after closing the body, duplicate element ids, and invalid attributes (not obsolete, they must be be using them like data-*).
I don’t, it’s anticompetitive. Sellers should be able to pass platform fees on to consumers, otherwise there’s no incentive for Apple to decrease those fees, there’s no feedback in the system.

Then if you don’t want to pay the Apple tax you can subscribe directly. This incentivizes Apple to keep the fees low.
> how much actual knowledge has psychiatry gained over the last 100 years?

Some

Plus you are conflating psychiatry with theraputic approaches, so that muddies the water.

Overall there have been massive advances in pharmacology which have given us an arsenal of drugs

In some cases they can be very helpful.

However these have been massively over prescribed, especially in the USA

There is good empirical evidence that many cases of mental illness have roots in e.g. childhood abuse.

There have been a lot of empirical studies that show increased rates of mental illness in childhood abuse survivors, combat veterans and rape victims.

There is good empirical evidence that some theraputic approaches can improve outcomes for some people. There does not appear to be any one approach that works for everyone.

Many therapists believe in those cases where there is an identifiable cause it is better to keep drugs as a last resort and try to find a therapy that improves things.

Certain conditions e.g. schizophrenia, appear to only really respond to a pharmaceutical approach and even then, again, not for all cases.

> Even theoretically testable, Popper-esque theories are hard to formulate. For psychology/psychiatry... pretty much impossible.

There are models of the mind, of development, of response to trauma.

It is possible to test outcomes of therapies without needing a full "model of the mind"

Granted, much of the research is of dubious value but some overall trends appear to be solid. I've tried to base this answer on that

> To the extent that treatment is ever actually science-based... "Science" means a pharmacalogical framework, a drug testing framework. You can substitute exercise, talk therapy or whatnot for drugs but... that approach is going to lead you to conclude "drugs."

I don't think any of that paragraph is well founded
>Maybe I’m under thinking it, but this problem seems relatively simple to solve. Just make raising kids free. You get free childcare, and get paid a wage to raise your kids.

Way too simple. This is the case already. Here in Canada you literally get paid ~$2000/kid/year. straight up cash. This is true elsewhere as well, and each place has the same aging population and low fertility.

This isn't a matter of what can fix the problem. The actual cause of the problem is government essentially legislated this to be the case. This problem largely speaking is the root cause of political polarization.
Merely 20 minutes ago a colleague was complaining to me that his smart watch popped up a distressing notification while he was swimming. I was telling him to turn off all notifications and toss that watch.
- "the airline issued a reimbursement check to the woman whose luggage was stolen, “as a courtesy.”"

This is an underhanded tactic to make it more difficult for the victim to sue the airline. Accepting compensation complicates a lawsuit, if you are suing for (larger amounts of) compensation.
That depends. Does the government website have the answer to the question in the query? Often it does not.
This “Fractal Intelligence” stuff feels super Wolfram-like. Just as Wolfram argues that simple rules in cellular automata can create complex, intelligent patterns, Levin’s bioelectric networks show how cells and organs have their own built-in smarts and adaptability. Both are about how simple, foundational principles lead to sophisticated behaviour, challenging the old deterministic ways of thinking. It’s basically a fresh take on how complexity and intelligence arise, and could really shake up how we understand biology and systems in general.
Stop playing a victim.
Forced eh. Same staff member I reckon.
It is funny that Z3 was done by the Lean guy. But it probably also explains that Lean basically switched to classical logic.
Cool! What was the process for creating this?
> you have two competing subscription id columns.

That's kind of rational, id is their own internal id. subscription_id is the id on stripe. A better name would be stripe_id.
> I can almost guarantee

Guarantee with what? Personal money? I know people who have more than 3+ years of experience having trouble with getting an offer after months of searching these days. What can you offer to guarantee the "happiness" "elsewhere"?

Such a ridiculous, out of touch comment.
That can be said for every single purchasable thing in the world.
How would one design a general tool for that…? If multiple publishers uses their own proprietary methods for embedding hidden digital watermarks in the PDF, it might not be so easy to detect them all.
Is there any evidence indicating that mental health issues have increased during this period? Or that there is higher incidence in more developed nations?
A noob question. Do we need to so many steps or can the hash be simple removed by printing the pdf to another pdf and sharibg the printed pdf? Granted the quality might suffer and size might increase, but if that works that looks like a simple option.

If that doesn't work, any way to integrate all these steps and make it possible through pandoc?
That wasn’t the context of the question. We are well aware that there are randos out there who don’t like Elon. I was asking why the GP felt the need to share the assumption of the author’s reasons for not mentioning the source, despite having no evidence. You’ve managed to lower the bar even further in the conversation, however.
Suppose it was possible to travel to Mars and survive on its surface. Even if no-one ever moves there permanently, I'm sure that many people would visit, just like people currently seek adventure in remote and inhospitable locations on Earth.

Maybe we'll even get a version of the show Alone that's set on Mars. "We dropped ten astronauts off in isolated locations on the Martian surface. Let's see who can survive the longest!" I'd tune in to that.
I wasn’t apologizing for Apple. I actually pretty dislike Apple but that doesn’t change the fact that you can’t break the rules when you make the rules.
Allow me to reformulate the title, it's the era of the of the destruction of school systems, as a result people try to learn alone since they found no other option...

The daughter of a friend have started a II-level master in economics and the faculty demand her a PERSONAL laptop to take IN-PERSON exams, when I raised a couple of eyebrows hearing (and reading) that, she say "but they say they have a proctoring system" oh, sure... If we are degraded at such point it's normal try to learn alone. The issue is that learning alone is harder, you can easily take more wrong routes and have to correct them after a while, you can learn things who appear to be good but they are not and so on, long story short it's doable but less effective than a properly guided process by others who have already studied something and so they can create a better path and better distill knowledge and philosophy.
Thanks for the link. It looks like it might be a bit less painful?

It's still a pretty sharp disappointment to compare Go's json/encoding to Python's Pydantic or Rust's serde. One is all sharp edges, bad DX that permeates every use you make of them, and its only upside is that it provided as part of the stdlib. The other two are unobtrusive and just work.
I wrote docleaner (https://github.com/TUD-CERT/docleaner) for a very similar purpose, specifically to remove unintended PII from PDFs that are created from e.g. Word. I don't host it anywhere publicly, though.
Wouldn't it have to spin really fast to get workable "gravity" on board? Then if it's spinning really fast, how do people get on or off?
Yes, thank you, I had the exact same experience. The actual project is probably https://reworkd.ai/
Amazing that people still try to pull off this shit, with AirTags being hidden everywhere...
It’s either

Ken Burns, Faux Storyteller

or

Ken Burns, “Storyteller”

Otherwise, you’re saying the opposite of what you’re intending to say.
If they only have dozens of people after centuries of non-Western culture, that to me sounds like tradition hasn’t been going well for them anyway /s
> Personally I haven't found a single use for any of the current AI tools out there which materially improves my life other than the de-noise in Adobe Lightroom.

Huh odd. I use the copilot mobile app continuously to find things that would be laborious or annoying with search.
Wouldn't help if marks are visible, e.g. some regular string "copy №1234" somewhere or something more complicated like uneven spacing between lines or words
Wasn’t that convincing for me. The hard science elements seemed a bit cherry-picked and the later sections on governance and laws seem to want almost a wide spread agreement across multiple countries on every detail before people are allowed to go.

A multi-part review [1] is available which detailed more aspects quite well.

In short, people will go for a multitude of reasons (whether it is sensible or not).

[1] https://planetocracy.org/p/review-of-a-city-on-mars-part-i
I don’t think anybody has said AUTISTIC burnout is a thing. Certainly, I never did.

And having raised a “high functioning” autistic son, I definitely saw when interventions helped. And I also saw the struggles my son had that his coworkers would have just written off as “quirky”. Sadly, he stopped treatment, was overcome by those struggles, and took his own life, so at least for this sample of one, yes, the interventions help. Right up until they don’t any more.
Why would you sue if you have been compensated adequately?

I would say the opposite: The failure of a customer facing business to compensate their client adequately when they've clearly screwed up opens them to larger losses via lawsuit.

They've "bought" the damages from you and may now take action against the airport worker as a victim.
I agree. So, which one do you prioritize? Currently, it seems to me as if people's (mis)perceptions are leading them to vote against policies that will make them better off, so we need to correct perceptions first.
Not sure if it's a bug, but I get different libraries from ldd and libtree for the vim example (e.g. linux-vdso.so.1 appears top of the list on ldd but not at all on libtree)
> And still we keep all those webservices, be they in Java, Go, node, C# or Python, behind dedicated webservers like nginx or apache.

Not really no. They might sit behind a load balancer but that's to support a different feature entirely. Some services might still be invoked via nginx or apache (though the latter has fallen out of fashion in recent years) if nginx has a better threading model. But even there, that's the exception rather than the norm. Quite often those services will be stand alone and any reverse proxying is just to support orchestration (eg K8s) or load balancing.

> Single-Point-Of-Entry is still prefered over having to deal with a bag of cats of different services each having their own ideas about how security should be managed.

Actually no. What you're describing is the castle-and-Moat architecture and that's the old way of managing internal services. These days it's all about zero-trust.

https://www.cloudflare.com/en-gb/learning/security/glossary/...

But again, we're talking enterprise level hardening there and I suspect this openssh change is more aimed at hobbyists running things like Linux VPS

> > A point you keep ignoring.

> Not really. Of course an admin should deactivate svc-individual security in such a scenario, and I never stated otherwise. The point is: That's one more thing that can go wrong.

The fact that you keep saying that _is_ missing the point. This is one more thing that can harden the default security of openssh.

In security, it's not about all or nothing. It's a percentages game. You choose a security posture based on your the level of risk you're willing to accept. For enterprise, that will be using an IDP to manage auth (including but not specific to SSH). A good IDP can be configured to accept requests from non-blacklisted IP, eg IPs from countries where employees are known not to work in), and even only accept logins from managed devices like corporate laptops. But someone running a VPS for their own Minecraft server, or something less wholesome like Bit-Torrent, aren't usually the type to invest in a plethora of security tools. They might not even have heard of fail2ban, denyhosts, and so on. So having openssh support auto-blacklisting on those servers is a good thing. Not just for the VPS owners but us too because it reduces the number of spam and bot servers.

If your only concern is that professional / enterprise users might forget to disable it, as seems to be your argument here, then it's an extremely weak argument to make given you get paid to know this stuff and hobbyists don't.
No, at the very least a "likely" should be added to the title, as Apple never provided a specific reason.
I'd say a browser is an OS. It is, of course, higher level than a kernel like Linux that can run on the bare metal, but it has most of the aspects of a full OS.

It manages memory, processes and security, it can run user-supplied arbitrary code. It has an API, not unlike system calls that allows programs to access the underlying hardware. It doesn't do thing like writing on the address bus directly, but it does have the equivalent of drivers that are proxies to the underlying OS services for display, audio, video, etc..., which it abstracts away. Like many OSes it comes with a compiler and a shell.

Sure, it doesn't access the hardware directly through the address and data buses, like one may think an OS should do, but now that we have stuff like hypervisors, even what are unquestionably true OSes like Windows and Linux may not access the hardware directly either.
Jeff Bezos (amazon.com) first office [video]
Teamood Slack Application - anonymous mood tracking for teams
Ever wondered what is your team’s mood at the moment? Teamood can help!

It provides an easy and completely anonymous way for every team member to share their daily mood. It shows the mood for the whole team on a graph, so that you can see the trend and take actions based on the real data and not just assumptions.
I don't think it's ever free anywhere in the world?
Prophet: Optimizing LSM-Based Key-Value Store on ZNS SSDs [pdf]
Also, you can't claim you didn't violate your customer's NDA because Adobe said something in a blog post. It's the legal agreement that matters most in court.
If literally every nuclear bomb ever made was detonated in a world war, the fallout from that would be a significantly smaller problem than the steady-state radiation is on Mars right now.

The fallout will eventually decay, but Mars will stay an irradiated hellscape forever.
HTTP/3 in curl mid 2024
tldr; „Where did these economic termites come from? We decided four and a half decades ago that monopolies were good. After 1998, the Antitrust Division stopped bringing monopolization cases, and in 2005, the Supreme Court unanimously endorsed monopolization as foundational to the health of American economy. After twenty years of not bringing cases, business executives realized the best way to run a business was to create a tollbooth in some mostly unnoticed part of society. So now, each supply chain is made up of a bunch of different bottlenecks, too small to notice.“
Post mortem for the outage I referred to.

https://about.gitlab.com/blog/2017/02/10/postmortem-of-datab...
> Chez and Gambit. Speed competitive with C/C++/Fortran.

That's rather unlikely given that SBCL (known to be one of the fastest CL implementation) is about five times slower in the CLBG benchmarks. Also the author found that Chez is in the "same ballpark as SBCL Common Lisp" and "Gambit performs similarly".

I think for scientific computing, Clasp (see https://github.com/clasp-developers/clasp) is an interesting candidate since it makes a huge number of high-performance scientific libraries accessible to Lisp.
Not made up -- Alibaba was actually punished for reporting log4j vulnerability:

https://www.zdnet.com/article/log4j-chinese-regulators-suspe...
Tahiti is in French Polynesia. According to your quote 18/27 = 66% of the original settlers are Polynesian. It'd be very strange if they had a completely European culture.
$2k/year is nowhere near even the direct costs of raising a child. Think about how much an extra bedroom and food would cost even before you get to things like childcare, education, increased travel costs, etc.
Are you really going to shit on people for failing because we've turned society to "hard mode"? Imagine it's suddenly the zombie apocalypse - are you gonna victim blame people for not having a bunker, years of saved food and an arsenal of anti-zombie arms ready to go?
CROSS POST: I posted this in reply to your linked explanation.

Okay yep I get it now. The 4mv2 did it for me mathematically but I still couldn't get it intuitively until I imagined a car going 50mph rear ending a car going 40mph. If they wind up going the same speed as a result of the collision then the deceleration felt by the car in the back would only be 10mph if the car in front didn't change speed because it was like, an ocean liner. If the cars are the same size and the collision is perfect and all that then the car in front would gain 5mph and the car behind would lose 5mph.

Since in a head on, they are both changing speed then the deceleration must be half the combined relative deceleration.

The way I was imagining it was as if the car collides with another car going 50mph in a head on collision and the other car doesn't slow down due to the collision.

So it appears that it is I who am confidently wrong about physics (although I still hold that Milton Friedman is confidently wrong about economics!).
That's why we MUST impose FLOSS by popular acclaim and came back to desktop computing and home servers. That's why modern connected cars are designed to be a national security threat as well as many other macro-bugs.
I have literally never heard anyone claim that Alan Shepard was th "first man in space."
The companies themselves aren't the problem, they are a symptom. The real problem is governments, especially the US government, that happily use their monopoly on the use of force to help such companies enforce such business models.
Hammer makes no attempt to appear human
https://pubmed.ncbi.nlm.nih.gov/36849732/ from 2023
Empowering Payment Connectivity Globally – Noah
Very expensive snuff film
- "Why would you sue if you have been compensated adequately?"

The amount is not adequate and is not the settlement a victim represented by attorneys would negotiate. A victim without legal counsel would not realize this.
Even better question: why is this case of simple theft on the HN front page?

Edit: It was not the airline who stole anything, it was, allegedly, an airport employee.
There actually have been many months without more than half of nuclear reactors in France in 2022 - beginning 2023. And in France there are not enough different energy sources to compensate.

https://www.france24.com/en/france/20220825-france-prolongs-...

Taking down such reactors is a periodically routine for maintenance. The question is only how fast you can bring them up again (especially in case of serious repair needs).
Couldn't you also make the case that offering compensation is an admission of guilt? If the airline compensates unfairly, they haven't compensated properly but just admitted guilt.
I thought I was addicted to the internet too yet it turns out I'm addicted to information whether that be short, long, audio or video content.

The insatiable desire to be up to date with current news, happenings in my fields of interest or social circles became unmanageable. Furthermore, the teams of people with doctorates employed by tech companies to make their product even stickier with each iteration made my battle all the more challenging.

By creating hard boundaries that were non-negotiable such as limiting time on the top (n) sites, banning certain apps on the phone and deleting accounts helped me immensely.

Being online is hard to avoid such as banking, portfolio management, booking medical appointments and acquiring entertainment to consume are now ingrained in modern society yet learning the skill (or art of) disconnecting to enjoy non-online or 'outside' activities and controlling my compulsion to surf aimlessly (laptop or mobile) from one site to the next took weeks to get under control.

Training my family and friends to not expect an instant reply to messages also took a long time and surprisingly difficult.

Today was a public holiday where I live and I'm happy to say I spent it offline. I did however listen to the news and the footy on the wireless. Only now in the late evening for 20 minutes am I replying to my messages and 'online'.
bEcAuSe ItS iNtErEsTiNg

Seriously, every time I ask that question that's the answer I get, because the guidelines say that "HN isn't just tech or business, it's anything that's interesting". So I guess someone found a case of theft interest.
Leaving these here:

https://github.com/kanzure/pdfparanoia

and

https://github.com/firstlookmedia/pdf-redact-tools

as they are relevant to this topic.
Open access is its own ridiculous racket. It usually costs the author literally thousands to publish as open access.
I haven't followed Perl development in a while, but I remember there was a briefly hyped "Perl 7" announcement. Did that plan get dropped?
The "Mythical Non-Roboticist" idea suggests making robotics accessible to everyone by simplifying the programming process is the way to go. However, this overlooks the complexity of getting robots to function in the unpredictable real world. Creating oversimplified APIs for a vague, inexperienced user base leads to tools that fall apart in practical use. Instead of aiming for condescending simplicity, we should focus on developing powerful, flexible tools that eliminate unnecessary complexity. When someone starts programming a robot, they become roboticists, so design your APIs for peers who won't tolerate needless complications.
I strongly second the recommendation! Apple's CPU optimization guide is great and not just for their own CPUs but for anyone interested in ARM64(ARMv8, Aarch64, however you call it) in general. It's one of the best written manuals I've read on this topic (which is few but still), with great visualizations and should be accessible to a person even with little low-level knowledge.

(the original comment does not mention but, to be specific, this is about this document: https://developer.apple.com/download/apple-silicon-cpu-optim...)

Should you want to play with SIMD but are a little intimidated - Swift and C# and offer convenient "platform-agnostic" SIMD abstractions, and C# also has NEON/AdvSimd intrinsics in the form of "plain" API calls e.g. `AdvSimd.AddPairwiseWidening` for more direct control (I'm biased on this subject as, while I like Swift, using Xcode and surrounding tooling is sad and less convenient, and the support for Linux/Windows is not there yet).
.... now all the RTO propaganda makes a bit more sense.