skysight-inc/HackerNews huggingface dataset:
The (non-generalized) Pythagorean theorem is part of Euclidean geometry, so non-Euclidean geometry is irrelevant to this discusion.

> Euclid's third postulate - "a circle can be drawn with any center and radius - doesn't define how to do it.

You do it using an axiomatic compass, a device that copies length in a circular pattern but does not measure it. Lengths are measured using constructable line segments.

Are you implying that nearly all the hundreds of proofs of Pythagorean theorem, which do not use modern rigorous definitions, are not valid proofs?

> Conversely, if you take the "conventional" definition, than the Pythagorean theorem falls out almost immediately.

So? The Pythagorean theorem is very easy to prove. There are hundreds of proofs created by amateurs. That doesn't make them "not proofs" simply because other proofs exist.
Why does Google's SSO pop-up want you to close it?
Example: After opening Stack Overflow, you will be greeted with Google's Single Sign-On dialog pop-up ("Use your Google Account to sign in to <the website's name>"), which covers a significant amount of space of the website.

This is prominent especially on a small smartphone screen, where the pop-up covers about 40% of the screen space, so you are indirectly forced to interact with the pop-up to close it.

Is it a deliberate intention of Google to force you to interact with the pop-up so that it can gain additional privileges inside the browser to track you better?

AFAIK, browsers require user interaction to play sound. Are there other APIs which require prior user interaction to allow access to them? Could such user-interaction-requiring-APIs allow Google to get a better fingerprint of your browser?
I feel like there is threshold of size when things start to go downhill. Too small is bad, too big bad too. In sense organic growth is the best for communities.
1201 in general is a frustrating process.

Even if the DRM-protected media is being used for purposes not protected by copyright (e.g., fair use), 1201 makes it illegal to crack to the DRM unless there's been a 1201 exemption.

To make this explicit: If rightsholders believe you are infringing on their copyright, they can sue you for copyright infringement no matter what. 1201 acts as another layer preventing fair use and other non-infringing works.
Finder.gift – AI-Powered Gift Suggestions
Hi HN,

I’ve built Finder.gift, a web app that uses AI to help you find thoughtful gift suggestions tailored to the recipient's interests. The idea came from the struggle of finding meaningful gifts for friends and family, especially when their preferences aren’t always obvious.

How it works:
Enter some interests.
The AI generates gift ideas based on that input.
Each suggestion includes links for easy exploration or purchase.
The app aims to make the process of gift-giving more personalized and less stressful, whether it’s for birthdays, holidays, or special occasions.

This is the first version of Finder.gift, and I’m actively looking to improve it. I’d love your feedback on:

How intuitive the app feels.
The quality of gift suggestions.
Ideas for features or improvements (e.g., better personalization, new categories).
Let me know what you think! Thanks for checking it out!

https://finder.gift
That one was Asus ROG Maximus Z690 Hero ~2years ago.
Nice work!

Ive been using my 3d printers to build things for my home and shop for quite a while. There is nothing quite like just being able to draw exactly what you need and having it appear magically a little while later.

Some of my favorites have been tie-wrap mounting bases for a variety of equipment, spacers and standoffs for conduit, a bunch of archery related stuff, motorcycle parts and accessories, cabinet hardware and latches, baby-proofing stuff household and bathroom fixtures and gadgets..... I'm realizing that this list goes on basically for ever. Its come a log way since the only options were ABS and PLA lol.

For people interested in printing useful things that print easily and don't break, you might find the following books useful:

The Zombie Apocalypse Guide to 3D printing: Designing and printing practical objects : ISBN 978-1530542772

https://amzn.to/4fRZBKL

And

Functional Design For 3D printing : ISBN 978-0692883211

https://amzn.to/4ibmEle
Oh boy. A lot of what he's mad about, at least in gaming, is part of a the road to hell being paved with good intentions, especially in gaming. Historically gaming underpays compared to the rest of tech. Which is wild to think about since you're competing for entertainment dollars out of budgets.

Gaming was not socially acceptable for a long time. This lead to people who play games being ostracized, and then moving into the gaming industry. Here they find others who were ostracized for gaming, and it becomes an island of "misfit toys" so to speak. These people who were likely bullied or otherwise harmed for the formative years of their life don't want others to experience the things they did.

This is why "DEI" took off so heavily in games. The workforce by and large had shared experiences of being outcasts. This new mindset claims to elevate those who are marginalized. It created a galvanizing effect where the people genuinely believe they are fighting for whats right. Now they belong to a team, when they really haven't belonged to before.

This workforce is also highly likely to be online more than normal people. People can self select into their echo-chamber of choice which reinforces these beliefs. Now they can say "we are putting {representation} in {game}" and they will be cheered by the groups they've self selected into.

I cannot stress enough, these are almost all genuinely good people, who are convinced they are doing the right thing. Combine this with the way that gamers/internet people give opposing view feedback, and you can see why some dig their heels in. It's not something that's a simple solve socially as "creating an AI game studio".

This also ignores most of the economics of generating good games, especially anything that becomes an online service. There's a reason Tencent has their hands in everything.
That's not what the 1201 process is about.
The odds of being targeted don't matter in what we're talking about. The fact its possible is what we're talking about. High value targets like zuck being well aware of that fact, and taking steps to guard against it is just icing on the cake.
Smoothing is part of the story: but the important question is what is causing the roughness? Switch mode power supplies have inherent output ripple that can be filtered, but that’s distinct from transient variations in the load. Decoupling capacitors are used to provide a low impedance path at high frequencies i.e. fighting inductance.
Reverse engineering Microsoft BASIC [video]
I built a daily drop for premium expired domains at low prices
That makes sense. I started doing that sort of things too.
Isn't it as simple as going on pip for fangs, a short conversation for a founder of a startup and a few weeks notice pay?
Good point, that's a good explanation. I think the timing with ChatGPT and how consistent it was for 5+ years before that make for very strong circumstantial evidence, but you're right that there is at least one other good possibility.
China releases three US citizens held for years in prisoner swap
I hope that someone does an oral history of why gevent wasn't seen as the solution here. The existence of models like Twisted, and a general idea that yields to an event thread should be explicit in some way, I think caused the exact kind of fracturing of the ecosystem that everyone was trying to avoid. "Everyone will write async code" simply didn't happen in practice.
I assume it means moving up but still starting from within the normal range?

Only one data point, but over the course of this year, I've gone from having the very lowest T level in the acceptable range to the upper half of the range and noticed very little except some increased assertiveness.
Seems a problem that will sort itself out if companies are in fact hiring under-qualified cheaters.
Would you consider honoring prefers-reduced-motion? The page is full of excessive animations, which look cool I guess, but make it unreadable for me.

https://developer.mozilla.org/en-US/docs/Web/CSS/@media/pref...
I recall in the early or mid 2000s using some cheap earbuds plugged into the microphone port of my family computer as a pair of microphones in lieu of having a real microphone nor the money for one. Then I used Audacity to turn the terrible recording into a passable sound effect for the video games I was making.

Not knowing much about how soundcards work, I imagine it would be feasible to flash some soundcards with custom firmware to use the speaker port for input without the user knowing.
...so I just discovered git bisect for the first time and this is pretty cool.
Hear, hear. I often spend five times as long peddling about with the type annotations. Most of the “bugs” I find with the type checker are type annotation bugs, not actual software bugs.

What type annotations do however deliver is useful completion via LSP.
yeah potentially -

I think you can potentially detect which email clients emails open in, so you may gain some interesting insight once you've sent some cold emails.
It is, yeah for sure. No argument there.

I do wonder though... How much cheaper is it really? What if the externalized costs were factored in?

Currently all manner of costs are put onto the environment rather than the producer or consumer: Soil erosion, soil degradation, fertilizer and pesticide runoff, biodiversity losses, greenhouse gas emissions, etc... All of which are huge issues, which we can't keep ignoring like we are.

And even after ignoring all that), most of 'the West' still needs to heavily subsidize farmers to make them competitive with imported crops.
... and 100 percent of long posts on LinkedIn are useless drivel from idiots engaged in clumsy self-promotion. So?
I'm opening up my app right now, and I see none of this. Granted I'm a recent installer (this week), and all I've followed are tech/ml based lists. But it is a much quieter place than twitter.

The major accounts from twitter are not on bluesky, but I don't care for vitriol or meme replies (all of which are much higher on twitter). That being said, twitter still has a lot of interesting people, who are the main reason to continue using the site.
Did it ever snitch on anything interesting?
It may be a good idea to disclose it anyway, depending on the regulatory environment. In many countries, having a disability makes you more difficult to fire. This is especially true if they are trying to fire you for reasons that are even partially related to how your disability manifests.
looking forward to Leetcode Prohibition Act of 2029
"Bootkitty": The First UEFI Bootkit Targeting Linux Systems
that happens exactly because the US is the world police to its own benefit, not for the greater good which some US americans are still deluded
Just a friendly reminder to everyone that a challenge of the DMCA has not reached the Supreme Court in over 25 years of its existence.
I have tried to find a CDN provider which would offer access control similar to Cloudfront's signed cookies but failed to find something that would match it.
This is a major drawback with these providers offering S3 style bucket storage because most of time you would want to serve the content from a CDN and offloading access control to CDN via cookies makes life so much easier. You only need to set the cookies for the user's session once and they are automatically sent (by the web browser) to the CDN with no additional work needed
> I can imagine lots of people calling customer service "Q: why doesn't my camera work?", "A: Did you open the cover?"

In some over-engineered world, when the camera cover is engaged the webcam video feed would be replaced by an image of the text "Slide camera cover open" (in the user's language) and an animation showing the user how to do so.
The dirty secret of hiring processes is that the main goal of the earliest stages is to get from a lot of applications to something less than a lot, not to screen for fit. This has long been true, and it is now super true.

Every job posting gets flooded with hundreds of applicants, if not into the thousands. Most of those people are coming through the front door with no one to vouch for them and probably nothing on their resume that makes them a must-see candidate.

Most managers and HR teams probably don't even explicitly think about it this way, but by pure pragmatism have evolved processes that act as flow control.

The unacknowledged result is that the company will reject 90+% of applicants, regardless of fit, under the assumption that the filtering process will allow enough good people into the actual interview rounds that the team will be able to find someone they want. From this perspective, Hackerrank is not broken, it's doing exactly what is required of it by companies.

I say all this because people who are in job search processes should frame the process accurately in their mind. It hopefully will help with not taking the process so personally or not getting so infuriated with it. It may also help you strategize how to find your way into the roles you want, if crushing these tests isn't your strong suit.
People who are vouched for get to bypass all of this. The more confidently you are vouchced for by a trusted party, the more benefit of the doubt you get in the hiring process.

One might ask is there a better way to do this? Probably so. But if it were easy, it would already exist.
I don't understand how QSBS has anything to do with interview practices. Are you saying the IRS should somehow audit any QSBS company to make sure they're not implementing any data structures or algorithms? Like, new companies must be audited if they try to use computer science?
I feel like we must eventually reach an age where people have to pay (significant money) just to post.

Why are social networks allowing people to just broadcast to massive audiences for free?

I’m curious if content would be more satisfying if only the most motivated people were publishing content and not just spammers spewing AI drivel to grow their brand.
Even American Sign Language itself has a huge racial split due to the legacy of segregated schools for the deaf. https://www.lingvano.com/asl/blog/what-is-basl-black-america...
What's even worse, when typing is treated as an indisputable virtue (and not a tradeoff), pretty much every team starts sacrificing readability for the sake of typing.

And lo and behold, they end up with _more_ design bugs. And the sad part is that they will never even recognize that too much typing is to blame.
Or don’t launch in EU until you have to, which is what most do now so your choice
I think that you have not read many patents.

There have been patents that are the result of hard work, but there is a deluge of patents that contain only ideas that are so obvious that nobody was shameless enough to attempt to patent them before.

Moreover the majority of patents contain extraordinarily broad claims, which cover many things that the authors of the patent have never succeeded to make, but they include the claims in the patent with the hope that someone else will find a way to make those things and then they will reveal the patent and blackmail those who have actually made a real device.

In the old times, for a patent to be granted there was a condition to present a working prototype embodying the claims of the patent.

Unfortunately this condition has gone a long time ago, otherwise it would have filtered most ridiculous patent claims.
> Post Length Has Increased by 107% Since Chat-GPT Launched

Oh, joy.

LinkedIn lists their "highest performing posts".[1] #1 is "Marketers, stop making these 4 measurement mistakes" All ten of them read like they were generated by a program. Not even an LLM, something dumber like a template spam generator.

My own LinkedIn entry says "See my Github." Haven't updated LinkedIn in years. Hadn't looked in months. If anybody wants to talk to me, my email address is available.

[1] https://www.linkedin.com/business/marketing/blog/social-medi...
Composite - no. But an adapter costs less than a good beer in most countries on AliExpress (well, shipping excluded).
Theories that brains predict the pattern of expected neural activity aren't new, (eg this paper cites work towards the Free Energy Principle, but not Embodied Predictive Interoception Coding works). I have 0 neuroscience training so I doubt I'd be able to reliably answer my question just by reading this paper, but does anyone know how specifically their Prospective Configuration model differs, or expands, upon the previous work? Is it a better model of how brains actually handle credit assign than the aforementioned models?
Please don't start ideological flamewars on HN, even in response to an article like this one.

https://news.ycombinator.com/newsguidelines.html
Nobody ever regretted having extra memory on their computer.
How IBM invented the automated fab
The oldest Sanskrit text, the Rigveda, is usually dated to 1500 BC as an oral tradition. It wasn't written down until much later. The oldest surviving unambiguously Sanskrit writing is from 100 BC, using the Brahmi script. It actually isn't the surviving oldest Indic written language either, the Edicts of Ashoka date to 300 BC and are texts written using various scripts and vernacular languages.
“The release of the popular AI chatbot, ChatGPT at the end of 2022 likely led to a 189% surge in AI usage in LinkedIn posts.”

189%, eh? This stat makes me believe the entire article is made up.
>Since everyone started using AI, more candidates started clearing the first round with flying colors. The platforms had to recalibrate to let in their target percentage.

Is there any proof or data on this? Not saying it's wrong but I'm curious how big the effect actually is.
There's lots mixed up with IP laws. Are talking inventions (patents) or works of art (books, movies, music, games)

I certainly know that most games and movies wouldn't exist without a monetary incentive. They take too much work to make. There are exceptions. You can make pong in a few hours and you can shoot a movie of yourself talking. You can also do both as a hobby a few hours a night. But, most movies require sets, costumes, props, and lots of other equipment and labor. Most games also require many person years of work. It's unlikely people would put in that much work if they couldn't make a living from it as it allows them to do it full time so they actually have the time needed.

OTOH, music "can" take a few hours and so could be done more easily as a hobby so while not all forms of music would continue I suspect we'd still get tons of it with without monetary incentives.. Books, it depends on the type of book. People write blogs for free and compile them into a book.
In Yoga C740 it only blocks the shutter. Covering the LED doesn't make sense to me
Or the way people talk on LinkedIn isn't sufficiently different than what an AI randomly spews out.
Well, using print over debuggers is fairly common in Rust and other languages with strong type systems because most bugs are, due to the extreme lengths the compiler goes to to able to detect them even before running the program, just lacks of information of the value of an expression at a single point in the program flow, which is where dbg! shines. I agree with all the other points though.

Anecdotally, I was just writing a generic BPE implementation, and spend a few hours tracking down a bug. I used debug statements to look at the values of expressions, and noticed that something was off. Only later did I figure out that I modified a value, but used the old copy — a simple logic error that #[must_use] could have prevented. cargo clippy -W pedantic is annoying, but this taught be I better listen to what it has to say.
More context: https://www.reddit.com/r/cpp/comments/1h0ximn/comment/lz7j2r...
Yes, obviously. Cheating is subverting the testers intent and being dishonest about it. Not just what a lawyer can weasel word their way around.
Germany is highly federal. The federal government only covers a portion of the cost of road construction and maintenance, with state and local governments carrying much (a majority, I think) of costs.

From what I see in your 2nd link, motor taxes do not even cover the federal government's contribution to road construction and maintenance, not to even mention what state and local governments pay.

You're saying the US doesn't have to subsidize roads, but removing that subsidy would require the US to raise fuel taxes and tolls by 200%. Rail can also break even if prices are increased. The reason governments subsidize HSR is because it has positive externalities.
It's because the nature of typing has changed drastically over the last decade or so, in well known languages, going from C++/Java's `FancyObject *fancyObject = new FancyObject()` (which was definitely annoying to type, and was seen as a way to "tell the compiler how to arrange memory" as opposed to "how do we ensure constraints hold?") to modern TypeScript, where large well-typed programs can be written with barely a type annotation in sight.

There's also a larger understanding that as programs get larger and larger, they get harder to maintain and more importantly refactor, and good types help with this much more than brittle unit tests do. (You can also eliminate a lot of busywork tests with types.)
Could starting $ emacs --daemon, and connecting to another machine using the client act as a kind of sandboxing or it has no benefit whatsoever?

Maybe that could be used as a starting point to implement a security strategy for some not totally trusted packages. It could complicate things, but hopefully not too much.
Judging by your profile comments, it looks like you have little clue what any of these words mean, especially the last one, which could be due to your emotionally underdeveloped brain. Before you start spitting your snacks at the screen in rage, let me explain - comments like yours often suggest someone experiencing difficulties with emotional regulation, empathy, and interpersonal relationships. I don't know the source of your irrational anger, but you may want to find someone to talk about it. Modern therapy can drastically change people's lives for the better.
I happen to have some first-hand knowledge around the subject! In 2014 someone did a talk[0] on disabling the camera on some older Macbooks. It was fairly trivial, basically just reflashing the firmware that controlled the LED. I worked on the security team at Apple at the time and in response to this I attempted to do the same for more modern Macbooks. I won't go into the results but the decision was made to re-architect how the LED is turned on. I was the security architect for the feature.

A custom PMIC for what's known as the forehead board was designed that has a voltage source that is ALWAYS on as long as the camera sensor has power at all. It also incorporates a hard (as in, tie-cells) lower limit for PWM duty cycle for the camera LED so you can't PWM an LED down to make it hard to see. (PWM is required because LED brightness is somewhat variable between runs, so they're calibrated to always have uniform brightness.)

On top of this the PMIC has a counter that enforces a minimum on-time for the LED voltage regulator. I believe it was configured to force the LED to stay on for 3 seconds.

This PMIC is powered from the system rail, and no system rail means no power to the main SoC/processor so it's impossible to cut the 3 seconds short by yoinking the power to the entire forehead board.

tl;dr On Macbooks made after 2014, no firmware is involved whatsoever to enforce that the LED comes on when frames could be captured, and no firmware is involved in enforcing the LED stay on for 3 seconds after a single frame is captured.

0: https://www.usenix.org/system/files/conference/usenixsecurit...
It's cheating if you don't say you're using it.
Racket has great documentation but unfortunately even its creatures have moved in to Rhombus which is a non lisp.
PHP made it to the front page!