MurphyA/hacker-news huggingface dataset:
by Ozzie_osman | 2025-07-23 05:21:47+00:00
What they are describing as "Trunk-Based Development" seems a little extreme, and frankly, I'm not sure how achievable it is. Generally, when I've seen/implemented TBD it has involved Pull Requests and code reviews (they seem to imply it shouldn't). With their definition, I think a few issues arise: * Even if you think you can have high quality without PRs, in many industries, it's part of security/compliance. * They say that PRs undermine shared ownership, when actually, PRs done right can enable shared ownership (yes, I can't just merge whatever I want, but also, I get to help ensure no one merges whatever they want).

They also say that "no branches are created". In reality, I don't see how you do any modern development without branches. If anything, contributors need a local branch that is then merged to the trunk (unless, somehow, everyone is live-editing the main branch?). The idea of TBD is just to have smaller, short-lived branches that are frequently merged into main (very doable with pull requests).
by mbrd | 2025-07-23 05:22:20+00:00
I’ve found scale modeling to be a very rewarding (and screen-free) hobby since Covid times, and I’ve built more Tamiya kits than any other manufacturer.

I’ve heard that Mr Tamiya was very hands-on in choosing their topics for kits so it will be interesting to see how things change. But what a company he built!

Edit: here is the official Tamiya announcement https://www.tamiya.com/english/pressrelease/20250722/index.h...
by TheDong | 2025-07-23 05:22:25+00:00
I think most of the failures of vibe-coding can be fixed by running the agent inside a sandbox (a container or VM) that doesn't have access to any important credentials.

I think the failures like this one, deleting files, etc, are mostly unrelated to the programming language, but rather the llm has a bunch of bash scripting in its training data, and it'll use that bash scripting when it runs into errors that commonly are near to bash scripting online... which is to say, basically all errors in all languages.

I think the other really dangerous failure of vibe coding is if the llm does something like:

cargo add hallucinated-name-crate cargo build

In rust, doing that is enough to own you. If someone is squatting on that name, they now have arbitrary access to your machine since 'build.rs' runs arbitrary code during 'build'. Ditto for 'npm install'.

I don't really think rust's memory safety or lifetimes are going to make any difference in terms of LLM safety.
by fn-mote | 2025-07-23 05:24:05+00:00
The page listing topics (just like the playlist):

https://ocw.mit.edu/courses/6-1200j-mathematics-for-computer...

Lecture notes:

https://ocw.mit.edu/courses/6-1200j-mathematics-for-computer...

There are a few unusual parts, like the last lecture ("Large Deviations"). I'm not familiar with the entire course, but IMO the lecture on state machines is very good; it discusses invariants and uses an approchable example (the 15-puzzle).

Text (last revised 2018): https://courses.csail.mit.edu/6.042/spring18/mcs.pdf

If you have never looked at it, the problems there are very nice. For example, instead of some dry boolean logic problem about A and Not(B), you have Problem 3.17 on page 81, which begins:

This problem examines whether the following specifications are satisfiable: 1. If the file system is not locked, then. . . (a) new messages will be queued. (b) new messages will be sent to the messages buffer. (c) the system is functioning normally, and conversely, if the system is functioning normally, then the file system is not locked. [...] (a) Begin by translating the five specifications into propositional formulas using the four propositional variables [...]
by soraminazuki | 2025-07-23 05:24:56+00:00
Google is known to sabotage non-Chrome browsers and ad-blockers on YouTube, accidentally on purpose at every chance it can get. That's hardly Firefox's fault.

2014: https://news.ycombinator.com/item?id=8606879

2016: https://news.ycombinator.com/item?id=10877810

2018: https://old.reddit.com/r/programming/comments/91i0mc/youtube...

2018: https://news.ycombinator.com/item?id=18697824

2019: https://archive.is/tgIH9

2019: https://www.thurrott.com/google/207371/google-now-forces-mic...

2020: https://news.ycombinator.com/item?id=22422522

2023: https://old.reddit.com/r/youtube/comments/17z8hsz/youtube_ha...

2024: https://news.ycombinator.com/item?id=41379517

2024: https://xcancel.com/brave/status/1870172541907550496

2025: Whatever you're referring to.
by Ozzie_osman | 2025-07-23 05:25:57+00:00
Agree. My team and I were just discussing that the biggest productivity unlock from AI in the dev workflow is that it enables people to more easily break out of their box. If you're an expert backend developer, you may not see huge lift when you write backend code. But when you need to do work on infrastructure or front-end, you can now much more easily unblock yourself. This unlocks a lot of productivity, and frankly, makes the work a lot more enjoyable.
by opan | 2025-07-23 05:26:23+00:00
FunnyPlaying has done their own version of the GBC and GBA PCBs you can buy. I don't know of any open source versions.

I found something on nataliethenerd's GitHub, but the license is non-commercial.

https://github.com/nataliethenerd/CGB_ReverseEngineer

>I scanned, sanded and redrew the CGB schematics using a CGB-CPU-04 board. The original schematic was used as a refrence for values.
by adithyassekhar | 2025-07-23 05:26:25+00:00
The author uses a really excited tone and frequent questions like You know what? Guess what? Wow! Boom! Exaggeration obviously, but I like to connect emotionally with the author of whatever I am reading. You can understand a lot more that way than words can convey. I was not able to keep up with such an enthusiastic post that's all.
by SchemaLoad | 2025-07-23 05:26:54+00:00
Modular phones have been proposed for ages now but seem not viable or useful. Having everything on sockets increases latency between chips and decreases reliability. Especially something that's getting banged around in your pocket all day.

And there isn't really just one thing that gets outdated on phones. You usually want a better screen, better camera, better CPU, more ram, new battery. And at that point why swap each one individually vs just buying a new phone. I guess you save on the metal case?
by WalterBright | 2025-07-23 05:27:13+00:00
> it would be hard to do in good faith

QSBS is capped, and the SALT deduction goes away with increasing MAGI. They're targeted at the upper middle class, not the wealthy.

The "S" in QSBS stands for "Small" business.

The previous limits were fixed, and this change seems to be adjusting it for inflation. It's been around since 1993. An inflation adjustment is not a "cut".

Even so, as I'm sure you're aware, these two items are not what people mean by "tax cuts for the wealthy". If you ask anyone (other than a tax accountant) what a QSBS deduction is, you'll get a blank stare.
by therein | 2025-07-23 05:27:39+00:00
I can't help but find it kinda humorous that if the 119 lines of the system prompt wasn't there, it would just be a generic script that takes your input, sends it to ollama and then system("...") the response after some light processing.

https://github.com/scottvr/wtffmpeg/blob/main/wtffmpeg.py#L9...

>You are an expert at writing commands for the `ffmpeg` multimedia framework.

>Respond ONLY with the `ffmpeg` command. Do not add any explanations, introductory text, or markdown formatting.

Fragility of it aside, and the fact that more is written to try and force it to do less, this is basically the gist of the whole thing.
by nullc | 2025-07-23 05:28:03+00:00
I've encountered this myself. After stripping out the finger-wagging and moralizing ("safety") output from openorca I found that models fine tuned on it still adopted the same kind of paternalistic and politically loaded behaviors of gpt3/gpt4 that the base models lacked.

I considered it similar to how adversarial noise works in image classification-- that the training data is very high dimensional and small bits of noise in it can concentrate and flip internal states while training. And these turn out to be pretty robust, even when created against different models so long as the training corpus is similar.

This is probably particularly true in that "predict internet text" requires the model to have some internal state reflecting the kind of person its text is predicting-- is it a child, a news broadcaster, a government notice, a foo-wing concern troll... and so the behavior shift may require only a fairly small change deep inside the model.
by dang | 2025-07-23 05:28:25+00:00
Using the Wrong Dictionary (2014) - https://news.ycombinator.com/item?id=37368505 - Sept 2023 (33 comments)

You’re probably using the wrong dictionary (2014) - https://news.ycombinator.com/item?id=35635876 - April 2023 (1 comment)

Using the wrong dictionary (2014) - https://news.ycombinator.com/item?id=29734242 - Dec 2021 (170 comments)

You’re probably using the wrong dictionary (2014) - https://news.ycombinator.com/item?id=19763435 - April 2019 (87 comments)

You're probably using the wrong dictionary - https://news.ycombinator.com/item?id=9294518 - March 2015 (2 comments)

Using the wrong dictionary - https://news.ycombinator.com/item?id=7772557 - May 2014 (138 comments)
by devjab | 2025-07-23 05:29:42+00:00
Radon gas is a pretty big thing in construction where I live since our underground is mainly boulder clay (which apparently has or leaks or whatever a lot of radon gas). Anyway, In Denmark a little over 5000 get lung cancer every year, and 300 of thouse are from radon gas. Acording to our Kræftens Bekæmpelse (anti-cancer NGO) there may be an additional 25% risk of radon causing lung cancer if you smoke.

Since around 2000, it's been part of building regulations that you gotta build air-gapped foundations in family homes. Those who can measure radon gas are adviced to buy things to fight it, and you can reduce it to basically 0% for little money.

I never really considered it from an advertisement perspective as it's adviced by our government and non-profit NGO's. So there is that, if that helps you.
by aitchnyu | 2025-07-23 05:31:28+00:00
The underlying models are apparently profitable. Inference costs are in a exponential fall that makes Gordon Moore faint. OpenRouter shows Anthropic, AWS, Google host Claude at same rates, apparently nobody is price dumping.

That said, code+git+agent is only acceptable way for technical staff to interact with AI. Tools with sparkles button can go to hell.

https://a16z.com/llmflation-llm-inference-cost/ https://openrouter.ai/anthropic/claude-sonnet-4
by safety1st | 2025-07-23 05:32:01+00:00
I'm a big fan of trunk based development in the Churchillian sense. It's the worst form of development, except for all the others.

I don't think it's for every project, or even every feature in a given project. But there's a niche it works best for, and that niche happens to represent a massive percentage of all software engineering.

The niche is, you're building a web app. It's some shitty Web 8.0 version of a Craigslist or something. No one wants to pay for formalized testing. No one really wants to spend a lot of time on quality. Arguably it's not that important to users. The year is Enshittified 2030 and they're lucky if they can even log into their online banking, let alone slide into someone's DMs on your platform.

What's the solution? TBH it's not tripling down on good engineering process. (Don't get me wrong, good engineering process absolutely has a role, I'm merely suggesting that as you move from flight control software to online classifieds to your neighbor's recipe blog, that role diminishes in favor of less formal feedback.) The solution is radically forcing the code into the light of day in front of people who can say or do something about the biggest problems. The minor bugs will probably slip through this net, but the really nasty ones WILL get worked out if people on your team have to deal with them first, followed by an 'insider' circle of users, finally followed by the general public.

That translates to certain buzzwords actually representing great ideas in this type of development, such as: feature flags, CI, pilot rollouts, and... trunk-based development.

Just get the code/feature out in front of a couple people who matter, as early as the day it was written, and keep expanding until you're public.
by lmm | 2025-07-23 05:33:59+00:00
> Such that one could throw together, I dunno, news.ycombinator.com/index.z and see if they can do a better job than HTML/CSS.

What would be the use of that? It would help people who want to make prototypes of a different web with no hope of it ever getting adopted, but that's not a huge market.

> table stakes is a native implementation of something that looks like React (but presumably reimagined from scratch)

Like a component layer? Browsers have tried with e.g. XUL or WebComponents, how would you avoid the problems of those?
by pmontra | 2025-07-23 05:34:39+00:00
> setting the cruise control to 50 when in a 50km/h zone will have you driving 45 in reality as evidenced by speed measuring displays I drove by. At 100km/h you'll probably be going 90.

This is very common and it's probably a deliberate choice of the manufacturer.

I know that my old car in the 90s reported 10 km/h more than the real speed and most other cars did the same, especially at low speeds. My current car is not as bad but I have to set 52 to go 50, 72 to go 70.

Furthermore some speed displays are calibrated differently. Some of them report me at 50, 47, 53 at different towns on the same route. I know I'm OK at 52 because I never got a fine.

I'm more conservative on roads that I'm not familiar with (eg: on a vacation in another country.) The general rule has always been to go at the same speed of the other cars.
by cultofmetatron | 2025-07-23 05:34:50+00:00
I think AI will push programming languages in the direction of stronger hindly milner type type checking. Haskell is brutally hard to learn but with enough of a data set to learn from, its the perfect target language for a coding agent. its high level, can be formally verified using well known algos and a language server could easily be connected with the ai agent via some mcp interface.
by tacitusarc | 2025-07-23 05:35:47+00:00
I’d like to mildly point out that this style of caricaturing ideologies is one of the most effective at entrenching those same ideologies. If you can recognize that those critiquing you are doing so in bad faith, not only does it make the critique easy to dismiss, it provides evidence for the prior that all critiques are in bad faith and can be safely ignored.
by ainiriand | 2025-07-23 05:36:51+00:00
Perhaps I can shed some light into your questions as I work on TBD since 3 years now.

In our case there are no Pr's, we push to master, the test suite is triggered, the dev environment receives the new code. It moves to other environments if the tests pass. We release to master using a canary instance that gets only a small share of the traffic, if our metrics for success fail then we rollback and start a hotfix. Yes you can have as many branches you want in your local but in the remote there is only one.
by vasco | 2025-07-23 05:38:32+00:00
All cli programs (or shell itself) should soon have:

- argument syntax autocorrect

- natural language arguments instead of the actual ones should be accepted

- whenever there's an error executing, instead of just erroring out, the error should go through an LLM and output a proper explanation plus suggested fix

Doing command by command seems the wrong way about it though.
by toast0 | 2025-07-23 05:38:41+00:00
I haven't been following BeamAsm that closely, because I'm not working in Erlang at work.... But it strikes me that there's not really a reason that the JIT has to run at runtime, although I understand why it is built that way. If performance becomes a big issue, and BeamAsm provides a benefit for your application (it might not!), I think it would be worth trying to figure out how to assemble the beam files into native code you can ship onto restrictive platforms without shipping the JIT assembler.
by tzs | 2025-07-23 05:40:30+00:00
With the general incentives still available for EVs, plus some good deals Chevy is now running, and the already pretty low starting price for the Chevy Equinox EV I'm not surprised they are doing well. The base model FWD model, with an EPA rated range of 319 miles, is listed as $32k on Chevy's site, but after destination fees and such seems to be $35k at dealers so I'm going to use that.

Here are some of the incentives available to lower that:

• $7500 federal tax credit.

• $1250 if you own or lease a 2011 or later non-GM car.

• $1250 if you have a Costco Executive membership.

• $500 for being in at least one of these categories: Military, Healthcare professional, First responder, College student or recent graduate, and Educator.

Some of those categories include a lot of people.

The military one includes reservists, veterans, and retirees.

The healthcare one includes not just doctors and nurses, but also dentists, pharmacists, counselors, therapists, athletic trainers, medical and dental assistants, hospital employees, social workers, dietitians, and more.

The college one includes current college and graduate students or those two graduated from a two or four year college within the past two years.

The educator one just says you must be employed by a public school, private school, college, or university. It doesn't say it has to be a teaching job.

If you get all 4 of these discounts (tax credit, 2011+ non-GM car, Costco, and the $500) that would bring a base Equinox down to $24.5.

There are also some states that have that have EV rebates. Some of these are substantial. For example Illinois has a $4000 rebate.

Oregon has $2500 but also an additional $5000 for low income families. Low income means under 400% of the federal poverty level. That's $63k for a single person, $79k for two people, $107k for three, and $129k for four. The median household income in Oregon is $80k so I'd guess there are a lot of households that qualify for the $7500 EV rebate.

With just that an the federal tax credit that would make the base Equinox $20k in Oregon.

Even if you only get the federal tax credit that gets it do $27.5k. That's lower than most comparable ICE cars.

The base model is pretty good and that's what a lot of people buy, but it is kind of basic. Its cruise control for example is just basic cruise control: if below the set speed accelerate, if above the set speed let up on the gas but it will not brake.

Personally I consider adaptive cruise control a requirement. The cheapest Equinox with that is the base FWD model with the "active safety 2" ($545) and "comfort" ($1455) packages added (the first is the one with active cruise control but those two packages can only be bought together) which adds exactly $2000.
by weitendorf | 2025-07-23 05:41:02+00:00
Recently started using Gitea and have two main questions:

What is the scoop on the schism leading to forgejo? Like, the actual reason - is it just the existence of a for profit company with partial governance over gitea or is there more of a story? And does forgejo have substantially different plans for feature development vs gitea?

Secondly, how do get in contact with contributors for sponsored work? Ideally that would be the maintainers but I feel like they have a conflict of interest with anybody trying to offer gitea to third parties…
by john-tells-all | 2025-07-23 05:41:29+00:00
One super-easy use case is product size comparison. Example: "hand holding lilygo t3 pro" shows me how big a circuit board and screen is. Product images are everywhere, but it's hard to get a strong idea of how big it really is without a hand or something else in the frame.

First try worked like a charm. Super useful! Thanks.
by Ancapistani | 2025-07-23 05:42:32+00:00
We had a 2015 Sorento with a similar issue. Kia said the oil burn rate was within specs and refused to act. It died at 105k, and they refused to do anything about it, even with documentation of the oil burn rate going back to 75k miles. We replaced the engine on our own dime, and it took me three weeks to find a single engine that was compatible.

That said, a few months ago my daughter was t-boned in it by a driving going 60+ MPH. The impact was directly on the driver’s door. She not only survived, but did so with only superficial facial cuts and some longer-term, back pain.

I can’t be too hard on a car that saved my daughter’s life.
by evnu | 2025-07-23 05:45:16+00:00
Some years ago, I started to use FIXME to indicate that something is blocking the PR and needs to be done before merging, and TODO if something can be done at a later point in time. Then, CI only needs to grep for FIXME to block merging the PR, which works for practically any language. Works pretty well for me, maybe that tip can help others as well.
by Simon_O_Rourke | 2025-07-23 05:46:55+00:00
> Claude Sonnet 4 is ridiculously chirpy -- no matter what happens, it likes to start with "Perfect!" or "You're absolutely right!" and everything! seems to end! with an exclamation point!

Exactly my issue with it too. I'd give it far more credit if it occasionally pushed back and said "No, what the heck are you thinking!! Don't do that!"
by austin-cheney | 2025-07-23 05:47:20+00:00
I call bullshit. If you use your imagination hard enough then just maybe you could explain the military action in Gaza as warfare… but how does that extend to the West Bank? There is no warfare in the West Bank, but there are Israeli settlers murdering Palestinians without consequences while stealing land in illegal settlements.

> Israel is forced

Again, that’s bullshit. Nobody is forcing Israel to be an asshole to their neighbors. Israel was the victim in 1967, nearly 60 years. It’s not 1967 anymore. A universal rule of life is if you don’t want people to think of you as an asshole then start by not being an asshole, not with a bunch of excuses and sad equivocations.

I suspect Israel would try much harder to be less of a belligerent asshole if they were placed on a weapons embargo. Israel is often seen as the bad guy, because their actions make them the bad guy.

If Israel really didn’t want Iran to use the Palestinian people as a puppet they could solve the problem by not giving the Palestinian people cause to be puppets. For example, Iran would lose all political influence around Israel if Israel annexed the Palestinian people with rights, protections, and citizenship.

I really don’t think Israel wants this issue solved. I really think it’s about tribalism and conquest. That’s why I cannot see any difference between Israel/Palestine and Serbia/Bosnia/Kosovo. It’s all sociopathic tribalism with lots of military aggression against civilians while claiming to be victims.
by Ameo | 2025-07-23 05:47:52+00:00
This has to be at least the fifth LLMpeg I've seen posted to hacker news in the past few months.

This whole repo is a single 300 LoC Python file over half of which is the system prompt and comments. It's not even a fine-tuned model or something, it's literally just a wrapper around llama-cpp with a very basic prompt tacked on.

I'm sure it's potentially useful and maybe even works, but I'm really sick of seeing these extremely low-effort projects posted and upvoted over and over.
by ipnon | 2025-07-23 05:48:44+00:00
It's getting cheaper and cheaper to generate corpora by the day, and Agda has the advantage of being verifiable like Lean. So you can simulate large amounts of programs and feed these back into the model. I think this is a major reason why we're seeing remarkable improvements in formal sciences like the recent IMO golds, and yet LLMs are still struggling to generate aesthetically pleasing and consistent CSS. Imagine a high schooler who can win an IMO gold medal but can't center a div!