MurphyA/hacker-news huggingface dataset:
by jasonthorsness | 2025-07-16 15:40:27+00:00
“A Chancery judge once had the kindness to inform me, as one of a company of some hundred and fifty men and women not labouring under any suspicions of lunacy, that the Court of Chancery, though the shining subject of much popular prejudice (at which point I thought the judge’s eye had a cast in my direction), was almost immaculate.”

Not too bad throughout, just a lot of embedded asides/commentary https://www.gutenberg.org/files/1023/1023-h/1023-h.htm#cP
by easterncalculus | 2025-07-16 15:40:37+00:00
I definitely didn't abbreviate WTF when I read that. It gets worse too.

“Gas looming through the fog in divers places in the streets, much as the sun may, from the spongey fields, be seen to loom by husbandman and ploughboy,” Dickens wrote. Claude takes a more direct path: “Gas lamps glow dimly through the fog at various spots throughout the streets, much like how the sun might appear to farmers working in misty fields.”

Claude doesn't even get this right. The sentence is comparing how the gas lamps and the sun appear to each other, how they both "loom". That's missing completely from Claude's summary.
by bodge5000 | 2025-07-16 15:40:40+00:00
I can get that Pythons not for everyone, it certainly has its flaws and maybe uv is just another transient solution which will come and go and others have. I might disagree, but I can accept that. What I can't accept is the idea that it should be avoided for real production environments, which is frankly a bit ridiculous considering all the real applications and real production environments running on Python.
by schiffern | 2025-07-16 15:40:58+00:00
>it would make sense to make a law that requires new parking spaces to have a solar roof... This would spread rather quickly, I think.

"If we threaten people with the state monopoly on violence, they'll do that thing I want."

Sure, probably true!

If solar parking lots are such a great idea, why do you need the threat? It seems like businesses or environmental groups would already be clamoring to install them.

PV parking is a highly visible status symbol and good PR signal for your community or company (hence the few installations), but actually it isn't a great RoI either financially or for the environment.
by swagasaurus-rex | 2025-07-16 15:41:23+00:00
This isn’t a western view, it’s literally how the majority of the world still operates. Marriage is not an abrahamic invention, it happens in eastern cultures, middle eastern cultures, african cultures, it’s basically universal.

Before contraceptives sex outside of marriage results in children born out of wedlock. This is catastrophic for the mothers, their families, and for the child.

In the past they used to build temples dedicated to Moloch for sacrificing unwanted babies. The Israelites looked down on this practice, and instead insisted on marriage with rules: thou shalt not commit adultery, thou shalt not covet thy neighbor’s wife. These rules were crucial for social stability.

Why is marriage and punishment for adultery universal? Because a two parent household is the only healthy way to raise kids and ensure wealth is preserved between generations. This has always been true.
by throwaway2037 | 2025-07-16 15:41:58+00:00
> Only thing that keeps me here are best gun laws in EU (I have Glock, AR15 clone, Bren3 ordered), you can conceal carry nearly everywhere, you can even use gun for self-defense, sadly very low criminality here :)

Wild. I had no idea you can do this in continental Europe. I found this map on Reddit: https://www.reddit.com/r/europe/comments/11qkksb/concealed_c...
by HarHarVeryFunny | 2025-07-16 15:42:15+00:00
OK, so maybe we're talking somewhat at cross purposes.

I was talking about the process/mechanism of reasoning - how do our brains appear to implement the capability that we refer to as "reasoning", and by extension how could an AI do the same by implementing the same mechanisms.

If we accept prediction (i.e use of past experience) as the mechanistic basis of reasoning, then choice of logic doesn't really come into it - it's more just a matter of your past experience and what you have learnt. What predictive rules/patterns have you learnt, both in terms of a corpus of "knowledge" you can bring to bear, but also in terms of experience with the particular problem domain - what have you learnt (i.e. what solution steps can you predict) about trying to reason about any given domain/goal ?

In terms of consistent use of logic, and sticking to it, one of the areas where LLMs are lacking is in not having any working memory other than their own re-consumed output, as well as an inability to learn beyond pre-training. With both of these capabilities an AI could maintain a focus (working memory) on the problem at hand (vs suffer from "context rot") and learn consistent, or phased/whatever, logic that has been successful in the past at solving similar problems (i.e predicting actions that will lead to solution).
by cyw | 2025-07-16 15:42:25+00:00
Totally fair, appreciate the honesty. we’re still building and not quite ready yet, but wanted to start getting feedback early so we can build something people actually need while we fix our own pain point.

Also, yes — I did use AI to help clean up my comment because English isn’t my first language, and I didn’t want it to come across sloppy. I get how it might’ve made it sound kinda off. thanks for pointing it out.
by Calzifer | 2025-07-16 15:42:35+00:00
> I understand that search bar position is not changeable by theming,

It is changeable. With enough dedication you can go a long way just with CSS.

In this case it is even rather easy because the "unified toolbar" the thing containing the search box, the menu bar (if shown) and the tab bar are three elements in the same flex box. They can be reordered by setting the order property.

Only downside in this case is that (if client side decoration is not disabled in the settings) the window buttons (close, minimize) are also part of the unified toolbar and would end (without further fixes) below the tab bar.

As a quick (and dirty) experiment I moved the tab bar left to the search bar in the same row just with:

#titlebar { flex-direction: row; > unified-toolbar { order: 2; width: 50vw; } #tabs-toolbar { order: 1; width: 50vw; } }

And a hacky way which often works good enough is to reposition and hardcode stuff with position:absolute/fixed/sticky.

Finally Thunderbird's own customization dialog can be used to fill the empty space around the search bar. By default it has a spacer left and right but that is easy to change even without custom CSS.
by flohofwoe | 2025-07-16 15:42:40+00:00
The problem is, for that to happen Vulkan must be convenient and enjoyable enough to use that people are willing to put their free time into such middleware layers, otherwise it mostly won't happen (unless Valve is willing to sponsor the development - because outside of Valve's effort to make Windows games run on Linux via layering D3D on top of Vulkan, Vulkan is actually quite irrelevant).
by fatbird | 2025-07-16 15:42:43+00:00
I have a cousin who went through many years, from her teens on, of anorexia, bulimia, and substance abuse. Somehow she still managed to become a vet with a decent career, with parents actively supporting her in getting different treatments.

The one treatment that finally broke the hold of her eating disorders was a live-in program at a hospital where all they did was, as a group, prepare and consume three square meals a day. It was like nutrition 101 coupled with some basic household management. Her words: "It had never been laid out like that for me, and I just didn't know it."

Does that mean it would work for your daughter? Maybe, but one obvious thing was that it was the right treatment at the right time for my cousin. A decade earlier she'd probably have blown it off or missed the point. The only thing I can say worked for her, is her and her family not giving up, hanging on and trying different things, until some magical combination of action and receptiveness met up.

As a friend to others with similar issues, I've seen the same thing: it's usually a lucky combination of action and circumstance. No treatment is guaranteed, no approach failproof. As you observe, the human brain is, in large part, a bunch of coping mechanisms (most therapists these days would nod excitedly at that understanding). It's not reasoning, it's reflexive defensives, and can take a long time to untangle.

Don't lose hope, and keep trying. And consider counselling for yourself and your spouse. This is traumatizing to you too, and getting support yourself to keep at it also helps.
Show HN: Seal.codes – Verify content authenticity right in the browser
by utsavanand2 | 2025-07-16 15:42:53+00:00
Ever wondered whether an image you see on the web was actually created by the person who posted it?

We built a tool that lets you prove your content is authentic, and it runs right in your browser. No blockchain or complex security systems needed - just QR codes linked to your social accounts.

By doing all the work in your browser instead of our servers, we keep your data private and our costs low. That's why we can offer it for free to everyone.

The QR codes work like old-fashioned wax seals - they show when something's been tampered with. If someone changes the content, the seal breaks automatically.

Try it at seal.codes – we'd love your feedback on this simple approach to digital trust.
by os2warpman | 2025-07-16 15:43:07+00:00
Every bit per second that a WAN connection is slower than a CPU interconnect is too slow and that's only half hyperbole.

But I'm a realist so I'll take what I can get.

As your remote resources get faster and faster you start using them more like local resources, which can change (often for the better) how you do things.

If all you're doing is watching netflix then 25mbps per user is probably fine.

If you're working or creating or earning, then you want your connection to be as fast as possible, your distant end to be as fast as possible, and the hardware in between to be fast as possible.
by scarface_74 | 2025-07-16 15:43:30+00:00
[Context: this isn’t bragging my wife and I got rid of everything we physically owned and downsized so we could do this.

https://news.ycombinator.com/item?id=44159562]

We travel so much, we keep things as “simple” as possible - Hilton and Hyatt brand hotels 95% of the time, Delta for domestic flights and preferably Delta or SkyTeam (AirFrance, Virgin Airlines, etc) for international flights. We have status with Hilton, Hyatt and Delta (Platinum Medallion) and Delta lounge access. Of course we have TSA Precheck and Clear.

We found a couple that runs a few AirBnbs in Costa Rica for our winter stays there starting next year.

In october 2022, my wife and I got rid of everything we owned that wouldn’t fit in 4 suitcases, sold our cars, rented our home [1] out to our adult son (and two of his friends that we considered family) and flew one way trips to 15 different cities until landing in our then second home [2] in Florida. We did all of the planning via a shared Google Sheet on our phone, the Delta and American airline apps and Hilton and Hyatt hotel apps.

During the past 7 months, we’ve had trips to Vegas, Costa Rica, 4-5 flights back home to ATL, a few flights to see my parents in south GA, DC, London and Niagara Falls Canada, we still have a few trips back to Atlanta and to see my parents this year.

While we are doing all of this traveling together, my wife flies to conferences and I did travel semi frequently for business as a consultant but that has died down.

At the same time, I’m managing the best use of Delta Skymiles, when to transfer points from Amex to AirFrance to get cheap domestic flights on Delta (check out r/awardtravel), Hilton points, Hyatt points either directly or by transferring from Chase. These are all using the apps.

I have a Google sheet to keep track of various credit card perks (Delta stays credits, companion passes, etc)

I have a spreadsheet with tabs for the next couple of years plans - next year we are staying in Costa Rica for a 45 days in an Airbnb and 3-4 cities domestically during the summer and a couple of other random domestic flights during the year.

I am also keeping track of my budget, when is the best time to “nomad” based on potential rental income from my home [2].

While we have one account for hotels and a shared calendar, miles flying are based on “butts in seat”, whoever flies gets the miles. But you can book flights for others using your miles. We juggle those together too.

This is all from our phones usually at night.

We really have this down to science after 3+ years.

[1] we sold our primary home last year

[2] our current home is a unit in a condotel (https://www.investopedia.com/terms/c/condotel.asp) we own. When we leave for months at a time, we just pack everything we own in 4 suitcases and store what we can’t in our one car - like my “desk” which is just a card table.

We then put our unit in the rental pool and get income whenever someone stays in our unit. That covers our mortgage and all inclusive HOA fee. But that really only works in March - mid April (spring break), during the summer and the last two or three weeks of the year.
by BLKNSLVR | 2025-07-16 15:43:58+00:00
Over-exercising is also a symptom of anorexia. A kid in the same ward, 12 or 13 years old, presented anorexia by obsessively exercising.

The desire to take it past the breaking point definitely puts them in dangerous-thinking territory.

At 18, though, I'm not sure how much help you can force on them. I'm vaguely concerned that, if my daughter has issues past 18 then what can a parent force given we're no longer a legal guardian? Could she call the police and we're arrested for some kind of restriction of liberty or kidnapping or something? She has literally said that she can't wait until she's 18 so she can leave and follow this starvation pursuit outside of our influence.

(the disease is horrible in that they literally are thinking and believing these things and there is no way to reason with "it" that doesn't reinforce the position - this is the first thing I've come across where logic and rationalisation are useless tools).
by BizarroLand | 2025-07-16 15:44:52+00:00
The 1836 being my BMR was discovered by going to a dexafit clinic and getting a BMR calorimetry scan. I had assumed based on weight and age that my bmr was 2100ish, so I was setting my daily calories at 1600 + whatever I burned through exercise.

When that all comes out in the wash, that meant that I was only burning 200ish calories a day, so it would take almost 3 weeks to lose a pound.
by scblock | 2025-07-16 15:44:57+00:00
This is one of the worst ideas I've ever seen.

> Mercedes‑Benz and Microsoft are also working together to integrate Microsoft 365 Copilot into the latest vehicles. This will be one of the world’s first application of its kind in a car and will help users prepare for upcoming meetings with the aid of advanced AI. Using voice prompts, drivers can summarise emails, retrieve or query client preferences and details, and manage daily tasks without distraction. Microsoft 365 Copilot has the potential to transform the vehicle into a third workspace, complementing the office and the home office.

Drivers are already dangerous enough.
by bluGill | 2025-07-16 15:45:08+00:00
In the 1990s mainframes got so stable and redundant that some were not rebooted in over a decade - they could even upgrade the kernel without rebooting. Then one company had a power failure andthe backup generators failed. When the power came back it was months before they figured out everything it was doing and then how to start that service where the guy who started it originally quit years ago.

most companies started rebooting the mainframe every six months to ensure they could restart it.
by Demiurge | 2025-07-16 15:45:46+00:00
From their homepage:

> How Quad9 protects your privacy?

> When your devices use Quad9 normally, no data containing your IP address is ever logged in any Quad9 system.

Of course they have some kinds of logs. Aggregating resolved domains without logging client IPs is not what the implication of "Quad9 is reselling the traffic logs" seems to be.
by chowells | 2025-07-16 15:46:01+00:00
Actually, I think what you really need is "i++ != end". The whole point was inequalities don't work how you want when end is INT_MAX. You want to just terminate after the loop body where i was equal to end. Except now I'm not sure if that evades the UB of a signed int exceeding INT_MAX. I don't know C well enough to know if the UB is in performing the increment or reading the value afterwards.

Edit: Just checked in with a C expert. The UB is in the increment operation, so that's not correct after all. You really do just need to separate out the update from the test entirely.
by charcircuit | 2025-07-16 15:46:45+00:00
>it dynamically downloads the programs using apt-get.

And then runs them as the Termux app. I didn't mean to imply that it put all of the apps into itself at build time.

>Android app for each binary is difficult to work with.

You could group multiple binaries that belong to a single conceptual app into a single android app. What do you think would make it difficult to work with? I think most of it could be automated away.
by riedel | 2025-07-16 15:46:52+00:00
I am giving a lecture on context sensitive systems. One thing where all this context awareness failed was getting it into higher level reasoning and adapting program logic (think for example the android activity API). I was just telling the students that with MCPs as interface to all the context sources (like sensor based activity classifiers but definitely also time) we might overcome that challenge soon. Cool to see starting to implement that kind of stuff...
by p_l | 2025-07-16 15:47:06+00:00
Part of the issue was that there are multiple FIPS-140 versions, and the Go support is for FIPS-140-3, which is honestly quite updated and less annoying. To the point I actually recommended running our entire environment (for a pretty big cloud company) FIPS-140-3 mode (maybe not fully compliant for everything, but essentially going with "FIPS-140-3 as default but outside of FedRAMP we're not going to consider it a breaking change if it doesn't pass") because the only thing we might really be missing was ChaCha ciphers which mainly would impact clients running from mobile devices or otherwise lacking in power/AES accelleration... and we had no such clients
by neuroplots | 2025-07-16 15:47:18+00:00
Even worse, there are a lot of writers I know who go through the publishing process and the first person to actually read the manuscript is the copy editor. You’d think people in publishing read, but no…

A landmark study of this, pertaining to literary agents, was just published today: https://antipodes.substack.com/p/literary-agents-dont-read-h...
by MichaelRo | 2025-07-16 15:47:18+00:00
Well, when I was a kid in the 80s in communist Romania, life was a lot similar to 19th century than what someone in Western countries was experiencing. No TV (obviously no computers), so most significant form of entertainment came from reading primarily. I never read "classics" or the books that were on school's compulsory list but I did read anything I could get my hands on and looked entertaining. I recall seeing the movie https://www.imdb.com/title/tt0065207/ first time, some time after the fall of communism and invasion of cable TV and thinking, "I know this story!" because I read the book like 5 times, without knowing there's a movie too.

Anyhow, short answer to: "What's Happening to Reading?": it's being replaced by video content as primary source of entertainment. Main drive behind mass reading was amusement, not practicality. Now that amusement no longer requires (much) reading, the general level of literacy of the public is not exceeding that.
by BLKNSLVR | 2025-07-16 15:47:34+00:00
We're currently preparing to both go part time to support her basically 24/7 when she's discharged from hospital, likely in a couple of weeks.

Agree 100% that chances of beating it improve significantly with full family support, so that's what we're planning.

I'm fundamentally an optimist, and plan to remain so in the face of anything and everything.
by creshal | 2025-07-16 15:47:36+00:00
Screens are huge, that's why I want to take advantage of it and fit more windows on them, not less. But with how foamy modern apps are, it can be a struggle to have two windows side by side on a 2560px wide 27" screen and not have content cut off that would've been perfectly visible on an 800px screen 20 years ago.
by yndoendo | 2025-07-16 15:47:36+00:00
Only means might be cultural. Security conferences such as DefCon or Black Hat create list of insecurely technology that is ubiquitousness and ignored by product designers and OEMs. Vote on ranking their priority and when they should be removed.

News would latch on to "Hacks say all computers without ECC RAM are vulnerable and should not be purchased for their insecurity. Manufacturers like Dell, Asus, Acer, ... are selling products that help hackers steal your information." "DefCon Hackers thank Nvidia for making their jobs easier ..."

Such statements would be refreshed during / after each security conference. There are over 12 conferences a year, about once a month these would be brought back into the public as a reminder. Public might stop purchasing from those manufacturers or choose the secure products to create the change.
by dang | 2025-07-16 15:47:36+00:00
Related. Others?

Solved? The Roman Dodecahedron [video] - https://news.ycombinator.com/item?id=40960287 - July 2024 (2 comments)

The Mysterious Roman Dodecahedron Was Possibly Just for Knitting - https://news.ycombinator.com/item?id=40959715 - July 2024 (0 comments)

The Enigma of the Roman Dodecahedron Is Revealed - https://news.ycombinator.com/item?id=40853737 - July 2024 (2 comments)

Roman Dodecahedron - https://news.ycombinator.com/item?id=40829091 - June 2024 (1 comment)

'Great enigma': Amateur archaeologists unearth mysterious Roman object - https://news.ycombinator.com/item?id=40205014 - April 2024 (1 comment)

Another Roman dodecahedron has been unearthed in England - https://news.ycombinator.com/item?id=39102069 - Jan 2024 (381 comments)

The mysterious dodecahedrons of the Roman Empire - https://news.ycombinator.com/item?id=35937540 - May 2023 (99 comments)

No one is certain what Roman bronze dodecahedrons were used for (2018) - https://news.ycombinator.com/item?id=29717215 - Dec 2021 (207 comments)

What were these Roman objects used for? - https://news.ycombinator.com/item?id=25237271 - Nov 2020 (37 comments)

The Mysterious Bronze Objects That Have Baffled Archaeologists for Centuries - https://news.ycombinator.com/item?id=21439351 - Nov 2019 (7 comments)
by whiatp | 2025-07-16 15:47:39+00:00
CF had their route covered by RPKI, which at a high level uses certs to formalize delegation of IP address space.

What caused this specific behavior is the dilemma of backwards comparability when it comes to BGP security. We area long ways off from all routes being covered by rpki, (just 56% of v4 routes according to https://rpki-monitor.antd.nist.gov/ROV ) so invalid routes tend to be treated as less preferred, not rejected by BGP speakers that support RPKI.