MurphyA/hacker-news huggingface dataset:
by matklad | 2025-12-29 21:05:15+00:00
There's some reshuffling of bugs for sure, but, from my experience, there's also a very noticeable reduction! It seems there's no law of conservation of bugs.

I would say the main effect here is that global allocator often leads to ad-hoc, "shotgun" resource management all other the place, and that's hard to get right in a manually memory managed language. Most Zig code that deals with allocators has resource management bugs (including TigerBeetle's own code at times! Shoutout to https://github.com/radarroark/xit as the only code base I've seen so far where finding such bug wasn't trivial). E.g., in OP, memory is leaked on allocation failures.

But if you manage resources manually, you just can't do that, you are forced to centralize the codepaths that deal with resource acquisition and release, and that drastically reduces the amount of bug prone code. You _could_ apply the same philosophy to allocating code, but static allocation _forces_ you to do that.

The secondary effect is that you tend to just more explicitly think about resources, and more proactively assert application-level invariants. A good example here would be compaction code, which juggles a bunch of blocks, and each block's lifetime is tracked both externally:

* https://github.com/tigerbeetle/tigerbeetle/blob/0baa07d3bee7...

and internally:

* https://github.com/tigerbeetle/tigerbeetle/blob/0baa07d3bee7...

with a bunch of assertions all other the place to triple check that each block is accounted for and is where it is expected to be

https://github.com/tigerbeetle/tigerbeetle/blob/0baa07d3bee7...

I see a weak connection with proofs here. When you are coding with static resources, you generally have to make informal "proofs" that you actually have the resource you are planning to use, and these proofs are materialized as a web of interlocking asserts, and the web works only when it is correct in whole. With global allocation, you can always materialize fresh resources out of thin air, so nothing forces you to do such web-of-proofs.

To more explicitly set the context here: the fact that this works for TigerBeetle of course doesn't mean that this generalizes, _but_, given that we had a disproportionate amount of bugs in small amount of gpa-using code we have, makes me think that there's something more here than just TB's house style.
by Sakura-sx | 2025-12-29 21:05:20+00:00
I guess for this to work best you'd build your own CDN and have as many servers as possible. I have always dreamed of an Open Source CDN managed by a nonprofit and dedicated to offering CDN services for free or for a reasonable cost.

If you did the timings by comparing to other protocols, like TLS or HTTP you could do this with a single server, but that's a bit more complex than doing it on the same protocol since you have to account for more stuff, but it could be done, at the end of the day, my idea with Aroma was mostly to prove that it's possible, thanks for the feedback btw!
by yawaramin | 2025-12-29 21:05:29+00:00
> Now you need to have OOB swaps and your HTML must contain that fragment.

This is super simple to do if you are using a library to generate HTML in your backend programming language.

> Not just that your server template code now has to determine if it is HTMX request and only render OOB fragments if so.

This is literally just a function that checks for a couple of headers, chooses between two rendering options, and adds a `Vary` response header to take care of the caching. Hardly anything complicated.

> htmx can do it but it's going to be very very difficult and brittle.

The problem with this summary is that it misses the point–htmx is not doing backend stuff, your backend app server is. Htmx is just swapping in what the backend sends.

> it is NOT the only tool for all use cases.

The OP said exactly this, the htmx people have always said this, and no one ever claimed otherwise. There are people out there who don't think in absolute all-or-nothing terms.
by sshine | 2025-12-29 21:05:30+00:00
I’ve been taking my son for stroller walks more often over Christmas. I bring a headset for listening to music, podcasts, audiobooks, tech talks. “Be effective.” But I end up just walking and thinking, realising this is “free time”.

It sounds ridiculous and easy to say spending time walking and thinking will improve your decisions and priorities that no productivity having will.

I only actually did slow down for a while because I had to for the wellbeing of my family. Sure feels important to not always be on top of everyone else’s business.
by thisoneisreal | 2025-12-29 21:05:42+00:00
The first part is surely true if you change it to "the hardEST part," (I'm a huge believer in "Programming as Theory Building"), but there are plenty of other hard or just downright tedious/expensive aspects of software development. I'm still not fully bought in on some of the AI stuff—I haven't had a chance to really apply an agentic flow to anything professional, I pretty much always get errors even when one-shotting, and who knows if even the productive stuff is big-picture economical—but I've already done some professional "mini projects" that just would not have gotten done without an AI. Simple example is I converted a C# UI to Java Swing in less than a day, few thousand lines of code, simple utility but important to my current project for <reasons>. Assuming tasks like these can be done economically over time, I don't see any reason why small and medium difficulty programming tasks can't be achieved efficiently with these tools.
by AlekseN | 2025-12-29 21:05:55+00:00
Fair point – numerology concern is valid.

Key differences:

1. K(3)=12, K(8)=240 are PROVEN theorems (Schütte 1953, Levenshtein 1979), not arbitrary choices. These are the only numbers that solve the sphere packing problem.

2. τ=7 derives from THREE independent sources: octonion imaginary dimension, Fano plane points, and M-theory compactification (11D−4D). Not days of week.

3. n=45 is not chosen – it's CALCULATED: (K²−K−2τD)/2 = (144−12−42)/2. Change any input, precision collapses.

4. The killer: sin²θ₁₃ = 1/45 in neutrino physics. Same 45, completely independent measurement. That's not fitting – that's prediction.

The code is open. If you can get 0.574 ppm with Barnes-Wall vectors and week days, I'd genuinely like to see it.
by eatsyourtacos | 2025-12-29 21:06:45+00:00
Literally the last thing on the internet you can complain about is Steam. PC gaming would be the biggest cluster fuck in the world- if not fairly dead / super niche.

You would need to install 12 front-ends like Steam that would be hot trash and have a handful of games and be the most miserable shit ever. You wouldn't have sales, reasonable game prices, or family library sharing (this would be absurd to any other company).

Steam is a prime example of when a monopoly ends up to be the best for the consumer.
by Gibbon1 | 2025-12-29 21:06:56+00:00
That's my dad who worked at NaSA doing aeronautics stuff said.

Pilots fuck up all the time so blaming them doesn't excuse anything.

And I find myself butting heads with people over that all the time. Coworker (smug satisfied voice) well if the end user fucks up it's not our fault. Me (trying not to sound really annoyed) yeah it's still our problem.
by SunshineTheCat | 2025-12-29 21:07:38+00:00
I recently took someone to go and watch a hockey game. Been a little while but I personally played as a goalie myself.

The person kept making the comment that she couldn't see/find the puck and it made it frustrating to watch.

As a goalie, not being able to see the puck is pretty normal (especially with big bodies trying to screen you).

What I told her was that what matters a lot more than where the puck is, is where it's going to be in about two seconds. But the next best thing is to know where the puck is now.

If you can't see the puck then look at the players and as a last resort, look at the ref. 99% of the time they will be looking at the puck. Look where they're looking and soon enough it will appear.

I think this applies very much to this whole Google question.

The puck is gone (or on the way to the other side of the rink) and everyone is confused where it is or where it's going.

Look where everyone is looking and you'll find your answer there. It may not be in the same form as Google adwords, but the game is the same. Leveraging attention.

The tactics were different during the phonebook days (it was having your business start with the letter "A") as opposed to Google and will be different for the next thing as well.

From what I can tell, everyone seems to be looking at chatbots and vertical, shortform video. Not sure how that plays out in terms of advertising, but in terms of the answer to this article's question, that seems like a good place to start.
by Defletter | 2025-12-29 21:08:16+00:00
> surely the discussion here would not benefit if everyone stooped down to that level.

Oh we were already at that level by that time: the comment mine responds to makes the claim that "it is really difficult to define what hate speech is" (untrue); that "more often than not it's used as a cudgel to silence the opposition" (unsubstantiated); and claims that the UK government's intentions match that of Iran and Russia (untrue).

For some reason, so many people seem to tolerate outright disinformation but draw the line at mild childishness. It's bewildering.
by shepherdjerred | 2025-12-29 21:08:31+00:00
I hardly ever open an IDE anymore.

I use Claude Code and Cursor. What I do:

- use statically typed languages: TypeScript, Go, Rust, Python w/ types

- Setup linters. For TS I have a bunch of custom lint rules (authored by AI) for common feedback that I've given. (https://github.com/shepherdjerred/monorepo/tree/main/package...)

- For Cursor, lots of feedback on my desired style. https://github.com/shepherdjerred/scout-for-lol/tree/main/.c...

- Heavy usage of plan mode. Tell AI something like "make at least 20 searches to online documentation", support every claim with a reference, etc. Tell AI "make a task for every little thing you'll implement"

- Have the AI write tests, particularly the more expensive ones like integration and end-to-end, so you have an easy way to verify functionality.

- Setup Claude Code GHA to automatically review PRs. Give the review feedback to the agent that implemented it, either via copy-pasting or tell the agent "fetch review comments and fix them".

Some examples of what I've made:

- Many features for https://scout-for-lol.com/, a League of Legends bot for Discord

- A program to generate TypeScript types for Helm charts (https://github.com/shepherdjerred/homelab/tree/main/src/helm...)

- A program to summarize all of the dependency updates for my Homelab (https://github.com/shepherdjerred/homelab/tree/main/src/deps...)

- A program to manage multiple instances of CLI agents like Claude Code (https://github.com/shepherdjerred/monorepo/tree/main/package...)

- A Discord AI bot in the style of my friends (https://github.com/shepherdjerred/monorepo/tree/main/package...)
by kayo_20211030 | 2025-12-29 21:08:34+00:00
Respectfully, you'd be studying the wrong thing i.e. the "system" without the system-keepers. Study the organizational structure; then study the people working within that structure with their aspirations and incentives; then go back and rejig the system; but, don't forget to put the stick figures on the diagram too i.e. users and makers.
by alexpotato | 2025-12-29 21:09:14+00:00
It wouldn't surprise me if physical advertising, as mentioned in the post, makes a comeback. Especially coupled with magazines etc apparently making a comeback too.

Also, a lot of ads now have QR codes so you can tell which physical ads are driving versus traffic versus those that aren't.

e.g. the "half of my advertising is a waste but I don't know which half" is not true anymore if you are using specific QR codes per location/advertisement.
by krisoft | 2025-12-29 21:09:16+00:00
> Wait, are you saying you did?

I'm confused about what are you asking. Are you asking if I have looked at the layout of the station and the images of the platforms? If so yes. That's how I'm describing it in my first post.

You can too. Here is a general layout for passengers: https://www.bahnhof.de/en/troisdorf/map

You can look at satellite images of the station via google maps, or you can check the track and signalling arrangements on https://www.openrailwaymap.org/

On top of that you can see the platforms in question on wikimedia: https://upload.wikimedia.org/wikipedia/commons/8/84/S13_Troi...
by nosianu | 2025-12-29 21:09:30+00:00
> They are considering banning the largest opposition party

Liar. Some demand it - but it is not considered by those with the power to actually do it, not even close. The AfD happily participates in state and federal elections and is in the federal parliament (Bundestag).

Why are you against freedom of speech??

People saying what they want is allowed! No action of that kind was or is taken. AfD and its members continues to participate in normal political life and getting elected, and they continue to participate in TV and media interviews.

What exactly is your complaint? You complain about some people's speech - while claiming to be for freedom of speech! Very peculiar.
by Tarball10 | 2025-12-29 21:09:37+00:00
Isn't that exactly what companies use as justification for DMCA and DRM protection?

Without those, you'd have sites full of pirated game downloads easily found through search engines. DMCA takedowns force those sites into shady corners of the internet, making them harder to find and riskier for the average user. And (effective) DRM makes users have to wait for a crack which may take weeks or months.

The result is that it's easier for the average person to just log into Steam/Epic/PSN/eShop and spend $60 to play immediately.
by mgr86 | 2025-12-29 21:09:41+00:00
I'm a bit miffed about the dash. I wish it was a colon. Then well established XML could be simply name-spaced in, and then either styled with css and enhanced with JS. I suspect it wouldn't be that difficult to write something for nginx or apahce that simply converted the colon to a hyphen. Oh well, it cannot be 1999 forever.
by greggoB | 2025-12-29 21:10:01+00:00
My question was more rhetorical, the point being that it's very bold (read: foolish) to make a claim that extends well outside of any conceivable amount of experience you may have accrued or ability to know how others may operate.

> Andrej Karpathy is one of the best engineers in the country, George Hotz is one of the best engineers in the country, etc.

You have citations of them explicitly making this claim on behalf of all SWEs in all domains/langs? I'd find that surprising, if so.
by xp84 | 2025-12-29 21:10:12+00:00
GP shouldn't have said something insulting, but I do think it's you who are being obtuse here in not acknowledging that this is at least very different than the field everyone can graze on that gets overgrazed, that is the most simple and widely-accepted type of commons. It's probably not worth arguing semantics at all ("is this a commons?") because there isn't a "Tragedy of the Commons" central authority that could ever adjudicate that. Any definition of commons could be used; the only thing that matters is if the definitions are useful to define what's going on and to compare it to other situations.

In this case, GitHub can very cheaply add enforceable rules and force heavy users to consume only what they consider a tolerable amount of resources. The majority who don't need an outsized amount of resources will never be affected by this. That is why there is no 'tragedy' here.

It would be as if the grazing field were outfitted with sheep-facial-recognition and could automatically and at trivial cost, gently drone-airlift any sheep outside the field after they consume 3x what a normal sheep eats each day. In what most of us think of as a ToC situation, there is little that can be done besides closing the field or subdividing it into tiny, private plots which are policed.
Quick update on Titan and feedback response
by soham_byte | 2025-12-29 21:10:21+00:00
Quick update: I’ve pushed several documentation and production-related updates based on the feedback here.
Clarified Titan’s positioning (not a Node/V8 replacement; JS-first → single native Rust binary).
Added clearer docs around routes, actions, and runtime APIs.
Documented the update flow (tit update) and internal migrations.
Expanded logging docs for better visibility during dev and production.
Production output is a single Rust binary (no Node.js dependency), and a production-ready Dockerfile is now documented.
For context: Titan is a backend framework, not a competitor to nginx. nginx + Node is a well-understood and effective setup; Titan’s goal is different — removing Node from production, tightening the runtime surface, and enabling Rust-managed, multi-threaded request handling behind any reverse proxy (including nginx).
JavaScript is used for authoring and development, and the embedded JS runtime (Boa) is part of that workflow. In production, Titan runs as a single native Rust binary, avoiding Node’s event-loop-based runtime model and its associated operational overhead.
Latest docs:
https://titan-docs-ez.vercel.app/docs
by heliumtera | 2025-12-29 21:10:28+00:00
>Where does it stop?

I think you explained it very well.
For now all sorts of "creative finance" are being invented to give AI momentum.
At the same time, some of us that have to work with this monstrosity for 10 hours a day are nauseated.
The same feeling I had towards putrid technology is now extended to generative technology. I would rather fight and lose my job than call this intelligence of any form. It is a generative thingy.
Was very enthusiastic in tabnine days. Used copilot since closed beta. Use it for 10 hours a day. I rather not use it, though.
I have to use C#. Would kill not to use this bullshit anymore. Would never,ever, touch Microsoft without being paid. Feel the same about AI in general.
Betting on AI becoming lame would be the safest bet I ever did.
When I see someone worshiping generative technology I just know what to expect and then I leave.
In some levels, opinions on generative technology are very similar to politics. Tell me how you interact with it and how you feel about it, I won't ever need to ask a second question.
Now, I think this sentiment will inevitably arrive to the masses. Yeah, sure I am fatigued and most people don't have to deal with generative tools for 44 hours a week, but it will slowly creep.
Tell me again how excited everyone is to fiddle with SAP, Oracle, Microsoft, react components, Vercel. The most shilled convenience of our timeline will become cringe, as always.
by archagon | 2025-12-29 21:10:40+00:00
You can find articles[1][2] with direct reporting on the deaths. I don't know what the actual numbers are, but it's a verifiable fact that many people have died because previously-available health care, medicine, food, etc. were suddenly (and illegally) cut off by DOGE. There's a correct way to taper a life-saving program instead of yanking out the IV and washing your hands of the consequences, but that imbecile Musk either didn't care to learn or simply didn't care. Minimizing human suffering was not even a consideration.

[1]: https://archive.ph/20250629012329/https://www.nytimes.com/20...

[2]: https://www.propublica.org/article/kenya-trump-usaid-world-f...
TP-Link only works with a permanent internet connection
by roscas | 2025-12-29 21:11:04+00:00
TP-Link Tapo C100 model only works with a permanent connection to their servers.
The second you cut internet on the camera it powers off. Why would anyone put a "security" camera in their house with a forced connection to TP-Link servers? And what does it transmit?
So my question is does anyone have a TP-Link camera that works without internet?
TP-Link has a ton of cameras but I don't want any that connects to the internet. Thanks.
by fidotron | 2025-12-29 21:12:03+00:00
I love knocking on Google, and have been doing so for longer than it was cool, but this sounds more like the business is no longer attractive than Google having become suddenly wildly ineffective.

My anecdotal evidence is the smarter normies are increasingly allergic to screens. They only use them to watch stuff they hear about by some other means, but parents, for example, look for any excuse to keep their kids off the Internet, and largely they're better for it.
by alex1138 | 2025-12-29 21:12:06+00:00
I apologize for the somewhat low-effort comment but across the board Meta is the single most malicious tech company I can think of

I'm no fan of Google but at least Google didn't use your 2FA for ads https://news.ycombinator.com/item?id=16378888, or for example you can actually contact people via gmail https://news.ycombinator.com/item?id=4151433

It's why a CEO being on record as saying "dumb fucks" matters, joking or not. And I don't think he was joking or else "trying to make a point". He does not care about you. When people show you who they are believe them
by cjbgkagh | 2025-12-29 21:12:51+00:00
Perhaps catering towards TikTok experiences, help them make the videos that they then share with their friends.

‘Pic or it didn’t happen’ has now been replaced by ‘TikTok or it didn’t happen.’ Is it possible to enjoy something without there being video evidence of it? According to my gf and her female friends the answer appears to be no.
by redsymbol | 2025-12-29 21:13:04+00:00
It's an interesting situation. I think that despite the issues, Meta is the best (and fastest-learning) platform for mass-market purchase conversions. Linkedin has powerful targeting options, but the fact that it's tied to GMT drives me nuts. For LI, typically I use manual bids so I can easily dial down delivery at off times (e.g. if the ad objective is booking a sales call).

All in all, these ad platforms are tremendously complex software systems, and as someone who has been a fulltime software engineer I have a lot of sympathy. But with so much money is on the line, the standards are high.
by smcl | 2025-12-29 21:13:37+00:00
Jesus I thought it'd be obscure games but I randomly scrolled down and saw Duke Nukem games, a bunch of the F1 series, Jet Set Radio, Lumines, Mafia III, MultiVersus (don't care about this I just remember _so many_ people being paid to stream this, there was a lot of money behind it) and Wolfenstein (2009). I had no idea this was so prevalent
by like_any_other | 2025-12-29 21:13:42+00:00
> It's a neo nazi terrorist group with a political wing!

If you have a source showing AfD organized terrorist attacks, please present it. I could find no such thing.

> There are 9 main parties in Germany, AfD doesn't even make top 10…

In the 2025 elections, the largest party, the CDU, got 28.5% of the vote. The AfD was second largest with 20.8%: https://en.wikipedia.org/wiki/Results_of_the_2025_German_fed...

So you're simply lying.
by herewulf | 2025-12-29 21:13:42+00:00
Battleships are meant to fight other battleships. And you don't nuke ships. They are a relic from WWI when ships still had to engage each other directly.

They also filled a shore bombardment role. But you also don't use nukes for that (rather modern aircraft).

Disclaimer: IANAS (I Am Not A Squid)
by ManicInventor | 2025-12-29 21:13:50+00:00
Another angle that works well when you have zero budget is partnering with small creators who already talk to your target audience. Not big influencers, micro-creators with a few thousand very engaged followers.

If you offer a simple performance-based deal (e.g., a small reward for each signup or free premium access for their audience), many will happily try your tool because there's no upfront cost for them. Give them a short demo, a clear value story, and a unique link so they can track referrals.

A single well‑matched micro-influencer can easily get you your first 100 real users. It could be a fastest ways to get distribution without spending money.