skysight-inc/HackerNews huggingface dataset:
I'm nearsighted with no astigmatism, so I have a simple -2/-2 prescription (if I remember correctly).

I sit at a screen 8-16 hours a day. I get strong headaches every single day, for which I keep a supply of ibuprofen at work and home. 400mg a day is generally plenty.

I do not wear my glasses while at the screen, as it's close enough that I don't have any issues.

I suspect my headaches are neck muscle related, not eyesight, but I haven't investigated further.
May I offer the following list, informed by my own interests:

- Ramsey's work on decision theory and subjective probability: https://personal.lse.ac.uk/bradleyr/pdf/Ramsey.dialectica.pd...

- Russell's Paradox and its impact on set theory: https://plato.stanford.edu/entries/russell-paradox/

- David Lewis' work on signalling games: https://en.wikipedia.org/wiki/Lewis_signaling_game

- Following up on that, Brian Skyrms' work on signalling, information, and evolution: https://www.codebiology.org/pdf/[7]%20Skyrms%20(2010)%20Sign...

One issue might be that when a philosophical debate ends up solving a more applied problem, the debate is no longer considered philosophical.
This is basically a meme at this point -

Sandwich, US >:|

Sandwich, Japan :O

I don't know what to believe anymore. I think sugar isn't good for you, whether it's "real" processed sugar, or HFCS which is a fructose ratio that is the same as honey, or agave syrup which has even more fructose.

And, other countries have obesity problems too - e.g. Mexico and the UK. Are they tainted by... whatever... is the actual problem (or problems) with the US's food supply?
> The model isn’t intentionally generating text.

What's the mechanistic model of "intention" that you're using to claim that there is no intention in the model's operation?

> Just because a model generates text doesn’t mean that the text actually represents anything at all, let alone a reflection of an internal process.

Generating text is the trace of an internal process in an LLM.
If you look at user pan_cogito submissions, you see that virtually all are marked dead probably because they're off topic for HN, and possibly also a side of bad faith spamming.

How did this one slip through?
It is the reason why we switched to using FaceTime audio. The sound quality is so much better than over the normal voice line. I don’t know how to reliably get HD Voice.
> there aren't that many well paying jobs

The irony here is that if you look at the job postings of quantum hardware vendors, they ask for a laundry list of skills that only a small handful of people on Earth realistically possess (you included).

People are given the impression that there's this outsized demand for Qiskit jockeys, when in reality, what we're currently calling quantum computers are basically physics experiments with the cables cleaned up and hidden in a cabinet. The results you get from these things are tightly coupled to their hardware implementation, and you need people who can work, or at least think, up and down the full stack to get even scientifically useful results. Same goes for quantum sensors, networks, and other so-called adjacent technologies.
I think it was too early really. These days everyone bugs you with confirmation screens. IOS, macOS, Android all do it too.

But in the vista days security was not yet so much on the radar for most people. In fact even for companies. I remember working for a company where all the laptops had the same local admin password which was the company name + "123". I'm not exaggerating. There was also no full disk encryption used. These were also the days most websites would use plain http.

With that in mind I just don't think the importance was clear yet to most users. They just saw the negatives, not the benefits. Post Stuxnet and Wannacry/NotPetya things are really different.

Ps: it wasn't like that for all of course. I also worked for another company in the late 90s that had all their laptops equipped with windows NT 4.0 with full disk encryption (aftermarket of course as it wasn't yet built in), managed admin account and the whole shebang.
Never trust google for anything important, because they will mess with it to get money or cancel it if they can’t get the money, regardless of anything they’ve claimed in the past.
spoiler alert, directly quoted from article:

>The heads of the twiddled bolts move neither inward nor outward. The situation is comparable to that of a person walking up an escalator at the same rate that it is moving down. - Martin Gardner

>I don’t find it an especially helpful analogy. Why is the twiddling of bolts like a person walking up an escalator?

the bolts and the up-the-down escalator are a good comparison because if you analyze what happens from one bolt's perspective, and then the other bolt's perspective, one is walking up (in) and the other down (out).

(as a nit, I don't like when people breezily "reword" what somebody says while analyzing it: are "comparable", "analogous", and "like" exactly synonymous with one another?)
One of those social obligations required to be able to benefit from living in society is to ensure good governance. This part is often left out, providing fuel for nonsensical anarchist and libertarian arguments.
Signal protocol?
Or TLS/SSL?
Thanks for pointing me in the right direction!
What's Nussbaum's take on people who say "no" to have their property taken for other's use?
> But I'm not sure if the Mozilla root program list ever intended to be consumed by non-browser clients in the first place.

Yet that is the thing that goes around under the name "ca-certificates" and practically all non-browser TLS on Linux everywhere is rooted in it! Regardless of what the intent was, that is the role of the Mozilla CA bundle now.
Relevant: RFC 35140: The Do-Not-Stab flag in the HTTP Header

https://www.5snb.club/posts/2023/do-not-stab/
Nestle is making billions of dollars -- off water.
Country club no more: Inside Microsoft's move to cull staff on performance
So this pertains to jamming so strong that traditional jam-proof GPS that uses signal phase shift to weed out GPS signals coming from "wrong" directions, are insufficient? 100db attenuation of jamming signal has been achieved around 15 years ago with those.

In the air, there are always more GPS satellites visible than necessary. So jam-proofing through signal processing methods is the way to go.
Yeah, which Signal protocol are you referring to as a potential alternative to TLS?
They did announce Junie. Close enough to cursor i feel.
Link: https://www.jetbrains.com/junie/

But, what is stopping you from moving from Jetbrains to Cursor or the likes? AFAIK, most of the functionality can be achieved via plugins / extensions on Cursor.

Just Curious.
Note that DNSSEC is a PKI, but it's fantastically better than a WebPKI because a) you get a single root CA, b) you can run your own private root CA (by running your own `.`), c) if clients did QName miniminzation then the CAs wouldn't easily know when it's interesting to try to MITM you. Oh, and DNS has name constraints naturally built-in while PKIX only has them as an extension that no one implements.

The only real downsides are that DNSSEC doesn't have CT yet (that'd be nice), this adds latency, and larger DNS messages can be annoying.
If US offered nothing I suppose there is no sense of loss then. What are people upset about if Ukraine lost nothing?

Do you think some mining rights are a fair trade for 'security guarentees' of us going to war with Russia? I think Zelensky is way overplaying his hand. I'm not sending our kids to die in defense of Ukraine because of a 3rd party to the deal.
Generative-AI-for-beginners: 21 Lessons
> I yet have to see ONE philosophical argument that made an impact on math, physics, engineering, society, etc

I yet have to see ONE important field like math, physics, engineering, society that is not deeply impacted by philosophical arguments.

> Edit: Typical of HN to downvote unpopular opinions, but it doesn't prove me wrong.

Don't play victim when you are claiming absolute nonsense. It is not the task of HN to prove you wrong. It is your task to prove that you are right.
Show HN: UDP and Serverless
Hi HN!

I'm Lee, the founder and developer of Proxylity.

I became interested in UDP as a part of exploring game development, experimenting with IoT/embedded, and running global RADIUS authentication systems. I even wrote a specialized load balancer for it[1].

One of my takeaways is how little innovation has happened in UDP-based backend software. It's been the same pattern for decades: old code for stateful processes running on clusters, VMs or containers. Familiar, but expensive (time and/or money) and restrictive.

Meanwhile, while the HTTP world has benefited from eliminating most barriers to experimentation: setting up a new HTTP API or site has little to no initial cost, and usage-based cost once running. As a result we have "the web" as we know it today -- full of experimentation and creativity. I'd like to see the same happen for network services in general, and ride the wave created by giants[2][3].

UDP is stateless and serverless is stateless, which seems like a match that works. So I built UDP Gateway as the "shared hosting/serverless" way to get into UDP backends at low/no cost:

https://proxylity.com

An AWS account is required -- sorry about that, but I know AWS very well so it's where I've started. The subscription in AWS marketplace costs nothing, and includes a free tier.

This is a simple service (it only delivers packets, it doesn't implement protocols) but has global scale (currently in three regions, three AZs each). The primary DX is infrastructure as code. I've published some simple examples using CloudFormation on GitHub:

https://github.com/proxylity/examples

So give it a try and let me know what you think! What do you see as the biggest blockers keeping UDP services stuck in the past? Are they?

Thanks!
Lee

[1] https://github.com/mlhpdx/SimplestLoadBalancer
[2] QUIC is based on UDP. https://en.wikipedia.org/wiki/QUIC
[3] UDP in Chrome with Direct Sockets. https://chromestatus.com/feature/6398297361088512
> The drive for easily tracked goals is not inherent in government, it is an artifact of current political process.

While I agree with your intent, I think this is incorrect. The need to quantize things is inherent in taking power over them - via government, corporate management, community groups, whatever. A large section of humanity's challenges can be translated back to what we choose to measure, how we measure it, when we measure it, what goals we set for it, etc. It is why we argue over statistical "facts" so much.

Seeing Like a State is a great book diving into this topic if you haven't read it. It diverts into a more depressing view of government efforts, but I have yet to find a good refutation of this particular topic, although I would be pleased to encounter one.
Most of what you name—physics and mathematics and astronomy—were once considered parts of philosophy, and philosophers were the people who did them. That's no small part of why PhD stands for "Doctor of Philosophy."

What you're complaining about is actually the specialization of certain branches of philosophy into their own separate disciplines. A physicist today no longer thinks of himself as a philosopher, except perhaps if he glances at the diploma on his wall. That does not mean that he is not a philosopher in the same sense in which the ancient Greeks used the word, namely as one who loves wisdom, and in which Plato would have understood the term as he pursued not only moral philosophy but also mathematics: Plato would almost certainly see a physicist as a philosopher. Anyone pursuing theoretical knowledge with no direct utility to daily life (unlike, say, pottery or baking) was a philosopher.

After all the specialization that has happened in academia, the people who still call themselves philosophers constitute a husk of a discipline. They mainly contemplate logic (but not computer programming), epistemology (but not neuroscience or psychology), and morality. Seeing them as the only philosophers, rather than as the one group of philosophers who didn't bother to come up with a new name for themselves, is a mistake.
Have you ever used takeout? You get 33 1GB chunks in a link sent via _EMAIL_ that then I have to click on and authenticate in my browser. 33 clicks.
> It is the task of governments to provide citizens with capabilities to flourish.

> Nussbaum wants to establish the capabilities as rights to which citizens, in all nations, are entitled

This is such a blatantly big-L Liberal political position, that I have to laugh, even as a liberal myself. Pretending this is philosophy rather than policy seems a bit silly.

Personally, I think it makes more sense to frame these "capabilities" as benefits rather than rights. For example, do all people have a right to health care? No, because, in the extreme, it leads to logical contradictions with other rights. (E.g. Doctors being forced to provide care at gunpoint.) However, it makes perfect sense as a benefit that a wealthy government decides to provide for its citizens.
>so the behavior is the same as screwing in a bolt normally

...if you are simultaneously screwing out the other bolt normally, because the bolts screw neither in nor out relative to one another.
Who alerts you when your own alerting system is down?
Copilot is sort of a better name for an operating system powered by AI than Windows.

Personally I don't care what they name their services because I've already determined I want nothing more to do with them.
My whole reasoning is that it's the best choice given the circumstances. I've said my reasons why I think Russia may be satisfied with the eastern oblasts and not seek more. User disagrees, not much I can discuss against "There's always some excuse".

My original point, was that Ukraine is losing and in my opinion, it is in their best interest to give those away if it means peace. Given that we can't agree on if Russia will be satisfied with those regions, I thought it best to shift the discussion to what options they have. I wouldn't advocate for Ukraine surrendering those territories if I thought they had better options / a chance to win the war.
After reading Judith Butler for a class in college, reading "Professor of Parody" was such a breath of fresh air. Nussbaum is a clear thinker who doesn't take BS kindly.
Wan2.1 Parameter Sweep
I avoided glasses for years because no matter what, wearing them would give me horrible headaches. Then one day I went to a higher end optician, spent $1000, and have been comfortably using glasses since.

So maybe more selling, less research?
https://archive.is/wccyg
Makes you wonder if some kind of underground market would form that ignores billionaires, whether that's a commune or local government establishing a new local currency, that would cause the primary currencies (USD, BTC, etc. to further inflate itself out of existence).
> The legislation would also prohibit the use of ADS systems that use personal information of workers to “predict” what they’ll do in the future.

Don't we want to use objective systems to "predict" how employees will perform?

All this anti AI legislation is confusing. There are things like "you can't use face detection" but you can rely on humans to do it which is much more prone to error.

It's just silly. It's like a bank can make loans based on some kind of arbitrary formula but if it's "AI" its wrong. Even though the AI has the same exact inputs that can be in your arbitrary formula and you can control what inputs it has access to and even test to see if there is bias.

This fear of using technology/statistics for prediction screws over a lot of people and buckets people into overly broad buckets. It's why federal student loans for an engineering degree in the same school charge the same interest rate as a basket weaving degree from NYU. Under some bizarre perversion of egalitarianism it treats everyone and everything equal.
I downloaded the 8 bit quant last night but haven't had a chance to play with it yet.
sorry, i completely missed "xeon" in your comment.
We've come full circle. We invented a GUI to replace the TUI, then reimplemented the GUI in the TUI. Long live the terminal!
Transportation Secretary Sean Duffy "said the young staff of DOGE was trying to lay off air traffic controllers. What am I supposed to do? Mr. Duffy said. I have multiple plane crashes to deal with now, and your people want me to fire air traffic controllers?"

Newsweek covered the meeting's aftermath.

"During an Oval Office press conference after the meeting, Trump expressed a preference for Musk to fire fewer federal workers..."

https://www.newsweek.com/elon-musks-short-reaction-after-mee...

From Politico:

"According to two administration officials, Trump told top members of his administration that Musk was empowered to make recommendations to the departments but not to issue unilateral decisions on staffing and policy..."

https://www.politico.com/news/2025/03/06/trump-cabinet-musk-...
> During the times when you aren’t on a high-visibility project, I recommend carving out your own lab days or 20% time. (Maybe start with 10% time and work your way up.) This is a great way to rack up quick, bullet-point wins that can go on a promo packet or a resume.

Working for extrinsic incentives often fail to keep up - it is very hard to be motivated to do something because it will go on a promo packet after the first year when a packet doesn't happen.

Doing things for fun is great & that's what I do, also usually a step removed from my core expertise where I can do less damage in general.

But fun tends to have its own "flow" which might insulate you from other signs of organizational stress.

I've had these sort of "fun side quest" blow up in my face because I didn't realize there was a spotlight on me.

If you can't observe the spotlight coming down high on up, the same quirky day jaunt into some old code can be seen as "hard to direct".

This was also a side-effect of being a remote worker in 2005, because if I was in office I might have noticed there is a shift in tone.
How much water do you drink? How much are you sleeping? Is your room dark when you sleep?
How is this not more well known? I thought I was a god for discovering dir() but you’re showing that I was nothing but a peon!!!
Every phase transistion (or phase change) of a molecule alters its emission lines, at least as detected by gas chromatography equipments.
What do you mean by a very big hole? That it would damage the brand and its civilian sales?

Airbus is known for civilian airliners, but it has been a major stakeholder in many military projects for decades. Airbus has a 46% (largest) stake in Eurofighter Typoon, 37.5% in MBDA that builds all kinds of missiles, etc:

https://en.wikipedia.org/wiki/Airbus_Defence_and_Space

https://en.wikipedia.org/wiki/MBDA
Yes, I'm very nearsighted. I've worn progressive lenses for years but they continue to drive me crazy. I can see fine with them, but my eyes easily get fatigued and I have to take long breaks to get them to calm down.

Over the summer I added a pair of progressive occupational lenses (not reading glasses). They are focused arms length in front of me. This has been a complete game changer. I can now see my monitor crisply, clearly, and easily in a way that I haven't seen it in a decade.

When I swap back and forth between my regular lenses and my occupational lenses, the difference is stark. With my regular lenses there's a part of the screen that's about a half dollar coin in size that's clear and in focus. The rest of the screen is every so slightly blurry. I have to move my head to constantly adjust the focal point, or move my eyes and struggle to focus.

When I switch to my occupational lenses, the entire screen is clear. I don't have to move my head. I don't have to fight to focus. Where I look, it's crisp.

No wonder I was struggling! I was fighting to focus all day long. I suffer from almost no eye fatigue now. If my eyes are tired, it's usually because I'm tired and it's been a long day.

The downside is I now have to juggle two pairs of glasses instead of one, but that's oh so totally been worth it. I'm not going back.
Yes, but the solution is simple — get up and look at something further away than my screen. I rely on my eyes bothering me to tell me that I need to get up and move.
Here is one: how do you determine the threshold of a statistical test? For a parachute, you will want to have a very stringent safety threshold. But how high should it be?
Migrating from OpenAPI 3.0 to 3.1
It’s a very complicated issue, but I think, at its core, it’s because those other solutions just don’t work.

I mean, they work for a lot of people all the time. But they’ve existed forever, and over the past 50 years the obesity epidemic has only gotten worse.

Clearly, just offering things as available to people is not a systematic solution to this.
Zelensky's Approval Rating Surges After Heated Clash with Trump [video]
> The point is, you're not winding up with too little muscle because you lost weight

Imagine someone eating only candy and pastries, but because they eat so huge amounts, they actually get a half-decent amount of protein. Then they decrease portion size with the help of appetite suppresants.
Where is that happening? Unless you are talking about taxes, which are only yours if you believe that you made that (government-supplied!) money by yourself without infrastructure like plumbing, roads, schools and hospitals to educate and heal your employees, a strong legal system to enforce property rights…
What is a higher end optician and how do you find one?
The Conway's game of life example isn't so impressive. The network isn't really reverse engineering rules, it's being trained on data that is equivalent to the rules. It's sort of like teaching + by giving it 400 data points triplets (a,b,c) with 1 <= a,b <= 20 and c = a + b.
While I liked Win 7 more, I didn't mind Win 8.1. But convergence won't happen. Everyone is quick to forget that the devices are actually in different physical forms when interacting with them.

I think Gnome 3 is the most successful, because their utilities and first party apps have the right kind of compromise while not trying to enforce their view on other software workflow. iPad OS would have been great too, if they went for a free floating windows management and some widget redesign instead of the awkward stage manager.
Or progressives (aka bifocals.)
>>getting excited whenever a new version of DOS, and later Windows came out

And installing the new version required 20+ 3.5 inch 'floppies'
How many rungs of a ladder would you be willing to climb if you knew that each rung was made from half the previous rung?
WindHawk mod can do this. Made by the same dev as Win7+ Taskbar Tweaker
I've read several books on history of science. in none of them did a scientist started with a philosophical idea which resulted in scientific discovery. it's always the opposite. e.g., quantum mechanics was the result of physics thinking, but the philosophical take came after that.
I think the key difference between these two views on rights could be summed up as. One side sees rights as a moral sanction to an action in a social context. The other side sees a right as a moral claim to be fullfilled by someone.
AstroNvim, an aesthetically pleasing and feature-rich Neovim config
I think the biggest fear is lack of accountability.

We have already seen this causing real problems for real people. Please see Jeremy Howard's lecture on ethics in AI for some real world examples.
Buy some soup and vegetables and fruit in a can. If you are sick for 2 or 4 weeks, you are self-sufficient. Instead of relying on family at your door, potentially making them sick as well.
Gene-edited 'Woolly Mice' are a step towards de-extinction of Woolly Mammoths
Another thing ruined by the cell companies. They should be dumb pipes that don't even know what they're carrying.