MurphyA/hacker-news huggingface dataset:
by adregan | 2025-08-13 18:24:05+00:00
When the article mentions "tech-adjacent," I think it is worth keeping in mind that this includes a broad swath of jobs that would never had qualified for amortizing salaries as R&D. For example, I'm skeptical that the tax change will have an impact on the number of television and film producers that are currently unemployed due to a huge slowdown in greenlighting projects from streaming services. I feel there is a contraction happening (though, practically, it doesn't always appear that way) that is a greater source of consternation than amortizing developer salaries will alleviate.
by leptons | 2025-08-13 18:24:11+00:00
If you need alcohol to get laid or make friends then I feel very sorry for you. Most people I know got laid in high school (sometimes actually inside the school), without any alcohol involved at all. We also made plenty of friends. YMMV, I guess. I suppose some people are only likable if other people are drunk? I generally avoid those kinds of people no matter how inebriated I am.
by manca | 2025-08-13 18:24:19+00:00
The only problem with this PR/diff is that it creates just a avfilter wrapper around whisper.cpp library and requires the user to manage the dependencies on their own. This is not helpful for novice users who will first need to:

1. git clone whisper.cpp

2. Make sure they have all dependencies for `that` library

3. Hope the build passes

4. Download the actual model

AND only then be able to use `-af "whisper=model...` filter.

If they try to use the filter without all the prereqs they'll fail and it'll create frustration.

It'd be better to natively create a Whisper avfilter and only require the user to download the model -- I feel like this would streamline the whole process and actually make people use it much more.
by stego-tech | 2025-08-13 18:24:24+00:00
> If you want a non-trustworthy authority... go with a custom CA. It's intentionally difficult to do so.

This is where I get rankled.

In IT land, everything needs a valid certificate. The printer, the server, the hypervisor, the load balancer, the WAP’s UI, everything. That said, most things don’t require a publicly valid certificate.

Perhaps Intermediate CA is the wrong phrase for what I’m looking for. Ideally it would be a device that does a public DNS-01 validation for a non-wildcard certificate, thus granting it legitimacy. It would then crank out certificates for internal devices only, which would be trusted via the Root CA but without requiring those devices to talk to the internet or use a wildcard certificate. In other words, some sort of marker or fingerprint that says “This is valid because I trust the root and I can validate the internal intermediary. If I cannot see the intermediary, it is not valid.”

The thinking goes is that this would allow more certificates to be issued internally and easily, but without the extra layer of management involved with a fully bespoke internal CA. Would it be as secure as that? No, but it would be SMB-friendly and help improve general security hygiene instead of letting everything use HTTPS with self-signed certificate warnings or letting every device communicate to the internet for an HTTP-01 challenge.

If I can get PKI to be as streamlined as the rest of my tech stack internally, and without forking over large sums for Microsoft Server licenses and CALs, I’d be a very happy dinosaur that’s a lot less worried about tracking the myriad of custom cert renewals and deployments.
by Nevermark | 2025-08-13 18:24:49+00:00
That was always a specious test.

LLMs don't ingest text a character at a time. The difficulty with analyzing individual letterings just reflected that they don't directly "see" letters in their tokenized input.

A direct comparison would be asking someone how many convex Bézier curves are in the spoken word "monopoly".

Or how many red pixels are in a visible icon.

We could work out answers to both. But they won't come to us one-shot or accurately, without specific practice.
by reikonomusha | 2025-08-13 18:25:18+00:00
I think you're right that debugging errors involving complicated macros can get difficult, but to at least make the situation more tolerable, when Coalton expands a macro, it remembers where the expansion came from, so an error will be reported in the right place with the right source code. For example, using the RPN macro from the sister comment, here's an intentional type error:

COALTON-USER> (coalton (rpn "x" "y" +)) --> <macroexpansion>:1:9 | 1 | (COALTON (RPN "x" "y" +)) | ^^^^^^^^^^^^^^^ expression has type ∀. (NUM STRING) => STRING with unresolved constraint (NUM STRING) | ^^^^^^^^^^^^^^^ Add a type assertion with THE to resolve ambiguity [Condition of type COALTON-IMPL/TYPECHECKER/BASE:TC-ERROR]
by adastra22 | 2025-08-13 18:25:29+00:00
Could, e.g., a custom-made 100ktoken summary of the architecture and relevant parts of the giant repo and base index of where to find more info be sufficient to allow Opus to take a large task and split it into small enough subprojects that are farmed out to Sonnet instances with sufficient context?

This seems quite doable with even a small amount of tooling around Claude Code, even though I agree it doesn't have this capability out of the box. I think a large part of this gulf is "it doesn't work out of the box" vs "it can be made to work with a little customization."
by hinkley | 2025-08-13 18:25:30+00:00
Mountain bikers taught me about this back when it was a new sport. Don’t look at the tree stump.

Children are particularly terrible about this. We needed up avoiding the brand new cycling trails because the children were worse hazards than dogs. You can’t announce you’re passing a child on a bike. You just have to sneak past them or everything turns dangerous immediately. Because their arms follow their neck and they will try to look over their shoulder at you.
by simianparrot | 2025-08-13 18:26:50+00:00
I agree there's probably more protections necessary. For example I'm also strongly against any religion based altering of the body of children -- circumcision included -- that isn't medically necessary. Although I guess that's a much discussed topic of its own.

The problem is that drawing this line isn't always simple. Make the law too strict, and you can just as easily end up barring doctors from performing surgeries that by their correct case-by-case judgement is necessary, but the law prohibits because it necessitates, say, medical consensus in general. But make the law too lax and you open the doors to purely cosmetic surgeries which I am absolutely against.

What we cannot have is the ability for children whom cannot legally make medical decisions be allowed to start things like gender-affirming care. Because if we can't trust them with other less life-altering choices, how could we trust them with that? Especially given how easily influenced children are.
by smarx007 | 2025-08-13 18:27:01+00:00
When will this land in mainline distros (no PPAs etc)? Given that a new stable version of Debian was released very recently, I would imagine August 2027 for Debian and maybe April 2026 for Ubuntu?

In this very thread some people complain that certbot uses snap for distribution. Imagine making a feature release and having to wait 1-2 years until your users will get it on a broad scale.
by bitwize | 2025-08-13 18:27:18+00:00
Strong static typing is an absolute must for large scale software engineering. CL code can be made very performant without it, but there are enormous development speed and correctness gains to be had by type-checking programs before they are executed rather than at runtime.

It's 2025, people. Dynamic languages for serious projects were a 90s fad, hopefully never to be repeated.
by nukifw | 2025-08-13 18:27:18+00:00
Hi! Thank you for your interest (and for potentially reading this).

Yes, F# is a very nice language, however, it seems to me that I am making a somewhat forced comparison between OCaml and F# in the following section: https://xvw.lol/en/articles/why-ocaml.html#ocaml-and-f
by matheusmoreira | 2025-08-13 18:27:26+00:00
> You have to explicitly give others permission to use that data for any purpose

This is already the case. All the contracts and terms of service documents already contain these permission clauses. People don't even read such things.

The funniest contracts are the ones that say "by using this site, you agree to [surveillance capitalism]". People have to navigate the site in order to even read the contract so it's logically equivalent to writing "by reading this contract, you accept it".

People need to start making laws that invalidate these silly documents.
by ForceBru | 2025-08-13 18:27:38+00:00
Sure, but it makes sense, doesn't it? Even `inf-inf == NaN` and `inf/inf == NaN`, which is true in calculus: limits like these are undefined, unless you use l'Hôpital's rule or something. (I know NaN isn't equal to itself, it's just for illustration purposes) But then again, you usually don't want these popping up in your code.
by sanketsahu | 2025-08-13 18:28:10+00:00
RapidNative is an AI tool that converts prompts into fully functional, production-ready React Native + Expo screens. It generates clean TypeScript code with NativeWind styling, lets you refine via chat, and exports to Expo or CLI projects. Ideal for founders, designers, and devs who want to go from idea to native mobile UI in minutes without vendor lock-in.
by ackfoobar | 2025-08-13 18:28:14+00:00
> Sum types: For example, Kotlin and Java (and de facto C#) use a construct associated with inheritance relations called sealing.

This has the benefit of giving you the ability to refer to a case as its own type.

> the expression of sums verbose and, in my view, harder to reason about.

You declare the sum type once, and use it many times. Slightly more verbose sum type declaration is worth it when it makes using the cases cleaner.
by _mu | 2025-08-13 18:28:17+00:00
I haven't worked in OCaml but I have worked a bit in F# and found it to be a pleasant experience.

One thing I am wondering about in the age of LLMs is if we should all take a harder look at functional languages again. My thought is that if FP languages like OCaml / Haskell / etc. let us compress a lot of information into a small amount of text, then that's better for the context window.

Possibly we might be able to put much denser programs into the model and one-shot larger changes than is achievable in languages like Java / C# / Ruby / etc?
by zevon | 2025-08-13 18:29:05+00:00
Same attitude here (personal animosity against companies who fuck you over and do malicious sellouts but no such memories of the process Pebble went through in their last company iteration).

In fact, I still wear a Pebble daily. Both my Time and Time Steel still work great and I still strongly prefer the whole concept and the UI/UX to any other watch. As soon as they release the iOS app, my Pebble Time will become my "work watch", paired to my job-issued iPhone.
by abeppu | 2025-08-13 18:29:35+00:00
I mean in the US a bunch of them are still the remaining product of redlining policies where racial minorities were allowed to live but banks would not give loans. Housing segregation was planned and enforced. That sounds a lot like intentional creation of a ghetto. And later when cities need to invest in building amenities, or raze neighborhoods to make way for infrastructure, often it's been the minority neighborhoods that are neglected or destroyed respectively. Of _course_ ghettos are the result of planning and intentional policy.
by nicbou | 2025-08-13 18:29:36+00:00
As someone who is currently threatened by the Google Zero, thank you.

This applies to recipes, but also to everything else that requires humans to experience life and feel things. Someone needs to find the best cafes in Berlin and document their fix for a 2007 Renault Kangoo fuel pump. Someone needs to try the gadget and feel the carefully designed clicking of the volume wheel. Someone has to get their heart broken in a specific way and someone has to write some kind words for them. Someone has to be disappointed in the customer service and warn others who come after them.

If you destroy the economics of sharing with other people, of getting reader mail and building communities of practice, you will kill all the things that made the internet great, and the livelihoods of those who built them.

And that is a damn shame.
by southernplaces7 | 2025-08-13 18:29:46+00:00
The delivery system would have been mostly irrelevant if they'd gotten the bomb on time. Having even one functional nuke at any time at all before or just shortly after June 6th 1944 and dropping it on London or even around the Normandy beachhead (well within German reach even in 1944) would have pretty much killed the D-Day landings stone dead immediately, and that was something they certainly plausibly could have done if it had been taken seriously by the leadership early enough. The V-Weapons program alone cost MUCH more than the Manhattan Project, for example, and it was (despite being technically incredible for its time) a total waste of resources under the circumstances.

The Germans also spent so much money on so many absurd things that had they simply directed it more precisely to the bomb at an earlier time, cost at least wouldn't have been a limitation. Even as things stand historically, they created a number of completely cutting-edge weapons despite all the catastrophic problems you describe, so much so that the US, USSR and UK all spent years after the war, largely cribbing off what the Nazis' R&D had already developed to some extent.
by rmah | 2025-08-13 18:29:51+00:00
If you set a recurring meeting, every Friday at 10:00AM, New York time, the time in UTC varies (either 14:00 UTC or 15:00 UTC) depending on the date. Further, what is displayed depends on the viewer's location (because daylight savings times change differently based on location/date). IOW, the time of the meeting occurs on TWO UTC times, not one. You can't just store UTC and be done with it. You need the originating timezone too. In other cases you may need the date the item was created as well.

More sophisticated calendar software will take into account holidays or use offsets from month start/end. i.e. "we'll have a meeting at 9:00pm Tokyo time, every last business day of each month".
by bigbadfeline | 2025-08-13 18:29:54+00:00
> Somehow a computer system that encourages people to take bromide isn't. There ought to be a middle ground.

Yes, there is a very effective middle ground that doesn't punish anybody for providing information. It's called a disclaimer:

"The information provided should no be construed as medical advise. Please seek other sources of information and/or consult a physician before taking any supplements recommended by LLMs or web sites. This bot is not responsible for any adverse effects you may think are due to my information"

When an LLM model detects a health related question - print the above disclaimer before the answer.

There is no need for dictatorship in order to save people from information.
by phillipcarter | 2025-08-13 18:30:07+00:00
I wouldn’t bet on automated deep research until they figure out a business model that gives people a throat to choke. Enterprise software is a world where it’s more important to have another human you can blame for when you fuck things up than actually making a good decision. What incentive is there for an exec to say, “well I ran a deep research and it seemed good enough to me” when their boss demands an answer as to why $VENDOR was a bad choice?
by avgDev | 2025-08-13 18:30:10+00:00
Current social media have basically found the "bliss point" of online engagement to generate revenue and keep the eyes attached. These companies found a way to keep people hooked, and strong emotions seem to be a major tool.

It really isn't a choice. It is very accessible. Many friends are on social networks and you slowly get sucked into shorts. Then, it becomes an addiction as your brain crave the dopamine hits.

Similar to what Howard Moskowitz did with food.
by bell-cot | 2025-08-13 18:30:11+00:00
Scroll up and read the comment by JKCalhoun, for the context of my prior comment.

Or: I'm decades too old to have grown up in the modern "failure to get attention online = death" social media dystopia. A dozen lines of shell script could pretty well predict the meals I eat in a day. Or how many times I get up to pee in the night. Neither of those facts bother me.

And if I want some "the world is better for my being here" feedback - there are a dozen or more local non-profits, churches, and frail old friends/neighbors who would would happily welcome my assistance or visit on any given day.
by autoexec | 2025-08-13 18:30:19+00:00
Putting just about anything in front of your face will help prevent spreading illness to some extent, this is why we teach children to "vampire cough". Masks were always effective to some degree. The CDC lied to the public by initially telling them not to use masks because they wanted to keep the supply for healthcare workers and they were afraid that the pubic would buy them all up first. It was a very very stupid thing to do and it undermined people's trust in the CDC and confused people about masks. After that masks became politicized and the whole topic became a minefield.
by hinkley | 2025-08-13 18:30:21+00:00
I used to have fast enough reflexes that when someone said “do not think of” I could think of something bizarre that they were unlikely to guess before their words had time to register.

So now I’m, say, thinking of a white cat in a top hat. And I can expand the story from there until they stop talking or ask me what I’m thinking of.

I think though that you have to have people asking you that question fairly frequently to be primed enough to be contrarian, and nobody uses that example on grown ass adults.

Addiction psychology uses this phenomenon as a non party trick. You can’t deny/negate something and have it stay suppressed. You have to replace it with something else. Like exercise or knitting or community.
by m4nu3l | 2025-08-13 18:30:25+00:00
Developing a model of the real world, or even just learning only a subset of self-consistent information, could be detrimental to the task of predicting the next token in the average text, given that most of the written information on many subjects could be contradictory and somehow wrong. I don't know how they are doing RL on top of that, how they are using synthetic data or filtering them. But it's clear that even with GPT-5 they haven't solved the problem, as the presentation demonstrated with the very first prompt (I'm talking about the wrong explanation for lift produced by a wing).
by Kirby64 | 2025-08-13 18:30:30+00:00
So, you're agreeing with me then?

Removing a cab and a human removes at minimum 300-500 lbs (when you account for human weight, all the framing, window glass, HVAC components, seats, screens, etc etc) which is balanced somewhat evenly across both axles.

That means you can take that weight, and use only a portion of it to balance the tractor. Less weight overall.
by nukifw | 2025-08-13 18:30:51+00:00
Indeed, efforts should be made in terms of DAP (https://microsoft.github.io/debug-adapter-protocol//), extending the following experimentation: https://lambdafoo.com/posts/2024-03-25-ocaml-debugging-with-.... However, I find the assertion about tooling a bit exaggerated, don't you?
by atonse | 2025-08-13 18:30:57+00:00
No idea... We've been perfectly happy to go to the Wawa-based Superchargers. They're clean, bright, and have a decent selection of things you'd stop for during a road trip.

I think the longest we've spent at a Supercharger was maybe 20 mins. The charge rates really drop (like charging any battery), so it often makes more sense to just stop a couple times with a low battery and add another 100 miles of range in < 5-10 mins.

But I would hope that Tesla has much better data on their users to be able to determine how long people would stop, and where.
by kube-system | 2025-08-13 18:31:06+00:00
My experience doesn’t line up with most of what you are asserting.

Many companies do have reasons to want employees in high COL areas, e.g. to be closer to the office, closer to customers, or lower travel costs.

And it is not uncommon to receive COL bumps upward when moving to higher cost locations. It is advisable to do this so that you keep your employees happy and don’t have them jump ship to other employers that will pay more.
by JonChesterfield | 2025-08-13 18:31:07+00:00
This really shouldn't get the fundamental point wrong

> When an employee exercises an option, the company must issue a new share of stock that can be publicly traded.

No. When you exercise, you get the stock, but it's definitely not guaranteed to be publicly traded.

For example Graphcore gave people options, which if exercised became stock in graphcore. If you then found a buyer and asked GC to approve the sale, they declined. Not public. Later they revalued that stock at zero.

To a better approximation, stock options work if you trust the company to pay out.
by swiftcoder | 2025-08-13 18:31:33+00:00
There are a bunch of weird smartwatches that get pretty close to this - for example, the Amazfit Bip S Lite claims 30 days of battery with a similar transflective screen (albeit I think the heart rate monitor drops to once every measuring 5 minutes in battery saver mode).

Similarly, the Withings Scanwatch claims the same, although as a hybrid smartwatch, it is not driving such a power-hungry screen.
by scarface_74 | 2025-08-13 18:32:06+00:00
I worked at Amazon - AWS Professional Services to be exact. They trusted their employees with admin access. You had to toggle an option and click on a box saying you would be responsible with admin access.

I think AWS knows a little bit about defense in depth…

Every blue badge employee at Amazon as far as I know has the ability to get Admin access by clicking on a button on the home built app.

You also might be surprised that in the last 8 years since working with AWS technology, I’ve never worked at a company where I didn’t have Admin access to an AWS account. At AWS we could create as many sandbox accounts as we wanted to with Admin access and every client I have worked with for thd pass five+ years I’ve asked for a none production account with the “PowerUser” policy + iam::* permissions - which is admin in all but name.
by gwbas1c | 2025-08-13 18:33:07+00:00
I recently had a cardiologist wag her finger at me and tell me that recent data pretty much demonstrates that there really isn't any healthy amount of alcohol to consume.

20 years ago, when "1 drink a day is healthiest" was all over the news, I said cheers and picked up the habit. It's kind of hard to break, considering that I really, really enjoy the flavor of alcoholic beverages. Alcohol, as a solvent, allows for flavor profiles that just water don't allow.
by slhck | 2025-08-13 18:33:22+00:00
While that would be nicer from an end-user perspective, it's something hard to maintain for FFmpeg itself. Consider the velocity of the whisper-cpp project. I'm sure that – just like with filters such as vmaf, which also require building a dependency and downloading a model – precompiled versions will become available for novice users to directly download. Especially considering whisper-cpp is MIT-licensed.
by Saris | 2025-08-13 18:33:28+00:00
Caddy does have some bizarre limitations I've run into, particularly logging with different permissions when it writes the file, so other processes like promtail can read the logs. With Caddy you cannot change them, it always writes with very restrictive permissions.

I find their docs also really hard to deal with, trying to figure out something that would be super simple on Nginx can be really difficult on Caddy, if it's outside the scope of 'normal stuff'

The other thing I really don't like is if you install via a package manager to get automated updates, you don't get any of the plugins. If you want plugins you have to build it yourself or use their build service, and you don't get automatic updates.