MurphyA/hacker-news huggingface dataset:
by joe_the_user | 2025-08-12 22:59:36+00:00
IME most people aren't very good at building axioms.

It seems you implying that some people are good building good axiom systems for the real world. I disagree. There are a few situations in the world where you have generalities so close to complete that you can use simple logic on them. But for the messy parts of the real world, there simply is not set of logical claims which can provide anything like certainty no matter how "good" someone is at "axiom creation".
by dragonwriter | 2025-08-12 23:00:20+00:00
> how outrageous it is to dare to land on a slab of ice and rock

The particular “slab of ice and rock” that he landed on without permission after filing a false flight plan appears to be (while the story mentions only that it is a military base) a public airport operated by the Chilean air force, and the only airport on King George Island. (The name the article uses for the base is actually the name of the airport that is part of the base, the base has a different name.)

There's kind of a good reason for them to be touchy about people not following protocol with things like flight plans and landing permissions.
by kelseyfrog | 2025-08-12 23:00:40+00:00
I agree. It's not the best metaphor.

I played around with various metaphors but most of them felt various degrees of worse. The idea of relaxing priors and then doing an evidence-based update while thinking it's genuinely a single update is a difficult thing to capture metaphorically.

Happy to hear better suggestions.

EDIT: Maybe something more like this:

Picture your belief as a shotgun aimed at the truth:

Aim direction = your best current guess. Spread = your precision. Evidence = the pull that says "turn this much" and "widen/narrow this much."

The correct move is one clean Bayesian shot.

Hold your aim where it is. Evidence arrives. Rotate and resize the spread in one simultaneous posterior jump determined by the actual likelihood ratio in front of you.

The stupid move? The move that Rationalists love to disguise as humility? It's to first relax your spread "to be open-minded," and then apply the update. You've just secretly told the math, "Give this evidence more weight than it deserves." And then you wonder why you keep overshooting, drifting into confident nonsense.

If you think your prior is overconfident, that is itself evidence. Evidence about your meta-level epistemic reliability. Feed it into the update properly. Do not amputate it ahead of time because "priors are bias." Bias is bad, yes, but closing your eyes and spinning around with shotgun in hand ie: double updating is not an effective method at removing bias.
by Sohcahtoa82 | 2025-08-12 23:00:49+00:00
If you control 51% of the hashing power, that means you can solve more blocks than the entire rest of the network combined. Even if other nodes on the network solve a couple blocks before you, statistically, you will eventually create a longer chain of blocks and the network will switch to your chain.

But your chain has every block solved by you, giving you all the block rewards.

That's the magic of the 51% attack. You gain control of the blocks. Because that extra 1% isn't a HUGE margin, it may take a while for your chain to become the winning chain, but theoretically, it will happen.
by duskwuff | 2025-08-12 23:01:54+00:00
"Arduino" is a brand of development boards. The direct equivalent would be the Atmel* ATmega168, and that was widely available through distributors, less expensive, had extensive manufacturer and community support, and was part of a broad product line.

What makes microcontrollers commercially successful is... commercial use. Hobbyist applications are fun, but they don't pay the bills.

*: Microchip hadn't bought them yet
by JohnMakin | 2025-08-12 23:01:59+00:00
> It's crazy to read this, because by writing what you wrote you basically show that you don't understand what an axiom is. You need to review the definition of the word.

Oh, do enlighten then.

> The smartest people are unsure about their higher level beliefs, but I can assure you that they almost certainly don't re-evaluate "axioms" as you put it on a daily or weekly basis. Not that it matters, as we almost certainly can't verify who these people are based on an internet comment.

I'm not sure you are responding to the right comment, or are severely misinterpreting what I said. Clearly a nerve was struck though, and I do apologize for any undue distress. I promise you'll recover from it.
by tialaramex | 2025-08-12 23:02:50+00:00
I definitely can't get behind that definition. The one I've used for a good while is: The unnecessary done on purpose.

Take Barbara Hepworth's "Two Figures" a sculpture which is just sat there on the campus where I studied for many years (and where I also happen to work today). What's going on there? I'm not sure.

Sculpture of ideals I get. Liberty, stood on her island, Justice (with or without her blindfold, but always carrying not only the scales but also a sword†). I used to spend a lot of time in the hall where "The Meeting Place" is. They're not specific people, they're an idea, they're the spirit of the purpose of this place (a railway station, in fact a major international terminus). That's immediately understood, yeah.

But I did not receive an immediate understanding of "Two figures". It's an interesting piece. I still occasionally stop and look at it as I walk across the campus, but I couldn't summarise it in a sentence even now.

† when you look at that cartoon of the GOP operatives with their hands over Justice's mouth, keep in mind that out of shot she has a sword. Nobody gets out of here alive.
Ask HN: What are your thoughts on ultrasonic knives?
by aaron695 | 2025-08-12 23:02:51+00:00
If anyone wants a break from bad takes on bad takes on AI/politics/GW....

I liked this video - https://www.youtube.com/watch?v=bNwHDWlA7gE where Alex compares it to the revolution of reciprocating saws (amazing days we are in)

Previous HN discussion - https://news.ycombinator.com/item?id=43442107 I see why in commercial baking you might go with water jet, but I'm interesting in thoughts on ultrasonic knives and how people are using them and the possibilities.
by reaperducer | 2025-08-12 23:02:53+00:00
they try to hide the job postings so that people will not apply so that they can get the green card approved.

And this explains why I recently heard an ad on KNX radio for a tech job at a winery or brewery or something similar, which specified that applications would only be taken by mail.

It also had a massive list of responsibilities and a pay rate about half of what it should be.
by henryfjordan | 2025-08-12 23:03:08+00:00
A domestic monopoly might not be the only way to prevent a foreign monopoly, but it is a guaranteed way so it makes sense to let it proliferate.

Look at the state of the industry vertically. There's exactly 1 company that can produce the cutting-edge chip fabs, ASML. TSMC utterly dominates using the fabs to actually produce the chips. That's already 2 foreign-controlled horizontal monopolies on which the rest of the industry relies.

If you want any sort of control in the industry (and not be bullied for access like we do to China), you need to be the biggest buyer / operator of those chips. And so we encourage US mega-tech companies buying up all the GPUs, so those other monopolies aren't used to cripple us (or at least they'd cripple the whole chain if they tried).
by jrmg | 2025-08-12 23:03:10+00:00
That worker may become or not become a permanent US resident afterwards.

Practically true - but that it’s not permitted to count experience gained while working on an H-1B when applying for a green card.

If an application for a green card is made for a person who’s currently in the USA on a H-1B visa, the person needs to qualify for it based on their qualifications and experience prior to whatever they’ve done in their current H-1B job.
by seanmcdirmid | 2025-08-12 23:03:46+00:00
No, it means the elevator operator just doesn't exist anymore. We didn't pay them more, we got rid of them. If agriculture workers don't exist anymore at the wages the market is willing to bear, we just won't bother with those foods anymore, or import them from somewhere else.

I'm uncomfortable with how racist HN has become. Because your ancestors were white they were permitted a chance to work from the bottom up, but because today's immigrants aren't white, you think its either slavery or exploitation, and they should just stay in poor countries accordingly (a situation that was not forced on your ancestors, for your benefit). Or if it isn’t racism, what is your reasoning for pulling up the ladder today?
by webstrand | 2025-08-12 23:03:55+00:00
> Modeling someone’s cognition or experience is not empathy.

then what is it? I'd argue that is a common definition of empathy, it's how I would define empathy. I'd argue what you're talking about is a narrow aspect of empathy I'd call "emotional mirroring".

Emotional mirroring is more like instinctual training-wheels. It's automatic, provided by biology, and it promotes some simple pro-social behaviors that improve unit cohesion. It provides intuition for developing actual empathy, but if left undeveloped is not useful for very much beyond immediate relationships.
by PaulHoule | 2025-08-12 23:04:14+00:00
Kinda want to pick nits even thought it might not be fair, for instance there is the Steve Jobs quote "...There was a PC before the Mac" for which I want to reply, "Yeah, the Apple ]["

I feel Meta doesn't get taken seriously enough, as the Meta-Google access provides a lot of services, not least the social networking but also things like Gmail, that could otherwise be provisioned out of AWS.

Social network, advertising and such all have two-sided markets that lead to monopoly profits. AI doesn't seem to have a natural monopoly, I mean, GPT-5 is fine and all but there are so many LLMs these days that are as good or almost as good and I'm certain something better, cheaper or both better or cheaper gets announced in a few months, and, like DeepSeek, it will be an event that predictably leaves people blindsided.
by ggm | 2025-08-12 23:04:27+00:00
The Australian mining business is purely venal, transactional. It feels like 10c a tonne extra cost will make them shut down for better times. Most mines negotiate favourable tax holidays for decades against the capital investment hole they metaphorically and actually dig, and then find ways to avoid royalty payment. It's a small number of immensely powerful companies, some in private hands, they've cost elections by strategic investment in political advertising (a proposed petrol resources resource tax sunk the Labor party majority at a tight election for less than $150m of ad spend opposed, alleging job losses)

Australia was a supplier of rare earths before China went large on volume and price. The mines were shuttered and mapped reserves left untouched.

If you want strategic supply be prepared to pay a premium, the mining sector is not giving up profit.
by meowface | 2025-08-12 23:04:32+00:00
Note that Asterisk magazine is basically the unofficial magazine for the rationalism community and the author is a rationalist blogger who is naturally very pro-LessWrong. This piece is not anti-Yudkowsky or anti-LessWrong.

Here's a counter-piece on David Gerard and his portrayal of LessWrong and Effective Altruism: https://www.tracingwoodgrains.com/p/reliable-sources-how-wik...
by tonyhart7 | 2025-08-12 23:04:52+00:00
it depends on model but sonnet is more than capable for enterprise code

when you stuck at claude doing dumb shit, you didnt give the model enough context to know better the system

after following spec driven development, works with LLM in large code base make it so much easier than without it like its heaven and hell differences

but also it increase in token cost exponentially, so there's that
by diavelguru | 2025-08-12 23:04:59+00:00
You answered your own question in the description. "DB constraints pop up when I am making changes to my local environment” and that gave you the confidence to promote to QA, Staging and finally Production. A well tested application will find those problematic issues long before it goes to prod. I’m just glad that all business logic is not thrown in the DB as in the past. The separation makes for a much quicker and robust system. Don’t think DB constraints are a relic they are very much a part of the relational database management system and still used in those systems very successfully. Another topic for another thread is the relevance of the RDBMS itself not just one subset of it.
by johnbellone | 2025-08-12 23:06:13+00:00
Politics aside: Agreed; you’re correct about DC being wholly unique which is why it’s difficult to compare to other cities (by the numbers) for a lot of regions. There really is not an option other than the National Guard in such a situation hence why there’s a carve out in the 1970s (?) act.

I am avoiding the argument regarding stronger law enforcement because there is a very little vague basis for it in this case. But legally speaking, it is within the letter of the law because there isn’t another option without triggering the Posse Comitius act.
by RajT88 | 2025-08-12 23:06:15+00:00
> The members of Heaven’s Gate, which had existed since the 70s, believed they were exiting their Earthly bodies to board a UFO that was hiding behind the Hale-Bopp comet as it made its closest approach to Earth.

Wait. Wasn't this kind of the plot of Lifeforce??

https://en.wikipedia.org/wiki/Lifeforce_(film)
by _mlbt | 2025-08-12 23:06:25+00:00
> My claim isn't that "if Americans have to do the work", my claim is that "Americans don't want to do the work", even at $30-40/hour most Americans still don't want to pick apples, and that is already an unreasonable price.

There is no evidence that this is actually true. Decades of illegal immigrant labor has suppressed wages and supplanted American citizens, so you have no way of knowing that’s the case.
by markdoppler | 2025-08-12 23:06:39+00:00
We had 3 people who confused the annual subscription with the monthly one, as the annual option was selected by default on the payment page.

Two of them contacted us for assistance, and we issued them a refund, but the other person simply filed a chargeback.

We believe that because the annual subscription amount is high, this chargeback triggered an automated bot flag, and we were marked automatically.
by anonymars | 2025-08-12 23:06:52+00:00
But I think with email login links you have one of several problems:

1. How do you know the email is for a session you actually initiated? In the extreme case, imagine maliciously triggering a login a link for 100,000 users. How many will click the link and get their account taken over? I bet it's nonzero (what's the minimum net you must cast to get access to one account?)

2. Or, what about various software that automatically previews links? A GET request is not secure for this purpose

3. But if you are instead suggesting a link takes you to an authenticated session (rather than authenticating an arbitrary session) now you have the problem that you must log into your email on the device from which you wish to access the account
by wpm | 2025-08-12 23:07:03+00:00
Well, yeah, who wants to sit and dick around with filters? I just want to know when "Part 3" is posted or whatever. I don't want to "subscribe" I don't need a feed of every thing they've ever written being filtered, just go fetch "is part 3 up yet".

I could sign up for e-mails too and just use mailbox filters. I bet something for "lazy" people who have better things to do than sit and dick around with their mailbox filters is a promising concept.

"wow part 2 was good, can't wait for part 3!" clicks Let Me Know.

vs

"Wow part 2 was good, let me subscribe to the RSS feed and go somewhere else and figure out a filter for part 3"

If I gotta go somewhere else, switch apps, whatever, I'm not interested, and it's not gonna happen. My brain has already moved on.
by wolrah | 2025-08-12 23:07:10+00:00
Shockingly, the Google-produced operating system that GrapheneOS is based on is easiest to build targeting Google-produced devices.

Google is also as far as I'm aware one of only two mainstream vendors, and the only one making flagship-tier devices, that reliably offers bootloader unlocking as a feature so you can install alternative operating systems without having to first crack the device.
by brunohaid | 2025-08-12 23:07:10+00:00
Eizo CS2740, really happy with them. Weird anecdote: they weren't available in the US at the time yet, so I got them off amazon.co.jp, and it was the most impressive thoughtful multi-layer cardboard packaging I ever got from any reseller. Probably my disdain for Amazon worker treatment and appreciation for Japanese care no matter what, all standing there in one impressive confusing package.
by kcplate | 2025-08-12 23:07:32+00:00
> This is the first major controversy that puts trump against a sizable majority of his supporters, which are becoming disillusioned

Which means exactly what? What political alternative do the whackado Qanon/ultraMAGAs have? Certainly not the democrats—they are so far out of alignment with MAGA that any Epstein disappointment looks mild in comparison. Sure…UltraMAGA may frustrated with Trump but they will never get a chance to vote for him again to express that disappointment. So they will be faced with a choice of a GOP candidate who will run on much of Trumps politics (but won’t be him) and a democrat party that appears now to be tacking further left in to the socialism waters as its new bearing.
by WorldPeas | 2025-08-12 23:07:50+00:00
I see you're crossposting your reddit post, so I'll reply here. In my benchmarks oss-120 is not very smart. Its tool use is quite lacking and as you might guess, has no access to the larger internet out of the box or posttraining. For your needs the sentiment is right however, though you'd probably be better off with Qwen or Kimi K2, if you can run it
by JyB | 2025-08-12 23:08:02+00:00
That's exactly how you should do it. You can also plug in an MCP for your CI or mention cli.github.com in your prompt to also make it iterate on CI failures.

Next you use claude code instead and you make several work on their own clone on their own workspace and branches in the background; So you can still iterate yourself on some other topic on your personal clone.

Then you check out its tab from time to time and optionally checkout its branch if you'd rather do some updates yourself. It's so ingrained in my day-to-day flow now it's been super impressive.
by vladdoster | 2025-08-12 23:08:03+00:00
Location: Nashville, TN Remote: true Willing to relocate: boston || san francisco Technologies: Python, Django, IaC, Terraform, Golang, CI/CD, Azure/AWS, {ba,z}sh, Lua, Springboot, Redis, K8s, Open Service Broker, {,non}relational & vector dbs, shared services, SOA Email: mvdoster@gmail.com

resume: http://linkedin.vdoster.com

sr. cloud software engineer @ Mastercard (5 years)

Designed and built Platform-as-a-Service for microservice workloads running on Azure and AWS to migrate on-prem workloads to the cloud. The platform operates globally, allowing teams to deploy to several Azure-backed regions worldwide. Helped plan and create regional landing zones in Azure for application teams wanting to perform globally. Designed platform components using Terraform and Go; developed support tooling using Bash, Python, and the Azure CLI. De-risk the platform by addressing security vulnerabilities and ensuring the platform is PCI compliant.

api/devops software engineer @ Harvard Medical School (2 years)

Worked as part of the DevOps team to manage a 15k core CentOS HPC cluster. Designed and implemented Python-based container security scanning pipeline to securely deploy Docker & Singularity containers to an HPC cluster. Coordinated cross-team emergency patching eﬀorts. Wrote custom Puppet Module & Python scripts to automatically remediate Tenable findings. Wrote custom Ruby Facts for visibility and reporting.

software engineer @ Global Prior Art (3 years)

Used Django, Celery, Selenium grid, and AWS API Gateway for IP rotation to scrape USPTO patent PDFs, apply CV for data extraction, and generate reports with relevant claims, saving employees 4-5 hours daily. Wrote E2E black-box/fuzzing unit tests. Automated on-premise deployment via Github Actions and Ansible.

maintainer @ Zinit (5 years)

Develop and maintain a zsh plugin manager on Github that has 3750 stars. Implemented unit tests, containerization, bug fixes, and new features. See: https://github.com/zdharma-continuum/zinit

contributor @ Open-source documentation (5 years)

Contributed hundreds of documentation corrections and enhancements to various open source projects. See: https://github.com/vladdoster
by jmyeet | 2025-08-12 23:08:10+00:00
I'm torn on this.

I do think it's good to curb abuse by the Indian bodyshop companies like Infosys. They spam the system with applicants to the point that they get more than their fair share of visas for what turn out to be relatively low-paid jobs with fairly horrible working conditions.

At the same time, that couldn't happen if we didn't have the artificial per-country limit on employment-based green cards.

This will hurt new grads and non-engineering STEM applicants though.

But part of all thyis should be that if you did layoffs in the last 12 months (maybe even 2 years), you don't get to apply for H1Bs.

Oh and any system that uses artificial performance metrics to force people out should also count as layoffs. By this I mean that some companies will require a quota of 5-15% of the workforce to get subpar ratings and, in the current environment, that means more likely being put on a PIP and fired within months. If the goal is 5-10% of the workforce every year to be ushered out on PIPs, that's a layoff.
by ninetyninenine | 2025-08-12 23:08:21+00:00
Will you be offended if an LLM told you the cold hard truth that you are wrong?

It's like if a calculator proved me wrong. I'm not offended by the calculator. I don't think anybody cares about empathy for an LLM.

Think about it thoroughly. If someone you knew called you an ass hole and it was the bloody truth, you'd be pissed. But I won't be pissed if an LLM told me the same thing. Wonder why.
by dontdoxxme | 2025-08-12 23:08:43+00:00
You sound like a crazy person. The actual relevant bit of law is APP 13[1], which has a definition for "holds", which shows the source of the information does matter. If you're going to go and quote half the law, but ignore the actual relevant piece, at least talk to a lawyer.

[1]: https://www.oaic.gov.au/privacy/australian-privacy-principle...
by exmadscientist | 2025-08-12 23:08:45+00:00
I have always been resolute in avoiding managed switches for home use. I figure I don't need the headaches of worrying about configuring another device in my free time when I can pay less to have simple boxes that just send packets around without complaint.

I even managed to find an unmanaged 16-port 2.5GbE PoE switch so now I have 2.5Gbps and PoE at every wall jack in my house. (PoE is amazing. Get PoE if you're upgrading anything.) It's a no-name Chinese brand, but who cares? It's not like anything in this house is even trying to saturate 1GbE, much less 2.5GbE. So QoS or whatever on an internal network doesn't seem particularly useful.

I guess I could try to segregate the Internet of Shit devices I have (they're already on their own WiFi SSID which is most of the battle) but I mostly fight that fight by owning as few IoS things as I can.

What am I missing? Why bother with managed switches at home?