MurphyA/hacker-news huggingface dataset:
by jychang | 2026-01-22 10:29:08+00:00
> But Principia Mathematica was (to a significant degree) a dead-end in the history of mathematics. Most practicing mathematicians have rejected PM's type theory in favour of simpler axiomatic systems such as ZF(C). Even many professional type theorists will quibble with some of the details of Whitehead and Russell's type theory, and argue there are superior alternatives. And you are effectively assuming a formalist philosophy of mathematics, which is highly controversial, many reject, and few would consider "proven".

Yeah, exactly. I intentionally set that trap. You're actually arguing for my point. I've spent comments writing on the axioms of geometry, and you didn't think I was familiar with the axioms of ZFC? I was thinking of bringing up CH the entire time. The fact that you can have alternate axioms was my entire point all along. Most people are just way more familiar with the 5 laws of geometry than the 9 axioms of ZFC.

The fact that PM was an alternate set of axioms of mathematics, that eventually wilted when Godel and ZF came along, underscores my point that defining a set axioms is hard. And that there is no clear defined set of axioms for philosophy.

I don't have to accept your argument against objectivity in ethics, because I can still say that the system IS objective- it just depends on what axioms you pick! ZF has different proofs than ZFC. Does the existence of both ZF and ZFC make mathematics non objective? Obviously not! The same way, the existence of both deontology and consequentialism doesn't necessarily make either one less objective than the other.

Anyways, the Genghis Khan example clearly operates as a proof by counterexample of your example of objectivity, so I don't even think quibbling on mathematical formalism is necessary.
by leosanchez | 2026-01-22 10:29:11+00:00
> Sliding democracy by suppressing any form for free speech in main stream media and overwhelming propaganda on social media that drowns genuine critics is very chilling.

Hearing about this and calls from imminent genocide from the last 10 years. India never had free speech. There is plenty of propaganda on the other side too. YouTube is full of anti-govt. propagandists.
by leonardcser | 2026-01-22 10:29:20+00:00
Hi, I tried the model and I am super impressed by the performance/quality. Thanks for making this open source!

I am the author of this Neovim plugin for edit completions. I was able to integrate it with the Sweep Edit model.

For anyone who is interested: https://github.com/leonardcser/cursortab.nvim
by kace91 | 2026-01-22 10:29:27+00:00
I think novels and tv are bad examples, as they are not substituting a process. The writing one is better.

Here’s the key difference for me: AI does not currently replace full expertise. In contrast, there is not a “higher level of storage” that books can’t handle and only a human memory can.

I need a senior to handle AI with assurances. I get seniors by having juniors execute supervised lower risk, more mechanical tasks for years. In a world where AI does that, I get no seniors.
by csp_dev | 2026-01-22 10:29:29+00:00
You’ve summed it up perfectly. This is fundamentally about the trade-off between total privacy (local DB) and practicality (server query). The protocol exists only if that middle ground has real users. The compelling case might not be for individuals, but for organizations that must prove due diligence in password screening for compliance like for example, ISO 27001 but want to minimize their own liability and logging footprint.
by pibaker | 2026-01-22 10:30:18+00:00
No. I think the opposite is true. Those who consider abortion murder can claim that we do not in fact universally condemn the murder of babies because abortion is legal and widely practiced in many places.

Some may consider abortion to only kill a fetus rather than a fully formed baby and thus not murder. Others disagree because they consider a fetus a baby in its own right. This raises a more fundamental question about the validity of any supposedly universal morality. When you apply rules like "don't torture baby" to real life, you will have to decide what constitutes as a baby in real life, and it turns out the world is way messier than a single word can describe.
by csp_dev | 2026-01-22 10:30:38+00:00
You’ve summed it up perfectly. This is fundamentally about the trade-off between total privacy (local DB) and practicality (server query). The protocol exists only if that middle ground has real users. The compelling case might not be for individuals, but for organizations that must prove due diligence in password screening for compliance like for example, ISO 27001, but want to minimize their own liability and logging footprint.
by pjjpo | 2026-01-22 10:30:42+00:00
I think it's common to have dev not production secrets there, and am reading the blurb about production secrets as non-local secrets. Even dev keys are a pain if they get leaked.

The idea seems nice with a simple yet effective implementation. While I think I currently have a shell script syntax highlight plugin reading env files, it's definitely overkill. Now if only this could protect from random npm packages reading your env files...
by wiz21c | 2026-01-22 10:31:04+00:00
On my part, I don't use that carry method at ll. When I have to substract, I substract by chunks that my brain can easily subtract. For example 1233 - 718, I'll do 1233 - 700 = 533 then 533 - 20 = 513 then 513 + 2 = 515. It's completely instinctive (and thus I can't explain to my children :-) )

What I have asked my children to do very often is back-of-the-envelope multiplications and other computations. That really helped them to get a sense of the magnitude of things.
by Shank | 2026-01-22 10:31:08+00:00
It is not irrational on the part of the developer -- I've definitely felt this too. The problem comes from the fact that practically everyone has subscription fatigue these days, and each of us probably has only a few pieces of software we truly care about enough to want to support them out of the goodness of our hearts.

But everyone wants us to pay $10/mo. It just isn't sustainable from a consumer perspective.
by csp_dev | 2026-01-22 10:32:05+00:00
My open question to you both and others is this: In your view, is that "organizational compliance with minimal logging" use case substantial enough to warrant a new, standardized protocol? Or is it adequately served by either
a) mandating HIBP's API, or
b) telling companies to download and manage the full HIBP dataset locally?
What's the approach from a consumer standpoint?
by goku12 | 2026-01-22 10:33:05+00:00
That depends on how you define risk. If it means the probability of a collision, then you'd be correct. But if a collision does happen, the consequences will be worse than being in the same orbit. Based on an oversimplified model, debris in orbit is likely to have low relative velocities with respect to an intact satellite in the same orbit, since a large deltav would change the orbit. (It's not as simple as this, but it's good enough in practice.)

This is actually what asat weapons take advantage of. They usually don't even reach orbital velocity, just like ballistic missiles (of course, there are exceptions like the golden dome monstrosity). The kill vehicle just maneuvers itself into the path of the satellite and lets the satellite plough into it at hypervelocity.
by throwaway2037 | 2026-01-22 10:33:24+00:00
> bleached chicken

I don't understand this meme that appears whenever US vs "Europe" food/crop standards are discussed.

I Googled for more info, and I found this quote: https://www.npr.org/sections/shots-health-news/2025/04/15/nx...

> Less than 5% of poultry processing facilities still use chlorine in rinses and sprays, according to the National Chicken Council, an industry group that surveyed its members. (Those that still do use a highly diluted solution at concentrations deemed safe.)

> Nowadays, the industry mostly uses organic acids to reduce cross contamination, primarily peracetic, or peroxyacetic acid, which is essentially a mixture of vinegar and hydrogen peroxide.

What do European chicken meat plants use to reduce bateria load?

> prevalence of GM crops

EU grows plenty of GM maize. More will come. Are Bt (Bacillus thuringiensis) crops bad?
by Antibabelic | 2026-01-22 10:33:25+00:00
Your response seems AI-generated (or significantly AI-”enhanced”), so I’m not going to bother responding to any follow-ups.

> More importantly, your framework cannot account for moral progress!

I don’t think “moral progress” (or any other kind of “progress”, e.g. “technological progress”) is a meaningful category that needs to be “accounted for”.

> Why does "hunting babies" feel similar to "torturing prisoners" but different from "eating chicken"?

I can see “hunting babies” being more acceptable to “torturing prisoners” to many people. Many people don’t consider babies on par with grown-up humans due to their limited neurological development and consciousness. Vice versa, many people find the idea of eating chicken abhorrent and would say that a society of meat-eaters is worse than a thousand Nazi Germanies. This is not a strawman I came up with, I’ve interacted with people who hold this exact opinion, and I think from their perspective it is justified.

> [Without a moral framework you have] no way to reason about novel cases

You can easily reason about novel cases without a moral framework. It just won’t be moral reasoning (which wouldn’t add anything in itself). Is stabbing a robot to death okay? We can think about in terms of how I feel about it. It’s kinda human-shaped, so I’d probably feel a bit weird about it. How would others react to me stabbing it this way? They’d probably feel similarly. Plus, it’s expensive electronics, people don’t like wastefulness. Would it be legal? Probably.
by DrBurrito | 2026-01-22 10:33:35+00:00
I like and use your products, so, first of all, thank you!

that the protocol was not open was one of my main issues for not using the vpn service,?it is great to see. i look forward for the upcoming audits.

one thing i would like to see more is info about the company. the team, the offices, etc. there have been rumors and contradictory infos over the years, and the blog always have a “stock photo”, shady vibe. putting your address in google maps brings you to a shady alley… improving the image of the company (in my opinion) as it is now would do lots to create and improve trust.
by retsl | 2026-01-22 10:33:56+00:00
Yes, afaik macOS apps could theoretically be sandboxed as well (or close to) as iOS apps are.
You can find the policies for many first-party apps and deamons in /System/Library/Sandbox/Profiles. But in practice most third-party apps aren't.

https://bdash.net.nz/posts/tcc-and-the-platform-sandbox-poli...
and
https://bdash.net.nz/posts/sandboxing-on-macos/
are good introductory articles.
by eloisant | 2026-01-22 10:34:40+00:00
> As a non-American, I find bizarre the suggestion that crimes against children are especially grave is somehow a uniquely American value.

I don't know if it's American but it's not universal, especially if you go back in time.

There was a time in Europe where children were considered a bit like wild animals who needed to be "civilized" as they grow up into adults, who had a good chance of dying of sickness before they reach adulthood anyway, and who were plenty because there was not much contraception.

Also fathers were considered as "owners" of their children and allowed to do pretty much they wanted with them.

In this context, of course hurting children was bad but it wasn't much worse than hurting an adult.
by robtherobber | 2026-01-22 10:34:41+00:00
It's very circumstantial, so individual responses may turn out to be red herrings without a higher level analysis.

That said, I am one of these people and here are the warts in my specific case (which is not exactly what the 4 Day Week Foundation is arguing for): less money and a tendency to go out less - somehow, being forced to travel to work also made me keener to go out more.

Other than these, which are not major issues for me, things are great and I can't recommend enough to people to reduce their workweek and spend more time with their family, friends, take on hobbies, volunteer, do sport, learn new skills, get involved in their communities and civically, and generally whatever they wish to spend their brief existence doing. It's been a boon for my mental health and it's allowed me to flourish in some respects. I appreciate it won't be the same for everyone, but we should absolutely offer this option to citizens as a society.
by saidnooneever | 2026-01-22 10:34:48+00:00
sharing knowledge for free is for the improvement of mankind. it fights the impoverishment of human intellect through control.

sharing music and art for free... not so much.

even if i put all my own music for free, yada yada. I do think there is a line and not everything should just be taken and put out for free.

the benefit to human progress should outweigh that damage to the artists or owners of said material.

i think we can all agree that most artists in that bundle are smalltime struggling artists. (the vast majority of something is never its peak afterall...).

is it really so important to listen some artist for free to destroy the income of thousands upon thousands of others? i dont think it adds anything important in our lives.
by mcherm | 2026-01-22 10:34:56+00:00
It doesn't need to!

If the winner, instead of paying what they bid, pays what the second-highest bidder bid (and bids are secret until someone exceeds them) then the incentives change. Everyone is incented to bid what it is worth to them, safely knowing (1) they won't pay more than that, (2) they will win the auction if no one outbids them, and (3) they won't pay more than necessary to win the auction.

eBay works this way (more-or-less), so you CAN (if you choose to) simply place your bid any time that is convenient and then ignore the timing of the end of the auction and all the sniping bots.
Show HN: Swtchd.io no code tool to A/B test forms / landing pages
by skeam | 2026-01-22 10:35:02+00:00
I built a tool to test forms / landing pages versions in funnels.

It works through redirects. You get one permanent link that randomly shows version A or B (or more) to visitors. Tracks clicks and form submissions. No code installation needed.

Works with any platform that has shareable URLs like Linktree, Carrd, Notion pages, Tally forms, typeform, ...

Main use case I'm seeing:

testing ad with forms funnels (ads → form page → submit) to save ad spend, increase submits.

testing ad with landing page funnels (ads → landing page → product link clicked → shop) to save ad spend, increase clicks, increase revenue.

Can be used to test copy, design and layout, form provider A vs form provider B, ...

Uses minimal cookies for session consistency (eg: always shows A once you've seen A).

A little something I've not found on other tools so added in it: it provides swtchd hosted thank you page so people can use redirect on submit on form-builder to track and optimize provider-hosted forms in minutes.

Would love feedback on whether this solves a real problem or if I'm missing the point, and also if redirects seems fine to use for tracking purpose.
by Bishonen88 | 2026-01-22 10:35:21+00:00
$20 claude code subscription for a month can replace the $15 + $10 for each month. How is that 3x more espensive? The user just saved $280 per year, on just two subscriptions alone.

Hardly doubt that this was the 'most waste of ones time'. For one, it's not like most of us can decide to "work" for 3-5 hours on a Saturday and get any money. I play games on my pc while claude codes for me. I alt tab each few minutes and see if it needs any input. Then I can (not that I do it), read and perhaps learn from the code.
by disgruntledphd2 | 2026-01-22 10:35:50+00:00
> I guess I was looking for something bit more concrete, that one could apply themselves, which would answer the "if they have measured their results? [...] Can you provide data that objects this view" part of parents comment.

This stuff is really, really hard. Social science is very difficult as there's a lot of variance in human ability/responses. Added to that is the variance surrounding setup and tool usage (claude code vs aider vs gemini vs codex etc).

Like, there's a good reason why social scientists try to use larger samples from a population, and get very nerdy with stratification et al. This stuff is difficult otherwise.

The gold standard (rather like the METR study) is multiple people with random assignment to tasks with a large enough sample of people/tasks that lots of the random variance gets averaged out.

On a 1 person sample level, it's almost impossible to get results as good as this. You can eliminate the person level variance (because it's just one person), but I think you'd need maybe 100 trials/tasks to get a good estimate.

Personally, that sounds really implausible, and even if you did accomplish this, I'd be sceptical of the results as one would expect a learning effect (getting better at both using LLM tools and side projects in general).

The simple answer here (to your original question) is no, you probably can't measure this yourself as you won't have enough data or enough controls around the collection of this data to make accurate estimates.

To get anywhere near a good estimate you'd need multiple developers and multiple tasks (and a set of people to rate the tasks such that the average difficulty remains constant.

Actually, I take that back. If you work somewhere with lots and lots of non-leetcode interview questions (take homes etc) you could probably do the study I suggested internally. If you were really interested in how this works for professional development, then you could randomise at the level of interviewee and track those that made it through and compare to output/reviews approx 1 year later.

But no, there's no quick and easy way to do this because the variance is way too high.

> Do you think trashb who made the initial question above would take the results of such evaluation and say "Yeah, that's good enough and answers my question"?

I actually think trashb would have been OK with my original study, but obviously that's just my opinion.
by g947o | 2026-01-22 10:36:25+00:00
This. I was selling an obscure book once. I doubt there is anyone local that would be interested in it. It was sold on eBay within a week.

Same for a half functioning Xbox. No "normal" person would want that. But apparently, on eBay, something like a dozen people took serious interest in it, and it was sold in a few days in "parts only" condition. For sure I didn't like how much the transaction fee I paid, but at least I got rid of it for a decent amount of money.
by felicitym | 2026-01-22 10:36:40+00:00
Thanks for sharing this Clifton. It was really interesting to read more about Icelight (and Drizzle Cube) on your website as well. Sounds like a powerful solution that could be relevant to lots of different contexts. Can't believe you were able to put this together for free!
https://cliftonc.nl/blog/icelight-product-analytics-on-cloud...
by chairmansteve | 2026-01-22 10:36:52+00:00
"I reckon this is even the case when using it as an interactive encyclopedia".

Yes, that is my experience. I have done some C# projects recently, a language I am not familiar with. I used the interactive encylopedia method, "wrote" a decent amount of code myself, but several thousand lines of production code later, I don't I know C# any better than when I started.

OTOH, it seems that LLMs are very good at compiling pseudocode into C#. And I have always been good at reading code, even in unfamiliar languages, so it all works pretty well.

I think I have always worked in pseudocode inside my head. So with LLMs, I don't need to know any programming languages!
by matteocontrini | 2026-01-22 10:38:42+00:00
Someone that worked at Vimeo until last month tweeted:

> Reviving this account to say: Almost everyone at Vimeo was laid off yesterday, including the entire video team. If you're looking for talented engineers, there are a few on the market.

https://x.com/daemon404/status/2013988239829303624
by adrian_b | 2026-01-22 10:39:22+00:00
Terseness is easier to remove from a programming language than verbosity.

You can use a source preprocessor to enable you to write APL programs by using keywords instead of any symbols that you do not like. You can also use a source preprocessor to expand any traditional APL source, by converting symbols into keywords, so that it will be easier to read for you.

Using symbols instead of keywords is a minor feature of APL, which was inherited from the standard mathematical notation, from which APL was derived.

The important features of APL are the expression syntax and the set of available operators, not the symbols used for them.

Moreover, if you have difficulties in following complicated expressions, you can always break them in smaller subexpressions.

When someone presents an "incomprehensible" APL program, they show a huge expresion without comments.

A decent APL program, like in any other programming language, would need good comments, but here comments are frequently desirable at the level of subexpressions.
by jychang | 2026-01-22 10:40:00+00:00
Honestly, yeah. I got lazy with your responses and just threw in a few bullet points to AI, because honestly it's clear you don't know anything about philosophy. It's like arguing code cleaniness with a new software engineer... it was way more tiring than it was intellectually stimulating.

At least the discussion with skissane was intellectually interesting, so I didn't bother using AI for those comments.

But seriously, you can just throw your entire conversation into AI and ask "who is philosophically and logically correct between these responses". Remove the usernames if you want a fair analysis. Even an obsolete AI like GPT-3.5 will be able to tell you the correct answer for that question. The reasoning is just... soooo obviously... similar to if a senior engineer looked at a junior engineer's code. It looks like that, but replace "code" with "philosophical logic". You're basically arguing a sort of moral anti-realism perspective but without any actual points like noncognitivism or whatever, because you're saying moral statements are still truth-apt (xyz is bad) but just... don't matter for some reason? It makes no sense.

That's the best way I can break it to you, honestly, because it's probably the easiest way for you to get a neutral perspective. I'm genuinely not trying to be biased when I tell you that.
by oliwary | 2026-01-22 10:40:23+00:00
This is a fun article and approach.

Subscription apps often have to target a wide userbase. However, most users only need a small subset of the entire feature set, and would be better served by a tailored version. This means that vibecoded apps can get away with being much less complex (specific featureset, no login etc), while still being more useful.

I have also created tools with LLMs that are exactly tailored to what I need, and still much more polished than what I could do without LLMs. Will have to think about if there is anything else I can do this with.