MurphyA/hacker-news huggingface dataset:
by wtcactus | 2025-12-27 12:45:15+00:00
> This is not something you should have been able to say with a straight face. It proves nothing other than that nobody should ever take you seriously.

Wow. Someone must have had a crappy Christmas, all by itself alone, deep in their basement arguing with strangers on the internet.

But here it goes one of many articles - by actual experts - that share my viewpoint.

“ Conclusions

It seems plausible that there was a pronounced spread of this parasite during the Late Mesolithic, possibly reflecting a shift to a more sedentary lifestyle with long continuous presence at permanent occupation sites, thus facilitating the spread of this disease and possibly increasing its prevalence rate in the populations.”

https://www.sciencedirect.com/science/article/abs/pii/S03054...
by ben_w | 2025-12-27 12:45:32+00:00
A human who hates maths is different from one who adds up wrong because they think the first digit counts units, second digit how many tens, third digit how many twenties (as one of my uni lecturers recounted of her own childhood).

Alignment is, approximately, "are we even training this AI on the correct utility function?" followed up by the second question "even if we specified the correct utility function, did the AI learn a representation of that function or some weird approximation of that function with edge cases we've not figured out how to spot?"

With, e.g. RLHF, the first is "is optimising for thumbs-up/thumbs-down the right objective at all?", the second is "did it learn the preference, or just how to game the reward?"
by xen0 | 2025-12-27 12:45:41+00:00
Your real commit history is irrelevant. I don't care too much about how you came to a particular state.

The overall project history though, the clarity of changes made, and that bisecting reliably works are important to me.

Or another way; the important unit is whatever your unit of code review is. If you're not reviewing and checking individual commits, they're just noise in the history; the commit messages are not clear and I cannot reliably bisect on them (since nobody is checking that things build).
by bell-cot | 2025-12-27 12:45:42+00:00
> The 50-year-old virtuoso fiddler said he later learned the inaccurate claims were taken from online articles regarding a man in Atlantic Canada with the same last name.

"AI" makes for a clickier story, but you don't need it to have that kinda screw-up.

Actually, you don't even need the web. Back in the 90's, a young coworker of mine was denied a mortgage. Requested his credit report - and he learned that he'd already bought a house. In another city. At age 5. Based on income from the full-time job at Ford Motor he'd had since age 4. And several other laughable-in-retrospect hallucinations.
by heavenlyhash | 2025-12-27 12:45:43+00:00
That is roughly the number of new requests per second, but these are not just light web requests.

The git transport protocol is "smart" in a way that is, in some ways, arguably rather dumb. It's certainly expensive on the server side. All of the smartness of it is aimed at reducing the amount of transfer and number of connections. But to do that, it shifts a considerable amount of work onto the server in choosing which objects to provide you.

If you benchmark the resource loads of this, you probably won't be saying a single server is such an easy win :)
by wkat4242 | 2025-12-27 12:46:02+00:00
> So many people, even when they obviously know better, like to think of evolution as intelligent. It's obviously not. But every time someone says stuff like this, it reinforces the fallacy and then we get people saying things like "if evolution is real, why come $insane_argument_against_evolution?"

Tbh those kinds of people are beyond convincing. And I think most of them are trolling or have fallen under the spell of other trolls. There's clearly a network effect. We don't really have a flat earther movement here in Europe and evolution deniers are insignificant.

I don't think people saying these things actually think evolution is intelligent. They just use the phrase "want" to indicate the survival pressure that lead to the change propagating.

But the people that don't believe in evolution are so indoctrinated it doesn't matter what words we use.

Ps I do find it fascinating that a non intelligent process like evolution managed to create intelligence. Even though the state of the world often makes me doubt intelligence exists :)
by cogman10 | 2025-12-27 12:46:31+00:00
> So it's not even laziness really, it's something else. Apathy, maybe?

My hypothesis is that it comes from a bygone of tech.

Consider the lyrics from Weird Al's "It's all about the pentiums" (1999)

My new computer's got the clocks, it rocks
But it was obsolete before I opened the box
You say you've had your desktop for over a week?
Throw that junk away, man, it's an antique!

Your laptop is a month old? Well, that's great
If you could use a nice, heavy paperweight

From around the 80s all the way up until ~2010, one of the most reliable ways to make software run faster was to wait a year. You could get 50 or even 100% faster CPUs in a matter of a year or two.

Tech CEOs weren't blind to this fact. I have a lot of old software dev coworkers that lamented that era because they never had to think about performance problems. It was always "this won't be an issue if we wait a year".

I think that era has mostly built in an industry wide sloppiness and attitude.
by ehnto | 2025-12-27 12:47:10+00:00
Does an LLM scoring well on the Mensa test translate to it doing excellent and factual police reporting? It is probably not true of humans doing well on the Mensa, why would it be true of an LLM?

We should probably rigorously verify that, for a role that itself is about rigorous verification without reasonable doubt.

I can immediately, and reasonably, doubt the output of an LLM, pending verification.
by Aachen | 2025-12-27 12:47:14+00:00
Ah, I think I understand the difference: we pay taxes for electricity (it's ~35ct/kWh atm) and so there's plenty of proceeds for electric cars as well. Afaik for you it's normal to pay less than half, but then this flat fee for EV owners seems strange when everyone else (in the world, and those driving combustion vehicles) pays per actual usage
by uplifter | 2025-12-27 12:47:17+00:00
Yeah, that's not really good enough, by the author's own admission:

From wikipedia: 'In the foreword to the book's 30th-anniversary edition, Dawkins said he "can readily see that [the book's title] might give an inadequate impression of its contents" and in retrospect wishes he had taken Tom Maschler's advice and titled it The Immortal Gene.[2] He laments that “Too many people read it by title only.”' [0]

Furthermore, your concept that genes should be thought of as having a plan is just in stark contradiction with the Darwinian conception of natural selection, which Dawkins was largely a champion of.

My own recollection was that he described how genes readily had the appearance of acting in their own best interest, but he fell short of advocating that modeling them as having intention is a useful contrivance. Evolution does not have any sense for the future, there is no planning evolved, and Dawkins understands that.

[0] https://en.wikipedia.org/wiki/The_Selfish_Gene
by hsluoyz | 2025-12-27 12:48:08+00:00
Worth mentioning Casbin as well (https://github.com/casbin/casbin) - it's been around for a while and takes a slightly different approach. Instead of being purely Zanzibar-inspired, it uses a PERM (Policy, Effect, Request, Matchers) metamodel that lets you implement RBAC, ABAC, or ReBAC depending on what fits your use case.
by akoboldfrying | 2025-12-27 12:49:18+00:00
I don't understand why they would make such footgun functions either, especially because (IIUC, and I probably don't) in a way the whole point of Lean's dependent type system is to be able to express arbitrary constraints on the inputs of these functions so that they can be total -- e.g., to be able to define a subtraction function on the nonnegative integers that takes one integer and one {integer that is less than or equal to the first integer}. And to even call this function, you (or perhaps Lean itself) would need to first prove that its second argument is less than or equal to its first.
by tchantchov | 2025-12-27 12:49:20+00:00
I’ve been selling cash-secured puts and covered calls (the "Wheel" strategy) for a while, but I’m struggling with the data side of it.

Most brokerages (IBKR, Schwab, Robinhood) treat every contract as a siloed trade. They don’t automatically "decay" the cost basis of my underlying stock or LEAPS when I collect premium. After rolling a position three or four times, it becomes nearly impossible to see my actual break-even or true annualized ROI without a massive, manual spreadsheet.

I got so frustrated that I started building a tool to automate this for myself: PremiumFlow (https://premiumflow.base44.app/).

My approach was to create a dashboard that:

Automatically adjusts the cost basis of a position as premiums are collected.

Tracks "Poor Man’s Covered Calls" (selling against LEAPS) properly.

Monitors assignment risk for ITM puts in real-time.

I'm curious how others in the HN community handle this:

Do you have a "holy grail" spreadsheet that actually works?

Have you found a third-party tool that handles the "cost basis" problem correctly?

Or do you just rely on your brokerage's (often confusing) tax lots?

I'd love to hear about your workflow or any feedback on the tool I've started building.
by VorpalWay | 2025-12-27 12:50:39+00:00
I have tried OpenSCAD, but found it extremely limited and awkward. I much prefer parametric CAD like Fusion 360, OnShape (which I'm currently using) or FreeCAD (which has a really bad UX). And my day job is as a C++/Rust developer, so you would think that I would have good chances to prefer a textual representation.

Part of this might be OpenSCAD specifically. It is CSG based, which is really not ideal, making it hard to add things like chamfers and fillets to your model. Most OpenSCAD models I come across for 3D printing have a crude look probably because this is so hard.

But part of it is just that text for most people just isn't the right representation in this case. (If you look at the relative usage of parametric CAD to textual CAD on sites for 3D models you will see that I'm right. Also, look at what approach commercial packages offer.)
by scotty79 | 2025-12-27 12:51:25+00:00
For me speed was irrelevant however uv was the first Python project manger with tolerable ui that I encountered. I never before done any serious development in Python because I just refused dealing with venvs requirements.txt and whatever. When a script used a dependancy or another Python version I installed it system wide. uv is perfectly usable, borderline pleasent. But I'm sure the speed helps.
by Havoc | 2025-12-27 12:52:39+00:00
I'd venture that actually smart people don't go near this at all because they know telling yourself "I'm better than others and won't get addicted"...all to chase a couple bucks is the height of folly.

Polymarket has me intrigued though. Especially stuff like their geopolitics section...as a measure of how good one's read of the world is. Still gambling in disguise though
by Aachen | 2025-12-27 12:52:52+00:00
I guess I didn't make it clear that this quoted argument was meant to sound silly. I know you can go on holiday with EVs! My mom was a bit apprehensive about spontaneously needing to find chargers and figure them out, and so I invited her to a weekend trip for just the two of us, one of the goals being to see together how charging works out in different places and countries and how often that ends up being necessary etc. It was no problem at all if you can figure out the different payment methods (most worked with a magic card she got with the car, others wanted paypal via a web portal etc.)
by Andrew0416 | 2025-12-27 12:53:55+00:00
Are off-the-shelf learning management systems limiting your growth, flexibility, or branding? As companies invest more in digital education and employee training, many are turning to custom lms software development to meet their unique needs. But is a tailor-made LMS really worth it? A custom solution allows you to design personalized learning paths, integrate with existing tools, ensure data security, and scale as your organization grows. Unlike generic platforms, it adapts fully to your workflows and goals. Could a custom LMS improve engagement, performance tracking, and long-term ROI for your team?
by te_chris | 2025-12-27 12:54:57+00:00
Allow me to introduce my favourite toy from my childhood that I have been lucky enough to be able to buy for my son recently: https://www.reddit.com/r/auckland/comments/eymcks/do_you_kno...

It’s called the Humdinger set. Made by an eccentric guy in NZ with no online presence beyond resultantly keeping an email address.

Stumbled across him randomly at a market when we visited last and had to triple take - “is this THE Humdinger” type thing. My mum confirmed it was the real deal, so we bought it on the spot.

Son loves it. Connectable wooden stuff ftw
by natrys | 2025-12-27 12:55:08+00:00
Very impressive demo. From VM curation to vibe coding something running on port 8000 in Shelley just worked in minutes. I imagine quite a few technically impressive things happening under the hood, would be interested to read more about those.

Small nit: I think you should make it more clear in the docs (if not in the landing page) that one can just use any key with the ssh command the very first time and it automatically gets registered. Also on the web UI you should have the ability to add the ssh keys. As I logged into the web UI first, I was a bit confused.

I think the pricing is alright for the resource and remote development conveniences, though might be a bit much if someone doesn't need higher resources for deploying something that's mostly developed already.

Anyway, this reminds me of a product called Okteto that had similar UX. They were focused on leveraging k8s for declarative deployment configuration. But for some reason they suspended their managed cloud/SaaS offering for individuals (non-enterprise), I wonder if it was because they couldn't make the pricing work. Hope that doesn't happen here.
by camgunz | 2025-12-27 12:55:53+00:00
Yeah but the thing that distinguishes the gold rush from mesmerism or whatever is actual gold. Most LLM promises are NFTs with extra steps.

The arguments here are totally bonkers. People didn't wonder what airplanes were for, or cars, or computers, or vaccines. They had immediate, obvious benefits and uses, but still none of them experienced this speed of investment. This is something else entirely.
by ygombinador | 2025-12-27 12:56:22+00:00
There hasn't been a year of silence. Multiple people from the community have continued bugging Rockchip to address the matter in a public issue on the now-gone Github repo. The idea of a potential DMCA claim was also brought.

All they could say was "we are too busy with the other 1000s chips we have, we will delay this indefinitely".

Ridiculous.
by ben_w | 2025-12-27 12:57:59+00:00
How what, exactly?

Do you mean "they have a style that you can learn, surely you can recognise this style!", yes, but the default style is ~ a mix of Kenyan (because they were cheap RHLF trainers) with some of how word processors will auto-replace -- with —, and also it's trivial to just ask them to use a different style.

Biggest tells are that they respond with superhuman speed, and that they're moderately competent across an inhumanly broad range of skills while being masters of almost nothing.

That, and they keep openly saying "I'm a bot" in various ways e.g. "As a large language model…", that have generally been expressly trained to not pretend to be a person, whereas the actual Turing Test is an AI that is trying to pretend to be a person — but again, these are things you can get around very easily by just asking the model to respond in certain ways.
by cmrx64 | 2025-12-27 12:58:19+00:00
the last paragraphs cite why junk theorems are objectionable but then fully misinterprets it to draw the opposite conclusion. the intersection is the S-feature and problematic. 1 + 2 = 4 is a “theorem beyond T” expressed in T theory.

don’t be mislead about what a junk theorem is!
by camgunz | 2025-12-27 12:58:23+00:00
> A bit like OK Waymo isn't perfect but it works in SF...we don't need a giant breakthrough to bring it to another 1000 cities

Well, a lot of cities have snow, or different flora and fauna, or different road rules (Karachi, Mexico City). Maybe the same approach works (spend hellacious amounts of money to train) but again, for what economic benefit?
by criticalfault | 2025-12-27 12:59:51+00:00
fair enough.

if this is so, I can admit I'm wrong. so not everything works for everyone.

For myself and members of my family, I can say that absolutely everything works on gnome. And I have several machines, spread over several cpu and gpu generations, and different form factors that confirm this. not only those 3 laptops I mentioned.

Could it be that since you are not using gnome that you are hitting those problems? My experience is exclusively gnome, so maybe this is it?

a11y aside of course... given that this was not really finished. or seriously worked on.
by timcobb | 2025-12-27 13:00:22+00:00
I used to think this but then developed the impression that quite the opposite is true, that a great many clever people live their lives betting on this or that (equities, derivities, sports, polymarket) and, unfortunately, that abstaining from betting (as I still do) is, unfortunately for me, an unrealistic maladaptive cope. I think the adaptive thing to do is to learn how to bet.
by Asmod4n | 2025-12-27 13:01:43+00:00
The one thing I like the most about mruby is the way you can ship apps.

When you normally want to ship apps which are written in Java, C#, python etc. you have to tell your users they have to download that runtime and your deps and how to start the runtime and which args to start your app from the command line.

With mruby you can just ship one file and everything is self contained.
by Already__Taken | 2025-12-27 13:02:06+00:00
I've always had stuff like this turned down by Netbox, they argue they want to model the logical topology as a source to trust, not the physicality, but then they model rack U placement. I'm always puzzled by their stance.

Like you can't model 1 cat5 split into two 100mb terminations, patch panels are kinda of hack, I think you can now but forever you couldn't just swap a termination direction because logically why would you (but their UI gets messy when 44 are done A-B and the 45th B-A)

Anyway that's thoughts as of maybe v2 or 3? Before the new UI when it was all jquery.
by immibis | 2025-12-27 13:02:40+00:00
CDU is not far left. It's reducing immigration, reducing social services, and removing bike lanes to make more room for cars. Not things the left is known for - but they are things the right is known for.

The best thing the right has done to advance its cause is to convince so many people that the words "right" and "left" don't have meanings.
by simonw | 2025-12-27 13:02:55+00:00
Given everything I've learned over the last ~3 years I think encouraging professional programmers (and increasingly other knowledge workers) not to learn AI tools would be genuinely unethical.

Like being an accountant in 1985 who learns to use Lotus-123 and then tells their peers that they should actively avoid getting a PC because this "spreadsheet" thing will all blow over pretty soon.
by mindcrash | 2025-12-27 13:03:05+00:00
"You are licensed to use compiled versions of the Mattermost platform produced by Mattermost, Inc. under an MIT LICENSE[...]You may be licensed to use source code to create compiled versions not produced by Mattermost, Inc. in one of two ways[...]1. Under the Free Software Foundation’s GNU AGPL v3.0, subject to the exceptions outlined in this policy"

https://github.com/mattermost/mattermost/blob/master/LICENSE...

This means that you can totally fork and patch any restrictions out of the publicly available source code, and there's not a bloody thing they can do to stop it.

Also, from a legal standpoint the "subject to the exceptions" part is bogus, because it is AGPL -- no exceptions can be made to that license, else it would not be copyleft anymore.
by firesteelrain | 2025-12-27 13:03:06+00:00
> what do you do when you want your to locally test your codebase across many Python versions?

I haven’t found that there was any breakage across Python 3.x. Python 2.x to 3.x yes.

Anyways, this all could be wrapped in a CICD job and automated if you wanted to test across all versions.
by ancillary | 2025-12-27 13:03:22+00:00
Yeah, on the spectrum of ways to make money, running a sports betting site is pretty bad. It's zero-sum (unlike, say, founding a company and getting rich from shares that were initially worthless), doesn't really incentivize discovery of any truly valuable info (if you find out a player is injured an hour before everyone else ... ok?), and seems to disproportionately hit people who are already not doing very well.

Seeing the statistics about young American men's betting habits makes me feel old.
by cmrx64 | 2025-12-27 13:04:37+00:00
List.TFAE is a helper definition and it’s invoked on a funny looking term when translated directly into english. I don’t know what I think, yeah it’s kinda junky but not in the way that 57 \mem 100 in a set encoding of the naturals.

theorem TFAE_7_binary : List.TFAE (7).bits := by
unfold Nat.bits Nat.binaryRec Nat.binaryRec; simp!
by Smaug123 | 2025-12-27 13:06:14+00:00
You can express those constraints; it just turns out to be less ergonomic in practice if you do. (You can even do so in terms of the junk-valued total functions! Just define `actual_subtraction` to call straight through to `junky_subtraction`, but `actual_subtraction` has these constraints on its domain.)

The mathlib way to do things is to push those requirements out to the one who wishes to use the theorem. If you find that you're depending on a junk value in a way that's incompatible with what you wanted to prove, then you've simply discovered that you forgot to restrict your own domain to exclude the junk. (And if your desired usage lines up with the junk, then great, you get to omit an annoying busywork hypothesis.) A sqrt function that gives 0 on the negatives isn't breaking any of sqrt's properties on the positives!

The mathlib way means that instead of every function having to express these constraints and pass proofs down the line, only some functions have to.
by dspillett | 2025-12-27 13:06:14+00:00
Only if deliberate. If the incorrect price is corrected as soon as the problem is noticed then that is (legally) fine. If the incorrect price is left displayed, or was put up deliberately to draw people in, then it is bait & switch.

The other solid bait & switch is advertising a product that they don't have any of to sell, in the hope that you'll come in and buy something more expensive (or lower value) instead.
I built a study app that actually works
by rl_elite | 2025-12-27 13:06:20+00:00
I was struggling at school so i decided to use AI tools. lot of them were good but either they were expensive or not in the same place. so i decided to create my own Tool. and charge only on ai usage and keep the rest for free so students can actually afford this. Would love to have feedback

leaflearning.app
by krapp | 2025-12-27 13:08:20+00:00
The problem here is that pilots report flybys by weird objects all the time, going back at least as far as the foo-fighters of WW2.

I don't believe it's aliens, and I suspect there must be multiple phenomena involved (including some hoaxing) but it can't all be nothing. Attention seeking doesn't really work because until recently reporting this sort of thing through official channels would get a pilot grounded.