MurphyA/hacker-news huggingface dataset:
by lkuty | 2025-11-13 20:20:35+00:00
I only read the first 88 pages of Prolog Programming in Depth but I found it to be the best introductory book for programming in Prolog because it presents down to earth examples of coding like e.g. reading a file, storing data. Most other books are mainly or only focused on the pure logic stuff of Prolog but when you program you need more.

Another way of getting stuff done would be to use another programming language with its standard library (with regex, networking, json, ...) and embed or call Prolog code for the pure logic stuff.
by testing22321 | 2025-11-13 20:21:03+00:00
Of course healthcare is just one example of many, and as I said originally, yes I’m generalizing a very large country and population.

I’m giving my observations over 20 years in Canada and exploring the us extensively.

> so you do get to pick and choose which version you'd like to be part of.

Thank you, you have proved my point better than I did.

You literally just said “there are parts of the country where my fellow countrymen, People who make the country function, have families , hopes and dreams have a crappy life. I just choose not to be there”

That is my point exactly. The us is not a community where people care for each other. They just ignore or move away if they can.
by chimeracoder | 2025-11-13 20:21:33+00:00
> Vehemently disagree. I would much rather take our most contentious issues (abortion, M4A, etc) put them on a national ballot and let the general public decide

The problem with true direct democracy isn't how people would handle high-level issues that are direct reflections on people's basic values and principles, like the two examples you mentioned.

The problem with true direct democracy is that every single person becomes responsible for understanding the intricacies of mundane-but-critical details of administration, like the third-order effects of specific tax policies, or actions that are currently delegated to executive agencies.

Except in the extremely small scale, it quickly becomes prohibitive to reasonably expect all those people to be able to make informed decisions about all the necessary parts.
by jdc0589 | 2025-11-13 20:22:05+00:00
I agree. I don't, and never will, trust politicians (of any party) to actually represent their constituents accurately. I understand everything can't be a direct democracy, but we need some sort of a middle ground.

It's really weird to think about. I am a straight white CIS male, with no extreme political or social views, my family has been in the US for 150 years, im financially well off, and I don't feel like I have accurate trustworthy representation in government at any level. I am the person that everyone says is over represented
by unethical_ban | 2025-11-13 20:22:08+00:00
A plant that literally cannot kill someone via overdose. Intoxication at a fraction of the cost of alcohol. Less trackable by law enforcement. More potential medical benefits: Sleep aid, anxiety and PTSD treatment, appetite stimulant for cancer victims. Safer and simpler to harvest/produce than alcohol.

So let's re-ban it after six years and the creation of a multi-billion dollar industry. The wrong people were making money.

Literally no one wants this ban except people paid off by alcohol lobbies, and religious extremists (who are usually using that as a cover for their bribery from the alcohol lobbies).
by pwg | 2025-11-13 20:22:37+00:00
You have essentially described the current US Senate/House as it was originally set out in the constitution.

One group of limited seats, with equal seats per state (the Senate). This is the "guarantee of at least X seats" to each state part.

A second group with the number of seats determined directly by population (the House). This is "the rest set ... according to census data on population".

One big change along the way was an amendment that capped the size of the House at 435 members to avoid it growing ever larger as the population expanded. Now the 435 are allocated to the states based on population.
by resfirestar | 2025-11-13 20:22:52+00:00
It's like writing an essay for a standardized test, as opposed to one for a college course or for a general audience. When taking a test, you only care about the evaluation of a single grader hurrying to get through a pile of essays, so you should usually attempt to structure your essay to match the format of the scoring rubric. Doing this on an essay for a general audience would make it boring, and doing it in your college course might annoy your professor. Hopefully instruction-following evaluations don't look too much like test grading, but this kind of behavior would make some sense if they do.
by lrvick | 2025-11-13 20:23:19+00:00
I think even brilliant cryptographers can be wrong, or acting on strong biases formed from a limited perspective. In this case I think they have not thought about personal cryptographic key management and how people use tools like PGP in the wild well enough.

An engineer coming from a corporate world where everyone is comfortable with a model of centralized backups, centralized identity, and centralized trust is going to have a very different perspective than say, a Linux distribution maintainer, or those maintaining they core backbone of the internet.

I am closer to the latter camp, and obviously have my own biases here, but in spite of them I package Age in stagex, and we support it in keyfork, just so people have choices. Choices are always a good thing.

That said, it is my opinion that age does not even begin to approach the threat model or use cases PGP solves for. It does one thing, and it does not even do that thing as well as PGP does in most situations I can think of.

Just because someone is experienced in cryptography does not mean they have had significant exposure to environments where decentralized identity and trust are a hard requirement and where no alternatives to PGP exist, and where there is no customer service or IT team to bail you out, which really changes how we tend to think about these problems.

In my experience cryptography engineers that work on decentralized open source systems like Tor, blockchains, Linux distributions, etc, tend to strongly favor solutions like PGP as not "good" but the "least bad" option to avoid any single point of trust or failure.

Those that have spent their careers in the proprietary FAANG world tend to support using solutions like Fulcio or sigstore and using OIDC to let a central party sign for you with "keyless signing", which to me, is total nonsense. I assume anything that I cannot verify the integrity of for myself to be compromised.
by colechristensen | 2025-11-13 20:24:02+00:00
"narcissist", "ego centrical", "very beautiful gesture", "Part of being mature"

Just tone it down. Nobody deserves the joy of giving you a gift if they don't want stuff, being so mad about it is selfish and lacking empathy. "Maturity", since you bring it up, is respecting somebody's preferences and not diagnosing them of a personality disorder because they don't want to participate in something the same way you do.

When somebody says they don't want gifts, the correct response is not "you're a narcissist".
by iparaskev | 2025-11-13 20:24:18+00:00
With zed you can also share your screen in the editor which makes it a bit better, but still you can't take control of the other machine.

IMO if you only care about coding doing it in the editor is the best approach, you get zero latency and have all the context that you need (most of the times). But if you want to do more, like opening the browser for whatever reason, or teaching how to use a specific cli, etc, then taking control works better.

If you liked pop you might like gethopp.app, which is an OSS pair programming app (full disclosure I am the co-maintainer). Unfortunately because we have chosen tauri for the frontend we can only support macos and windows, but I am working on a solution for Linux too.
by bgwalter | 2025-11-13 20:24:22+00:00
These are still tasks that I don't mind doing myself. I want the clanker to scrub the kitchen floor, paint walls and clean the toilet, perfectly.

But that is unlikely to happen. They'll be used for crowd control (which works because they look intimidating) and surveillance. Perhaps they'll also supervise humans that scrub the kitchen floor. Most likely they'll fail entirely.
by bigstrat2003 | 2025-11-13 20:24:44+00:00
The Senate is one of the only things keeping the country from becoming a tyranny of the top N biggest cities over everyone else. We need it, or something like it. People in coastal cities openly hate the rest of the country, derisively referring to it as "flyover country"; there is zero chance that people in such states would have their needs met in the slightest under your system.

The real biggest problem in the US is the steady power grabs by the federal government (most notably by FDR but he wasn't the first and certainly wasn't the last). The federal government has far too much power, completely illegally under the Constitution, and it causes most of the acrimony in US politics. You simply cannot have one central body adequately meet the needs of both NYC and rural Wyoming, but we are determined as a society to keep jamming that square peg into the round hole. We desperately need to dismantle power from the federal government and return it to the states, who should've held it all along.
by Arch485 | 2025-11-13 20:24:57+00:00
I'll throw in my $0.02, as a fellow zoomer. I care about the things that are mine (as in, my code, my decisions, etc. etc.). But if management fucks up and tells me to fix it, there is no amount of money that will make me care. Especially if I advised management _not_ to do that in the first place.
by mrguyorama | 2025-11-13 20:26:10+00:00
> wildly popular things, like legalizing marijuana, are not even considered by anyone in congress?

Because it's not "not considered by anyone".

Democrats have been demonstrably decriminalizing and legalizing weed all over the country, and the Democrats in the federal government have been pushing and submitting and trying to make it happen.

It's republicans. They are the ones that continually stonewall a measure the vast majority of their constituents support, and they are the ones that somehow still get elected despite that.

Show me the democrats preventing legalization of weed federally.

Show me the democrats who invite cop associations to talk at their meetings about how dangerous weed is. Show me the democrats who are taking money from cop associations or prison lobbying organizations who very explicitly want to keep weed illegal.

Stop overgeneralizing! It's literally how things are this bad! Blame who is actually at fault!
by johnisgood | 2025-11-13 20:27:23+00:00
Oh well, let us just agree on that comparing Age to GPG is silly, ergo "Switching from GPG to Age" is silly, unless it is "Switching from GPG to Age for file encryption".

Age doesn't do signing, key infrastructure, or email. Minisign/signify only sign. None are GPG replacements. They're partial feature subsets that are simpler because they do less.

So, to summarize these tools:

- Age: Only does file encryption, no signing, no key management infrastructure, no email integration

- Minisign/Signify: Only signing, no encryption

- GPG: Encryption, signing, key management, email integration, multiple recipients, subkeys, revocation certificates, web of trust (even if unused), smart card support, etc.

You cannot just simply switch from GPG to Age unless you are only doing file encryption. If this is the case, then sure, you can.
by prymitive | 2025-11-13 20:27:41+00:00
Speaking of GitHub issues if you go to Insight->Traffic in your repo you’ll most likely see this banner:

“ Referring sites and popular content are temporarily unavailable or may not display accurately. We're actively working to resolve the issue.”

It’s been like that for months now with no sign of anyone working on it. They just don’t care about user experience anymore.

https://github.com/orgs/community/discussions/173494
by mads_quist | 2025-11-13 20:28:25+00:00
You'll have planned downtime just for upgrading MongoDB version or rebooting the instance. I don't think that this is sth you'd want to have. Running MongoDB in a replica set is really easy and much easier than running postgres or MySQL in an HA setup.

No need for SREs. Just add 2 more Hetzner servers.
by constantcrying | 2025-11-13 20:28:39+00:00
>I'm asking what compels Joe Shmoe SWE to pontificate on things they haven't been asked by anyone to pontificate on.

The Internet is absolutely full of this. This is purely your own bias here, for any of the trades you mentioned try looking. You will find Videos, podcast and blogs within minutes.

People love talking about their work, no matter their trade. They love giving their opinions.
by Pfhortune | 2025-11-13 20:28:41+00:00
> "They sold cheap" as soon as they encountered some hardship

Nobody is perfect, and running a small hardware startup is difficult. I'm not saying Eric and co are perfect, but it seems like he's been fairly forthright about the mistakes made at Pebble[1] and what Core aims to do better.

Shit happens, people make mistakes, Apple/Google decide to compete with you and/or lock you out of parts of their garden.

[1] https://ericmigi.com/blog/success-and-failure-at-pebble
by newtrino | 2025-11-13 20:29:12+00:00
Location: Berkeley, CA, USA

Remote: Yes (preferred but also open to hybrid/onsite)

Willing to relocate: No

Technologies: Python, TypeScript/JavaScript, Go, React, React Three Fiber, PyTorch, TensorFlow, PySpark, GraphQL, Express.js, Vite

Resume: https://newtrino.ink/Resume.pdf

LinkedIn: https://www.linkedin.com/in/nishanth-jayram/

Email: nishanthjayram@gmail.com

About Me: - Developer with experience in machine learning, data science/engineering, and full-stack development

- Currently at Mastercard, where I've worked on developing a recommendation system to match cardholders with personalized merchant offers

- Built models to handle transaction/redemption forecasting

- Developed internal dashboards to visualize model performance metrics, combining full-stack and data science capabilities

- Looking for ML or full-stack / front-end roles

In my spare time I like to play guitar, photograph birds, and watch old episodes of Carl Sagan's Cosmos.
by dashundchen | 2025-11-13 20:29:39+00:00
I disagree with your premise that agricultural and extraction workers have some higher intrinsic value compared to urban dwellers, but even if you accept that premise, it is immediately undermined by California.

California is an both a service economy and agricultural powerhouse, the number one producer of agricultural value in the US by far. Other states with heavily urbanized populations like like Texas, Illinois, Minnesota, Wisconsin all produce a ton of agricultural value.

Are you saying that California deserves more representation for having a lot of farms then?

Not to mention as agriculture and resource extraction industrialized and has automated, its required a smaller percentage of the labor force than ever before.

So why should the industrial base of a state have anything to do with how well citizens are represented?
by freetime2 | 2025-11-13 20:30:02+00:00
The article also says that the effects persist after adjusting for BMI:

> After adjusting for age, body mass index (BMI), disease severity and other health factors, GLP-1 users still showed significantly lower odds of death, suggesting a strong and independent protective effect.

The observed reduction in mortality is also quite large:

> Health sites, researchers found that those taking glucagon-like peptide-1 (GLP-1) medications were less than half as likely to die within five years compared to those who weren’t on the drugs (15.5% vs. 37.1%).

More research is needed, but if I were diagnosed with colon cancer I would definitely be asking my doctor about the risks vs. potential benefits of getting on GLP-1 meds based on this study alone.
by petcat | 2025-11-13 20:30:16+00:00
At this point I feel like it's no longer an uphill climb to get Rust into foundational, mission-critical code adoption. The benefits are so obvious. Maybe it's just a lingering religious war?

In any case, I'm glad we're seeing more and more evidence and case-studies of why "rewrite it in Rust" isn't just a meme.
by kelseyfrog | 2025-11-13 20:30:54+00:00
I don't know how to say this in a way that people will believe, but unless the patriarchy is dismantled in the next 25 years, the US will cease to exist because women will have simple withdrawn from the social process. Why continue to create new people to throw into the financial/social/political woodchipper that is the US when opting out of it will eventually cause it to end in demographic collapse? If you want to save it, make it worth saving.
by khedoros1 | 2025-11-13 20:30:56+00:00
I went from Ubuntu to Mint around the same time on my laptop. I took my desktop from Ubuntu to Fedora. A later laptop followed it, because I was tired of the little differences.

Ubuntu is completely off my radar too. So many dumb things that often lasted a few releases. Like ads for their cloud services, Unity for a while, window controls on the left for a while...

My biggest problem with Mint was that upgrading the OS became a hassle if I put it off for too long (which I started doing after a not-so-smooth upgrade experience, one release).
by pwg | 2025-11-13 20:31:04+00:00
> What mechanism causes the senate to be more resilient to those issues than a unified Congress?

The Senate is limited to two seats per state. With the current 50 states, that makes 100 members. So only 51 seats need vote against a bill they feel would harm their states. As the Senate is divided up, a very populous state (California) receives two, just like a very small state (Delaware) receives two, so each is on "equal footing" with the other states. [note that "small" here refers to population, not land area]

If everyone was all mixed together into one bowl, then a populous state like California (52 house seats, plus 2 senators for 54) is 22% of the total votes needed for a simple majority, all by themselves.
by aeturnum | 2025-11-13 20:31:21+00:00
It's not something I am excited about, but it is something I want my IDE to do well if I must engage with it. Other remote pair programming experiences are even worse and I appreciate Zed's capability in the area even if it's not what I prefer.

A lot of my IDE choices are about extensibility and flexibility more than perfection for my preferred coding approach. After all, until I only work for myself I need to be ready to accommodate the needs of others as part of my job.
by azinman2 | 2025-11-13 20:31:30+00:00
Literally too much water or aspirin can kill you. Some people are allergic to avocados. Driving kills huge numbers of people daily. Everything is about risk/reward, and looking at the macro picture. And right now the comorbidities for obesity are terrible in huge absolute numbers… something that GLP-1’s can take down in significant magnitude. Unless we learn that the majority of users end up with something worse than obesity, they’re a huge win for public health.
by Terr_ | 2025-11-13 20:31:40+00:00
Equal State representation in the Senate is on the shortlist of things that is practically impossible to amend [0], but I propose a workaround:

Amend the state-formation rules [1] so that any state may subdivide without Senate approval, provided that (A) it occurs entirely within its existing borders and (B) no subdivision is smaller (less-populous) than the smallest current state.

This means small states don't have to give up their disproportionate representation in the Senate... but they cannot use that power to monopolize it either. Any state above a certain size (>2x the smallest) may decide that its constituents are best-served by fission.

For example, if California really wanted to it could split into anywhere between 2-67 states with just approval from the House of Representatives. Due to diminishing returns, the higher numbers are rather unlikely.

This satisfies Article V, Section 5, since no state is being deprived of "equal suffrage": Each state has 2 senators, just like before.

[0] https://constitution.congress.gov/constitution/article-5/

[1] https://en.wikipedia.org/wiki/Admission_to_the_Union
by yannyu | 2025-11-13 20:31:59+00:00
Social media is just a portion of the problem though. As parents, we hear from our kids and other parents about how children all over the country are desperate to get their hands on a smartphone, and we have conversations about the right time to get them a phone, what functionality that phone should have, how much parents should monitor it, etc.

When you ask the kids why they want a smartphone, typically the main two reasons are to be able to communicate with friends and to be present on social media. A child's experience is that socializing is done through texting, video calls, and social media now, rather than being in-person at a park, store, or cafe.

When you ask parents why they gave their kids a smartphone, typically parents will cite the socialization reason above, as well as safety and "not wanting their kids to fall behind". Many parents believe it's in their and their child's best interest to have the ability to monitor where their child is and what their child is doing and are willing to go along with the socialization thing to achieve that.

Social media is a part of the problem, but the underlying problem for children is that many aren't able or willing to socialize outside of devices, and the underlying problem for parents is that they aren't able or willing to let their children be out of communication for long periods of time.

It isn't just that social media is a problem, it's that we have cultivated a world where children, parents, and cities/governments see personal devices and social media as the best available solution for the intersecting problems of community, socialization, and safety.
by lazide | 2025-11-13 20:32:04+00:00
You have a huge, huge misunderstanding of how direct democracy turns out.

Everyone with a job gets inundated with bullshit, even eventually stops showing up (or paying attention) because it’s impossible to live and actual do that.

So then you end up with nut jobs doing whatever they want while having the votes because they are the only ones who show up at 11am on a Tuesday when the daily vote is happening.

Apps just tiktok’itize the whole process.
by bogomipblips | 2025-11-13 20:32:18+00:00
You are obviously someone who would appreciate pedantic style educators. The average customer is not at all appreciative of not being met where they are which tends to lead to an expert using AI as short for OpenAI, etc, with the customer unless they use a careful hedging..

Similarly if they participated in all the early arguments about where your models would be located then they have no idea now that they are fed up with the endless thread of subtle change requests.
by sjs382 | 2025-11-13 20:32:53+00:00
I think you're referencing https://kite.kagi.com/

In my view, it's different to ask AI to do something for me (summarizing the news) than it is to have someone serve me something that they generated with AI. Asking the service to summarize the news is exactly what the user is doing by using Kite—an AI tool for summarizing news.

(I'm a Kagi customer but I don't use Kite.)
by dnemmers | 2025-11-13 20:33:02+00:00
I’m sure other manufacturers are very happy to have Samsung bear the load of bad PR by leading the charge in Ad ‘supported’ appliances.

After initial outrage cools, it’ll be a race for everyone else to catch up.

Not a chance shareholders won’t push for the extra revenue ($$$) regardless of what happens to consumers.

Once basically all manufacturers move to this model, consumers will be trapped for good.