skysight-inc/HackerNews huggingface dataset:
Hey I've made a weird OAuth like that!

It was an intranet with an OAuth server for a company. A team that implemented an OAuth login for another related app wouldn't follow the official specs. They've asked for me to change how OAuth works because otherwise it would be "impossible" for them to implement the login, and what they were asking were seemingly random changes that didn't follow any official specs. After a couple of months of back and forth and no matter what I said, the conclusion that everyone else at the company agreed is that I was being uncooperative.

In the end, I caved in, and there's now an OAuth Frankenstein just for them that lives alongside the OAuth for everyone else. I've made a dedicated #special-needs section just for them in the docs, with no explanations why, and I hope other teams will enjoy the read.
There's also a decent amount of controversy around really young GMs. Basically that their parents game the system by choosing official tournaments with burnt out GMs with low ratings so they can get their norms easier. Mishra recently had a lot of backlash from top GMs with those types of accusations. If that's true, those players will likely never reach the top ranks, but who knows.
The example you gave, however, is obvious to every graduate student in any field that touches analysis or asymptotics. That is not the real problem; the real problem is proof by assertion of proof: "Lemma 4.12 is derived by standard techniques as in [3]; so with that lemma in hand, the theorem follows by applying the arguments of Doctorberg [5] to the standard tower of Ermegerds."

Too many papers follow this pattern, especially for the more tedious parts. The two problems are that it makes the lives of students and postdocs torture, and that the experts tend to agree without sufficient scrutiny of the details (and the two problems are intrinsically connected: the surviving students are "trained" to accept those kinds of leaps and proliferate the practice).

Frustratingly, I am often being told that this pattern is necessary because otherwise papers will be enormous---like I am some kind of blithering idiot who doesn't know how easily papers can explode in length. Of course we cannot let papers explode in length, but there are ways to tame the length of papers without resorting to nonsense like the above. For example, the above snippet, abstracted from an actual paper, can be converted to a proof verifiable by postdocs in two short paragraphs with some effort (that I went through).

The real motive behind those objections is that authors would need to take significantly more time to write a proper paper, and even worse, we would need actual editors (gasp!) from journals to perform non-trivial work.
This is cool, but I'm mostly sad the future of computing is so closed. I can already see that you're not going to be allowed to do a lot of things on these devices to the point that they're useless, like iPhones.
Problem is microplastics
3rd day of announcements from Google, looks like Google is also celebrating 12 days ship-mas anonymously.
> It's kinda tricky to start conversations with strangers in a world where everyone has their Airpods in in an effort to tune out everyone around them

Yes & no. I think this speaks to the bubble most HN commenters live in. Step outside a VHCOL coastal city and the statement does not hold...
Very cool! Finding the Kubernetes API docs is such a pain.
From the article: "This became a recurrent theme for Glenmark in subsequent years as FDA investigators dinged one plant after another for failing to follow manufacturing processes that prevent defective drugs from winding up in American medicine cabinets."

In the case of potassium pills, they should be quality-testing the extended release mechanism. It's possible an inspector wouldn't be able to catch that their quality testing is shoddy or non-existent in every specific case, but if they show up and see a pattern of bad manufacturing processes, that's important to act on.
So weird my comments in this thread here are being downvoted a ton.

Those who are downvoting and you are in the US i'd love to hear why you have no concern about these things and or no concern the world thinking we let drones fly unabated in our airspace ... prompting various foreign nations to try and do the same over our massive US of A airspace on up into remote-ish Alaska. You have congressman saying scary things while the Pentagon says those congressman words arent true.

I mentioned Trump above (i voted for her) if that was something that triggered some downvotes?
I am guilty of not seeing the point of the internet when it first came about, so I fully expect I'm wrong again. But I don't get these wearables beyond games, and potentially in the context of museums. I certainly don't think I'll be using these things.
>. Step outside a VHCOL coastal city and the statement does not hold...

I don't live in any coastal city. I live in mainland Europe.
That's probably announced in a separate Samsung press release.
Are you serious?

https://en.wikipedia.org/wiki/Deep_Blue_versus_Garry_Kasparo...
there's plenty of funding but it's mostly wasted
> I'd hope for Meta to support these new Jetpack APIs

They did deprecate their original proprietary VR APIs in favor of the cross-vendor OpenXR standard, so maybe there's hope for them playing ball.
Maybe. If a $30 keyboard works for you that's great. They drive me crazy.

My take is that ergonomics are personal. Split keyboards work for me.

If your body is complaining, don't ignore it. Take actions. Split keyboard might be one action that helps.
> All tablets are dying.

Highly disagree. The iPad line is very strong, especially in the artist community.
engines arent great at that. they spot the beat move, and if you dont do it, it keeps spotting that same great move until your opponent notices it.
> you must be really nitpicking

I mean...this IS Hacker News. Extreme levels of pedantry is just par for the course, isn't it?
Picture this. You fly a kite in a park near a military base. Your kite blows over the fence. It is now an unidentified flying object over a military base. Now do you as base commander order jets to be scrambled to respond what could literally be a scrap of trash or some teenager with a dji drone? It is a different situation entirely compared to an actual airplane.
For the last decade, I've requested my pharmacies to not give me any drugs manufactured in India if possible. I've had issues with many of those brands, Aurobindo being the very first one that gave me problems; which I ended up reporting to the FDA and they got in trouble for quality issues shortly after (I doubt it was from my lone report, but I wonder if that helped).

The problem now is almost every generic drug is made in India and I'm having a near impossible time avoiding them. As you can see, they are no longer being properly investigated. What's worse is the pharmacies are also contributing to the problem by not cycling out their stock of older medication. This was evident when I reported one of pharmacies for medication that basically disintegrated into my hands. After they were contacted by state inspectors (I got a follow-up email saying as much), the pills were of noticeably higher quality even though it was the same manufacturer.

I honestly suspect a good majority of Americans are using prescription drugs that are either somewhat ineffective or come with side effects that otherwise wouldn't be there with proper inspection. One common thing you'll read online is that "all generic drugs should have the same quality and active ingredient", but clearly that is not accurate when factories are either failing inspection or no longer being inspected at all despite numerous previous failings.
Those two are not mutually exclusive. Every country needs programs that bring in foreign talent. And there are always people who try to abuse such programs. The longer a program exist in the same form, the more successful the abusers become.

The answer is supposed to be simple. When a law no longer fulfills its purpose, you change the law. Then the abusers will have a new system to game, and they will be less successful for a while. But that doesn't happen in the US, because the Congress has long been unable or unwilling to do its job.

H-1B works pretty well for the academia. The government trusts that academic recruitment processes are competitive and reasonably meritocratic. But it has much less trust in the industry. That's why H-1B petitions from the industry are subject to the cap and the lottery, while petitions from the academia are not.
Could be multi-phase testing? Easily-acquired lighted drones in one phase, dark drones in a future phase?
The majority of people I know did not find their romantic partners that way. Sure, I know people who had success with online dating, but I know many more who ended up dating friends or better yet friends of friends. If you have a friend group with a healthy mix of gender+sexual orientations, and those people know other people, then you have a good shot at finding somebody you gel with. A friend invites you to their friends party and you spend some time talking to people. The more people you encounter with whom you have overlapping social circles, the more options you have for people to either befriend, flirt with, or both.
> was not an extraneous part of my quote

It's just more of the same.
Moral of the game, don't ever put white bishop in the white coner, or black bishop vice versa in the end game because it can be forced to sacrifice.
> Why lawyers and doctors?

Because wrong advice from either can have serious lasting consequences on your life. Use that as your metric and it becomes obvious. Think “what’s the worse that could happen is this advice is shit?” If the answer is death/sickness/losing your home/another thing you’re not prepared to live with, perhaps consider contacting a professional instead of listening to some rando on Twitter.

> Is it ok to give eg fishing advice?

Are you going fishing for fun on a small pond, or are you going on a dangerous boat expedition that could cost you your life?

> Even professional advice – in all kinds of fields – is often times bad.

Yes, there are incompetent people in all walks of life, but you’re drawing a false equivalence. You’re more likely to get sound advice from a random sample of professionals in an area—especially if it’s a field which requires a license to operate in—than a random sample of laypeople. Additionally, licensed professionals could lose their licenses and have their professional careers cut short (meaning all their years of investment in their craft down the drain) if they’re profoundly negligent, giving them extra incentive to not mess up. A random person doesn’t need to care and suffers no consequences if you take their advice and end up maimed.

Not all fields are created equally.
Public salary data reveal how much xAI pays some workers compared to OpenAI
Works with Ollama or APIs, instant configuration on first run.
I think they are implying that eventually you'll be forced to choose from those three options, and it will be kind of mandatory.
I got 45% I absolutely must improve it.
My eyes thank the skies. It's already bad enough with the LED lights. I can only imagine having someone's poorly maintained lasers shining directly into my skull through my retinas.
Right. I can't believe you're citing a source that can be edited by literally anyone.

Also, I cited "The Diabetes Code", not "The Obesity Code", goalpost mover.
What are the next set of library additions you're planning? Will tune in for when you release something on VC term sheets, convertible note / SAFE note conversions, and Techno Economic Analysis.
My “therefore” had less to do with technical details and more the legality of it. If magic 8 ball was marketed to children and company claimed that it was for children, then there would be stricter scrutiny around the answers it spits out. In this country, when you build products for children and market it to them, you undergo a much closer scrutiny than if you have an identical product that puts a disclaimer of “18+ only”.
I use my Quest almost daily for exercise. It's a game changer in that regard. Especially, in MR, which is more aligned with the XR in this post.
Fast, Flexible, and Scalable: How Rails Powers Doximity's Healthcare Platform
Docsframe – Build dynamic documentation with ease
Seems unlikely, only Meta and Apple have a comparable OS. Other manufacturers would have to either build their own thing or use Android XR.
The real question, which is why these issues still persist, is why the heck are people answering AND responding to these robocallers. They're making money somehow or it wouldn't be lucrative to keep doing it.
The bots are tuned differently to be a bit more tactical or more positional, and they have an opening book that follows the preference of the chosen player.
Reminds me of old Internet. We need more of these pag (in style)
On desktop, the embedded video is also fairly small and annoyingly, they disallow full-screen. why?
way more imo
I like to think that the strap on wings are a reference to the LLVM dragon.
Plushie when?
Why Terrorists Love Toyota
To put a little color on the BSD conjecture, it states that the rank (0, 1, 2, 3, etc.) of rational points on an elliptic curve is related to the residue (coefficient of 1/q) of the L-function for the curve. There are some additional multiplicative factors, in particular the size of the Tate-Shafarevich group.

No one knows how to compute the size of that group in general (in fact no one has proved that it's finite!). Computing the rank of a curve via non-analytic means is more akin to a bespoke proof than a straightforward computation (see Noam Elkies' work).

So saying you're going to disprove BSD with blind computation is rather naive unless you're sitting on several career-defining proofs and not sharing them.
HiveMQ vs. Mosquitto: An MQTT Broker Comparison
The moment I started reading, "Set up multiple domains" I felt like I needed to shower. Sleazy indeed.
Much sports content is streamed, but repetitive ads are frustrating fans
You can measure the sharpness of the position, as in this paper section 2.3 "Complexity of a position". They find their metric correlates with human performance.

https://en.chessbase.com/news/2006/world_champions2006.pdf
It depends on whether the analogue of playing a game is training or inference. If the former, then the training data are the assets, the training software is the game, and the resulting model is the game experience (or if you want something more concrete, savegames and recorded play I guess).

But yeah, if gameplay equals the use a trained model, then the model is an asset bundle (the pak0.pak if you will) and training data is the original models, textures etc, and the training software is all the programs that are used in the asset production pipeline.
Do didn’t reply to the OP so I had to look one thread deeper
Android (XR) is a lot more open than iOS (visionOS).
Did the WH say "these are not foreign adversaries' drones" or did they give some mealy-mouthed nonsense like "there is no evidence that ..." or "we have no reason to believe that ..."? Because those are two very different things.
A microwave may generate waves with many hundreds of Watts but the FCC limits the allowed leakage to ~the same effectively radiated power as they do Wi-Fi in the 2.4 GHz band.
yeah there's a lot of very very skilled people in these kinds of hobbies. A large RC Airplane + Ardupilot can be turned into a cruise missile pretty easily. The HPR rocketry crowd can get past the karman line and active stabilization (basically guidance but just straight up) is a thing now so decent range surface-to-surface guided missiles are pretty doable technically. The fortunate thing is these people also care deeply about their hobby and, besides, they just aren't mass murderers.
I don't think it's really lower effort if you account for the care with which you need to cook with teflon (no metal utensil), wash it (no dishwasher) and store it (no stacking). Unless you replace it every ~year I suppose.

There's plenty of things you can cook without fat in a stainless steel, too (pretty much all meats).

And fat isn't just for nonstickiness properties, it's a part of making food taste good. If you want/need to avoid fat for health reasons, that's fair.

You also just can't sear in a teflon, as you're not supposed to preheat the pan.

I almost never reach for my teflon for the opposite reason as you: I find it more effort. The one thing I really use it for is fried eggs, or when I really can't be bothered to wait a few mins for the stainless to preheat
As the sibling comment says: not just that it's a string, but which strings are expected.

OIDC extends the list with a few more: https://openid.net/specs/openid-connect-core-1_0.html#AuthEr...

This allows clients to interop with any server. Doing the shit Facebook is doing completely ignores one of the main objectives of implementing a RFC: interoperability.
I think the word "preferred" has been a bit overloaded in this discussion. There is a sense of economic advantage that you may be using, and this deal in that sense is "preferred" for everyone. There is the other sense of stated preferences, and this deal is clearly not in the stated preferences of one of the parties (hence the appeal to a court).

I think if the creditors unanimously wanted this to happen, it probably would not have been reversed over the idea that there could have been a higher value. The fact that this issue was raised to a court indicates that at least one creditor did not prefer it.
For sure, kidney stones definitely suck less opiates than without.
There is no actual headset. Its an OS they're offering to hardware partners.
Python to WordPress?
Hi! Does anyone know of any good APIs outside of Zapier to have a Python script that can write and post to WordPress blog?
I think Apple picked the right direction to launch with as their primary interaction method.

Controllers would be nice but as a secondary input.

Google are apparently not mandating eye tracking or hand tracking. Which is nice for flexibility but you’re going to have a mishmash of interaction models for native apps.
This reminded me of this funny skit video I saw recently about cast iron seasoning [0].

I also mostly use stainless steel, carbon steel and enameled cast iron pans, but do still occasionally reach for the non-stick for more sensitive things like an omelettes.

[0] https://youtube.com/watch?v=47Wv44OwAzw
And quantum computing! They found a way to make error decrease with number of qubits.
Maybe the difference between the eval of the best move vs the next one(s)? An "only move" situation would be more risky than when you have a choice between many good moves.
She addresses that, actually...

https://www.ntietz.com/blog/decaf-is-good-actually/
will it? It has the potential to bring so many users to Blender. That would be stupid.
you can also take a look at anish giri's recaps: https://youtu.be/EQDpuPzps88?feature=shared

he streamed watching most of the openings, and kept his own eval bar on the side, occassionally checking his lines against strong engines
> there exist constants C, X > 0 such that for every real number x > X, we have

>> log(x^2 + 1) + sqrt(x) + x/exp(sqrt(4x + 3)) < Cx.

These problems are only "uninteresting" to the extent that they can be "proven" by automated computation. So the interesting part of the problem is to write some completely formalized equivalent to a CAS (computer algebra system - think Mathematica or Maple, although these are not at all free from errors or bugs!) that might be able to dispatch these questions easily. Formalization systems can already simplify expressions in rings or fields (i.e. do routine school-level algebra), and answering some of these questions about limits or asymptotics is roughly comparable.
"They didn't say they don't know whose they are."

The FBI explicitly said they didn't 2 days ago. There's a possibility the FBI is being purposefully left in the dark by other feds, or lying under oath at risk of prison time for perjury, but without any evidence that's just one more of MANY conspiracy theories here.
Dating is one of those things I was never good at unless I gave up.

Maybe it's just me, but my luck was women only wanted me when I was too busy or having too much fun to go looking. I have a terrible poker face and if it seems like I'm looking for love then for whatever reason in my individual case it seems to be taken as a sign I don't deserve it. Of course if someone was offering, I might free up the time.

Not sure how common this is, but I've heard same from others.
I don't understand this comment. At best it's tangentially related, but it's also worded vaguely enough to sound like Mullvad (the topic of this post) is doing something bad.

Mullvad states they're based on Sweden -- are you claiming they aren't? They list where all there servers are located and who owns them, if that's your concern.

They seems to have extensive information about why you'd want to use a VPN or not. They don't log customer data and moved to a RAM-only infra. They're cheap with one flat rate.

So what exactly would you call BS? What would you like to see them do different?
You've got it upside down. Human contact is cheap. If you want to talk to another human being in real life, I bet you can do so within 5 minutes. What has actually happened is that the internet has created a close enough simulacrum of human contact that is as addicting as any drug. It provides a cheap hit of socialization, and you can fill every last inch of your life with it.

Listen to a podcast in the car, walk around while scrolling social media, watch Twitch streams while doing the dishes. It doesn't actually fulfill your needs but it feels like it does. Gen AI is just a way to generate more of that kind of content than is possible, removing any human element, making something supposedly just as tasty, but it's empty calories.
Ask HN: How are AI tools delivering real value in your company? (not just noise)
I’m curious about the real-world impact of AI agents and LLMs in your workplace. Beyond the hype, where are they actually making a difference?

Specifically:

What does the ACTUAL input (data, tasks) look like, and what’s the output (results, deliverables)?

What’s the ROI? How many hours or dollars have you saved?

Has anyone lost their job? or have roles shifted to new types of work because of AI?

Any less-obvious use cases that turned out to be surprisingly effective?

Would love to hear about the tools you’re using, the workflows you’ve built, and what you’ve learned along the way
The federal government budget is not a household budget. There's no such thing as having money or not having money. It's a mixed economy and they're the command economy part of it.

(This isn't true of state/local governments, those have limited budgets.)

More to the point, if you shut down 100% of everything that looks like spending it wouldn't save anything important. The federal government is an insurance agency and all the money goes to Medicare/Social Security payments and military wages. You could shut down the miltary I guess.
I'd like to necro one particular comment from this discussion. Someone said that "x86 cannot have acquire/release semantics", because by default x86 has total store order (TSO).

My question: What stops Intel or AMD from providing an opt-in weaker memory model? Or what would the programming model look like for new programs that wanted to abandon TSO for better performance? Would it just be weak order prefixes for existing memory-altering instructions? Would you need a process-wide bit to weakly order the whole program? Would that affect loaded libraries (including OS-provided libraries) too? Would programs dropping TSO potentially affect kernels or hypervisors above them on the privilege hierarchy of the CPU?