MurphyA/hacker-news huggingface dataset:
by esperent | 2025-12-17 01:54:56+00:00
I run a sourdough bakery with my partner, as it happens. Although I'm not a baker, coming from a mathematics background I'm the one most focused on process and quality control. We don't use any commercial yeast so I've picked a few things related to targeting different flavors using the same starter.

We use different temperature profiles during proofing for different products (we have fancy proofing fridges where we set temperature profiles over a 12 to 36 hour period depending on the product). Low and slow is good for certain types of bread, or pizza base. But not so much for a brioche or croissant dough.

I personally love slow fermented, heavy rye based sourdough, but lots of our customers don't and the bread we sell most is a classic white sourdough fermented comparatively quickly at higher temperature for a lighter and less sour taste. It's still very slow fermentation compared to commercial yeast, of course.

The proofing temperature profile for this bread isn't as simple as "start warm and gradually cool down" (i.e. the warm oven method), but that is a reasonable approximation for a home baker.
by fiatjaf | 2025-12-17 01:56:04+00:00
It's quite simple:

- You publish to, say, 3 relays.

- I follow you or want to browse your content for any reason.

- I connect to your 3 relays and fetch your content.

If I want to follow someone else and they publish to other relays I fetch their posts from those relays.

If some of your relays start censoring you you can move to other relays, or run your own, and I'll start fetching your content from those.

There's an interactive animation demo at https://how-nostr-works.pages.dev/#/outbox that explains it.
by marifjeren | 2025-12-17 01:57:31+00:00
My criticism is about how the dramatic language differs from the banal content of the article.

Titling it "The World Happiness Report Is a Sham" and calling it "beset with methodological problems", I would expect some more serious scientific malpractices, like data fabrication, calculation errors, sampling problems, p-hacking, etc., not "I think there are some problems with this variable".
by cyberrock | 2025-12-17 01:57:35+00:00
I think the problem with that is that Firefox Android with uBO still feels like it has worse First Contentful Paint than Chrome Android. Even on a high-end phone the difference can feel ridiculous; sites render after 1-2s on Chrome but sometimes I can count up to 5 with FF.

The benefits of having uBO might matter more to you and me, but let's not forget that faster rendering was arguably the main reason Chrome Desktop got popular 20 years ago, which caused Firefox to rewrite its engine 2 (3?) times since then to catch up. 20 years later this company still hasn't learned with Android.
by lukeinator42 | 2025-12-17 01:57:44+00:00
that was quite the wild read, haha. Looks like they're going to have further meetings about the ducks but the conclusion of this meeting is that: "There was consensus among the Zoning Board of Appeals that the applicant has demonstrated emotional support ducks are necessary but did not come to a consensus on what would be reasonable regarding the number of ducks, the size and location of the enclosure, and conditions of approval."
by raw_anon_1111 | 2025-12-17 01:58:18+00:00
I have two blogs and they are both for one of the same reasons - as a public personal journal and I don’t care if anyone sees them. I don’t have links to either anywhere on the internet and they are both hosted on micro.blog.

I am a customer facing staff cloud consultant (specializing in app dev - “application modernization”) and when I have new personal insight, I randomly ramble to ChatGPT and ask it to give me a “devils advocate” response or a “steel man’s response”. I go back and forth and give it my responses.

I ask it to write a blog post about our discussion. I have instructions like no em dashes, no “not $x. But $y”. No call to action etc.

I still edit the output heavily. Once I am satisfied, I post it to my blog.

My blog doesn’t have my name attached to it anywhere or any contact information.

I do review it sometimes.

What I feel is a really good post after a bunch of edits and giving it time to marinate, gets copied to LinkedIn - with no link back to my blog.

Even then I don’t care about “engagement”. It’s so I will have a corpus of well thought out posts if I am looking for a job later.

The other types of posts are just links, with a quote from the article and if I saw the article on HN, I link to the comments.

I don’t need network opportunities through my posts. I’ve been in the tech industry for 30 years this coming June and I’ve been in consulting 6. I have plenty of industry contacts and a solid reputation.

FWIW: the other blog is just recording my frequent travels and concerts with my wife.
by MobiusHorizons | 2025-12-17 01:58:34+00:00
at some level it's not really an engineering issue. "bug free" requires that there is some external known goal with sufficient fidelity that it can classify all behaviors as "bug" or "not bug". This really doesn't exist in the vast majority of software projects. It is of course occasionally true that programmers are writing code that explicitly doesn't meet one of the requirements they were given, but most of the time the issue is that nothing was specified for certain cases, so code does whatever was easiest to implement. It is only when encountering those unspecified cases (either via a user report, or product demo, or manual QA) that the behavior is classified as "bug" or "not bug".

I don't see how AI would help with that even if it made writing code completely free. Even if the AI is writing the spec and fully specifies all possible outcomes, the human reviewing it will glance over the spec and approve it only to change their mind when confrunted with the actual behavior or user reports.
by ethanpil | 2025-12-17 01:58:44+00:00
> It took two initial prompts and a few tiny follow-ups. GPT-5.2 running in Codex CLI ran uninterrupted for several hours, burned through 1,464,295 input tokens, 97,122,176 cached input tokens and 625,563 output tokens and ended up producing 9,000 lines of fully tested JavaScript across 43 commits.

Using a random LLM cost calculator, this amounts to $28.31... pretty reasonable for functional output.

I am now confident that within 5-10 years (most/all?) junior & mid and many senior dev positions are going to drop out enormously.

Source: https://www.llm-prices.com/#it=1464295&cit=97123000&ot=62556...
by sshine | 2025-12-17 02:00:53+00:00
With Chinese you have 简拼 (jiǎnpīn) for your pinyin input, which lets you type only the initial Latin letters of a common phrase to complete the phrase.

For example, instead of typing “buzhidao” to get 不知道, you just type “bzd” and pick the top suggestion. Since all the phonetic endings are gone, it does look a little cryptic, but it means if you don’t have a pinyin keyboard, you can still type something fast that is highly correlated with your actual phrase.

For example when you’re searching a movie title on your SmartTV; teenage mutant ninja turtles (similarly abbreviated tmnt) becomes rzsg; some Chinese search tools will pick up on this; whether through statistics, fuzzy matching or specific 简拼 (jiǎnpīn) support, I don’t know.
by president_zippy | 2025-12-17 02:01:54+00:00
He's still going, but he's not as "angry" as he was circa 2006-2011.

He did that deleted episode on Custer's Revenge, and then he went back and made it even funnier by censoring it.

ORIGINAL: https://cinemassacre.com/atari-porn-angry-video-game-nerd-av...

CENSORED: https://www.youtube.com/watch?v=tvdIQFoaSr4
by noxa | 2025-12-17 02:02:14+00:00
No joke - I've used Windows (and a bit of OS X) my entire life and am old enough now that I didn't think I'd ever be able to switch. A few weeks back I hit the point where I had to upgrade from Windows 10 to 11 and just could not stomach the UX so in frustration I setup Kubuntu w/ Plasma... and it's been amazing. I've tried switching before without the same luck and I think agents like Claude/Codex/etc are the only reason it has stuck this time. Something that's always been unique to Linux is that if there's something I want to change I can generally do that, but now when I want something customized I can _actually_ do it instead of just slotting it into the infinite "if only I had time" bucket. There are quirks for sure (I'm looking at you, PipeWire) but the tinkery-ness of Linux on the desktop went from being friction to a super power for me just this month - maybe others will catch on next year.
by jameshilliard | 2025-12-17 02:02:23+00:00
> ICC claims jurisdiction in Palestine. Whether Israel or the US accepts that is their business. But that still doesn't explain the legal basis of going against individual employees of the ICC. I see no "imposition" of jurisdiction here by the ICC or any of the countries that signed the Rome statute.

The ICC is attempting to have arrest warrants enforced through cooperation with states that are parties to the Rome Statutes for claimed offenses by citizens of countries that are not party to the Rome statute. The US views this as an attack on sovereignty essentially and essentially has decided to retaliate by imposing sanctions.

> The ICC merely issues documents; everybody is free to agree or disagree with their documents. They have no power of enforcement whatsoever. The US here is taking action.

The ICC issues documents that Rome Statute signatories have agreed to enforce(whether they actually enforce in practice is another matter. Regardless it seems pretty clear that the US considers any threat of enforcement to be sufficient grounds to impose sanctions against the organization they view as attacking it.

> Can you point me at any action that the ICC has taken in the United States?

The ICC has made it difficult for the head of government of a strategic ally of the US to travel to many countries at a time when that ally is under attack by many other countries. The ICC has in effect threatened to do the same to US citizens as well. There's a bit more nuance than this but it's not hard to see why the US views the ICC as a real threat worthy of sanctions. This is not really a new thing either, the US has even strong-armed many countries into signing "Article 98 agreements" in order to ensure ICC doesn't have jurisdiction over US citizens.[0]

[0] https://en.wikipedia.org/wiki/United_States_and_the_Internat...
by capitainenemo | 2025-12-17 02:02:36+00:00
Belated update on this. Gemini reasoning did much better than quick on bracket city today (an easy puzzle but still). It only failed to solve one clue outright, got another wrong but due to ambiguity in the expression referenced and in a way that still fit the next level down making the final answer fairly cleanly solved. Still clearly has a harder time with it than the connections puzzle.
by Nextgrid | 2025-12-17 02:04:27+00:00
Self-hosting on a host whose data actually persists is an even better experience, as it removes a lot of the tedium and workarounds such as extracting/down-/up-loading caches and so on. Get another host for redundancy and call it a day.

Hardware is getting cheaper and cheaper, but the fear-mongering around running a Linux machine has successfully prevented most businesses from reaping those cost reductions.
by kittikitti | 2025-12-17 02:04:53+00:00
I did this for myself with their API's. I find it most useful for one in the morning and one right before you leave work for the day, informing you of what's important for the next day. That way, you can prepare that evening for the next day plus a reference if things change by the time you wake up. These are useful tools and I'm glad big tech is implementing them because people have snarky responses about AI if there's not already some gatekeeper rolling it out.
by D-Machine | 2025-12-17 02:05:03+00:00
It's a bit funny, the qualia thing and sampling rates.

Obviously we hope what we learn from e.g. psychology and fMRI will help us explain more things about the mind, and surely most researchers in psychology hope their research will help us get some answers on things related to qualia as well. And almost certainly most good / consistent reductionist researchers must believe that qualia arise from the brain, at least in significant part.

However, precisely by this reductionist logic, and since it is immediately and phenomenally clear that the rate of change of qualia in the mind (or the "amount" of different qualia, i.e. images or sounds that one can process or generate in the mind in under a second) is incredibly fast, it follows immediately and logically without any need for an experiment that fMRI cannot have the temporal resolution needed for a rich understanding of the mind, simply based on knowing the TR (temporal sampling resolution) is so poor. And yet, I also find a lot of people in scientific brain research go oddly silent or seem to refuse to accept this argument unless some strange sort of published, quantificationist operationalization can be pointed to (hence my pre-emptive mentioning information transmission in neurons in under 100ms).

I'm not sure I'd call this scientism, exactly, I tend to see it as "selective quantificationism", i.e. that certain truths can only be proven as true if you introduce some kind of numerical measurement procedure and metrical abstraction. Like, no one demands a study with Scoville units to prove that e.g. a ghost pepper is at least an order of magnitude hotter than candied ginger, even though this is as blazingly obvious as the fact that the mind moves too fast for something that can barely capture images of the brain at a rate of two per second.
by spacechild1 | 2025-12-17 02:05:21+00:00
> It theoretically should be able to do it, but even with -flto, there are likely cases, where it doesn't.

Note that link time optimization only works on a particular binary. What if the function is implemented in a shared library?

> It is less of a problem with C, since you explicitly tell the compiler, whether you want things to get passed as value or pointer.

It works the exact same way in C++, though.
by tanin | 2025-12-17 02:06:04+00:00
I've built a similar app but for desktop GUI. The UI is very similar to this app because I like TUI style UI due to the efficient use of UI space.

It focuses more on editing and exploring data for power users. UI space is utilized well. Exploring millions of rows is a breeze. Writing SQLs and managing them is pleasant with the multi-tab approach.

I'm working through adding the shortcuts and modal mode. I want to make it more like vim where you just use shortcuts to do things.

It supports postgres, click house, and sqlite

I'm looking for early beta users. If you are interested in a GUI version, here: https://github.com/tanin47/backdoor
by hwayne | 2025-12-17 02:06:08+00:00
> No problem with floats or strings as far as specification goes. The particular verification tools you choose to run on your TLA+ spec may or may not have limitations in these areas, though.

I think it's disingenuous to say that TLA+ verifiers "may or may not have limitations" wrt floats when none of the available tools support floats. People should know going in that they won't be able to verify specs with floats!
by kjgkjhfkjf | 2025-12-17 02:06:55+00:00
I'm glad you wrote it up. Thanks! But I feel like the folks behind the HTML5 spec and the comprehensive test suite deserve the lion's share of the credit for this (very neat) achievement.

Most projects don't have a detailed spec at the outset. Decades of experience have shown that trying to build a detailed spec upfront does not work out well for a vast class of projects. And many projects don't even have a comprehensive test suite when they go into production!
by aoeusnth1 | 2025-12-17 02:07:09+00:00
In what way were the sentences content heavy? It's quite repetitive, and often the meaning of a section of it will be split into individual fragments.

I get it.

One sentence pragraphs feel punchy.

It feels like you're writing copy for an Apple ad.

..but it only works when it's in another medium, in a shorter format. In this form, it's just exhausting.
by TheRealPomax | 2025-12-17 02:07:34+00:00
Firefox is not for general users, which is the problem that Mozilla's for a literal decade now. There is no way to make it better than Chrome or Safari (because it has to be better for every day users to switch, not just "as good" or even "way more configurable but slightly worse". It has to be appreciably better).

So the only user base is the power user. And then yes: sane defaults, and a way to turn things on and off. And functionality that makes power users tell their power user friends to give FF a try again. Because if you can't even do that, Firefox firmly deserves (and right now, it does) it's "we don't even really rank" position in the browser market.
by Nextgrid | 2025-12-17 02:08:14+00:00
Because then you protect against a compromised/misbehaving developer workstation. No matter what the individual developer does, the server will prevent a PR being merged if it doesn’t pass the server-enforced checks.

Running builds on a designated server would also protect against malware on a developer’s machine silently embedding itself into the resulting artifact and then deployed to production.
by markkitti | 2025-12-17 02:08:53+00:00
> I wish there was a way to specify the offset base with something like a C #define or compiler directive.

Julia has OffsetArrays.jl implementing arbitrary-base indexing: https://juliaarrays.github.io/OffsetArrays.jl/stable/

The experience with this has been quite mixed, creating a new surface for bugs to appear. Used well, it can be very convenient for the reasons you state.

julia> A = collect(1:5) 5-element Vector{Int64}: 1 2 3 4 5 julia> B = OffsetArray(A, -1) 5-element OffsetArray(::Vector{Int64}, 0:4) with eltype Int64 with indices 0:4: 1 2 3 4 5 julia> A[1] 1 julia> B[0] 1
by stephen | 2025-12-17 02:08:56+00:00
Hello! Yeah, I totally get Dagger is more "hey client please create a DAG via RPC calls", but just making something up in 30 seconds, like this is what I had in mind:

https://gist.github.com/stephenh/8c7823229dfffc0347c2e94a3c9...

Like I'm still building a DAG, but by creating objects with "kinda POJOs" (doesn't have to be literally POJOs) and then stitching them together, like the outputs of 1 construct (the build) can be used as inputs to the other constructs (tests & container).
by chrismorgan | 2025-12-17 02:09:07+00:00
> We couldn't have guessed it at the time, but as of 2025, Google is pushing developer verification and stepping closer and closer to ecosystem lockdown.

We did guess it. Google were already past their “don’t be evil” days in 2013. They were possibly better than other companies of similar scale, but the decline was already clearly beginning. People had long warned that Google could not be trusted to keep Android open in the long term, that eventually their benevolence would fade. A good chunk of the enthusiasm around Firefox OS was in breaking the duopoly and the idea of a platform that would be much harder to lock down.
by brigandish | 2025-12-17 02:11:16+00:00
I keep addressing your points and you keep moaning about other people. Since sex and gender are not different until you are able to provide some reason that they are beyond bare assertion then gametes are relevant.

> you could tell us all what the scientific discovery was that made gender separate from sex, who found it and when, and what the defining difference is. Did they win a Nobel for that?

Take your time, but please avoid making me restate what I've written along with the obvious implications simply because you find it all too inconvenient to address.
by Terr_ | 2025-12-17 02:11:16+00:00
> [Life is] the only system in the universe that uses information for its own purposes.

This seems like the start of something a little circular: What does the thing? Life does. How do you know it's Life? It does the thing.

> One of physicists’ great talents—starting with the laws of simple parts (such as atoms) and working up to a complex whole—cannot fully account for cells, animals, or people. Luckily, the field has another elemental skill that can help: a particular way of asking questions and building models to make predictions. Physicists have always been good at capturing the essential aspects of a system and casting those essentials in the language of mathematics.

Obligatory: https://xkcd.com/793/
by amluto | 2025-12-17 02:11:54+00:00
How about: Mozilla HTTPS To My Router (or printer or any other physically present local object) in a way that does not utterly suck?

Seriously, there’s a major security and usability problem, it affects individual users and corporations, and neither Google nor Apple nor Microsoft shows the slightest inclination to do anything about it, and Mozilla controls a browser that could add a nice solution. I bet one could even find a creative solution that encourages vendors, inoffensively, to pay Mozilla a bit of money to solve this problem for them.

Also:

> Thunderbird for iOS - why is this not a thing yet?

Indeed. Apple’s mail app is so amazingly bad that there’s plenty of opportunity here.
by scrlk | 2025-12-17 02:12:41+00:00
gpt-oss is STEM-maxxed, so I imagine most of the praise comes from people using it for agentic coding.

> We trained the models on a mostly English, text-only dataset, with a focus on STEM, coding, and general knowledge.

https://openai.com/index/introducing-gpt-oss/
by jcranmer | 2025-12-17 02:13:00+00:00
> My intuition is that LLMs will for many use cases lead us away from things like formal verification and even comprehensive test suites. The cost of those activities is justified by the larger cost of fixing things in production; I suspect that we will eventually start using LLMs to drive down the cost of production fixes, to the point where a lot of those upstream investments stop making sense.

There is still a cost to having bugs, even if deploying fixes becomes much cheaper. Especially if your plan is to wait until they actually occur in practice to discover that you have a bug in the first place.

Put differently: would you want the app responsible for your payroll to be developed in this manner? Especially considering that the bug in question would be "oops, you didn't get paid."
by ipdashc | 2025-12-17 02:13:12+00:00
At this point it's almost more annoying than the AI hype in the first place.

The hype by now at least seems pretty much self aware. It's mind-boggling to me that people don't realize all the Mozilla stuff is completely empty/PR fluff. You have to say you're an "AI first company" because that's the only thing investors want to hear in 2025. Everyone knows it's all fluff, they say it anyways. I will wait and see if it actually meaningfully affects their product or not.

The complaints meanwhile are spammed everywhere, and like you said, it's the same exact content every time. We get it, new features that you aren't going to use are annoying. Disable them or just don't use them, is is really that big a deal? The CEO literally says they will all be able to be disabled.
by ekr____ | 2025-12-17 02:13:26+00:00
Ugh. Because they also say:

"Two other forms of advanced configuration allow even further customization: about:config preference modifications and userChrome.css or userContent.css custom style rules. However, Mozilla highly recommends that only the developers consider these customizations, as they could cause unexpected behavior or even break Firefox. Firefox is a work in progress and, to allow for continuous innovation, Mozilla cannot guarantee that future updates won’t impact these customizations."

https://support.mozilla.org/en-US/kb/firefox-advanced-custom...
by miki_oomiri | 2025-12-17 02:13:50+00:00
Yep. I’ll die on the hill. Engineer and designers. That’s all we really need.

We started with a very very small team and did all the heavy lifting. Then they started adding PM, marketing, market people, HR, …

We were striving when we were not drowning in meetings, KPIs, management, emails, …