Hacker News: tinco

New comment by tinco in "Ghostty 1.4"

tinco — Tue, 27 Oct 2026 19:56:56 +0000

I'm happy with ghostty now too, but until a couple months ago it didn't have search. Which made me uncertain how people use terminals without built-in search. It really surprised me that it apparently was so low on the must-haves list that it took over a year to have it. I think I search terminals multiple times a day when I'm operating production systems.

New comment by tinco in "The Future of Programming"

tinco — Fri, 23 Oct 2026 13:50:16 +0000

I think it's mainly the "business requirements in natural language" part that would require full AGI. In practice though, most requirements don't require that much intelligence to accomplish as illustrated by the recent success of coding agents.

It also makes sense that the language would necessitate having some algorithms as (pseudo-)code embedded in the specification when the requirement is complex enough.

The Future of Programming

tinco — Fri, 23 Oct 2026 13:23:44 +0000

Article URL: https://blog.tinco.nl/2026/10/23/the-future-of-programming

Comments URL: https://news.ycombinator.com/item?id=50208611

Points: 1

# Comments: 3

New comment by tinco in "Two-Stack Sliding-Window Aggregation"

tinco — Fri, 16 Oct 2026 12:46:17 +0000

Ah I haven't seen that before. I must admit that I'm not in the literature side of things. Any time I've seen a queue in production it would use put/get or enqueue/dequeue and in Ruby scripts you'd use an array and use push/shift.

New comment by tinco in "Two-Stack Sliding-Window Aggregation"

tinco — Fri, 16 Oct 2026 12:20:42 +0000

Ok, but shift is the commonly used name for that operation, and pop commonly does something else than what you just described. If you could come up with a better word than shift that would be fine, but pop should be the inverse of push in my opinion. If you push, then pop, you should have the same data as you started with.

New comment by tinco in "Two-Stack Sliding-Window Aggregation"

tinco — Fri, 16 Oct 2026 10:36:33 +0000

Very cool, might I suggest you rename your `pop` function to `shift` (or if you like ugly names `popleft`)? Popping windows isn't really a thing, it made me double take on the code.

New comment by tinco in "Gemini 4 Argon"

tinco — Wed, 30 Sep 2026 20:51:55 +0000

So here's a crazy conspiracy theory for you: Google is not letting outside people use their models because if they did they would have to scale up their TPU production faster than they can manage, and they would instead have to buy and use nvidia hardware which would destroy their profit margins and tank their stock.

Gemini runs fully on TPU's right? Is Google maxing out the production on those?

New comment by tinco in "Claude partial outage"

tinco — Tue, 29 Sep 2026 14:34:23 +0000

Maybe an increase in sign ups due to people learning of their existence from the IPO? It's the authentication that seems to be failing, not the actual inference.

New comment by tinco in "Brood War Bench"

tinco — Sun, 20 Sep 2026 08:40:42 +0000

All the hobbyists were using proxybot because it allowed you to use more fun languages than C/C++ but proxybot lacked the features to effectively play Zerg. I really wanted to play Zerg so I built a really sweet API+DSL in Ruby around proxybot and then used that to give the other newbies a hard time with a zergling rush.

Unfortunately the proxybot limitations precluded me from expanding its capabilities so I tried to switch to having ruby embedded in C++ and I basically got mired there and was eventually distracted by real world concerns like actually finishing my degree.

I think I played against Krasi0's bot a couple times in the early days. Hopefully they stuck with AI and have suddenly become crazy rich after 2016. It certainly wasn't a given that AI was going to lead to a fruitful career back then, let alone to unimaginable riches.

New comment by tinco in "Mullenweg has returned as CEO after attempted board ouster"

tinco — Mon, 14 Sep 2026 05:52:23 +0000

It's a true power struggle. As a software engineer I have actually fallen into the trap of thinking that because of the law or a contract something would happen. It is a softer power than I expected.

The board wants to make money, that's why they hold shares and positions. If Mullenweg has the power to destroy value, that will be powerful leverage over them. If his employees side with him, if he holds the accounts, they'll have to negotiate carefully.

Of course, you would need a lawyer to determine when this crosses from a civil dispute to a criminal dispute because at some point him using the keys when he's not authorized could be a crime and if they can get the cops involved that certainly changes the dynamic.

New comment by tinco in "TurboKV: Insanely fast Rust key-value store"

tinco — Sat, 29 Aug 2026 11:15:20 +0000

It's not pedantry, you're trying to find something in Rust that's simply not there. If this sort of thing turns you off on Rust you should be looking at a programming language with other priorities.

New comment by tinco in "Overcooked? Why robotic pizza makers are failing"

tinco — Fri, 28 Aug 2026 09:54:36 +0000

Not sure if that's true, there's some frozen supermarket pizza now that's seriously good. If I ordered fast food and they delivered a freshly baked Crosta Mollica pizza I wouldn't send it back. Of course a fresh pizza is better, but imo you couldn't get a Crosta Mollica quality frozen pizza 10 years ago.

New comment by tinco in "Qwen3.8-2.4T"

tinco — Thu, 13 Aug 2026 11:21:50 +0000

From my evaluation[1] neither Kimi K3 nor Qwen 3.8 are as good as GLM 5.2 at coding. I wonder if there's a marketing gap that's got people underestimate it.

It uses twice as much tokens to achieve the same but the results are significantly better and because it's so much cheaper it's the most economical choice too.

[1] https://blog.bosun.ai/software-maintenance-with-open-weight-...

Evaluating Open Weight Models for Software Maintenance

tinco — Wed, 12 Aug 2026 13:08:51 +0000

Article URL: https://blog.bosun.ai/software-maintenance-with-open-weight-models-part-1/

Comments URL: https://news.ycombinator.com/item?id=49271848

Points: 4

# Comments: 0

New comment by tinco in "Cloudflare OS: an open platform for agents, apps, and work"

tinco — Wed, 05 Aug 2026 15:16:26 +0000

This is really interesting. I built a similar product (not released yet), but it uses Kubernetes as the infrastructure layer instead of Cloudflare OS. I guess all these years later I am left with the same existential question that plagued Sandstorm. What is its relevance in the context of Linux containers? This is not a rhetorical question, is there a real benefit for a Sandstorm grain over a docker style Linux container? Does a containerized process not have all the same benefits of a Sandstorm grain, with the added benefit of not requiring any modifications of the containerized software?

One argument I could bring is that despite all its claims, OpenAI still had to switch from containers to MicroVMs because its agents under test still managed to break out from their containers. Is the security model of a Sandstorm grain so much better that agents wouldn't figure out how to break out of it?

New comment by tinco in "G# – A modern .NET language with Go, Kotlin, and Swift ergonomics"

tinco — Thu, 16 Jul 2026 06:22:42 +0000

When I was in university the course was called compiler construction. Making a language like G# is very simple and about the level that the final project of the course would be if the team was working together really well and went for maximum bonus points.

We have so many programming languages because it's a fun and relatively easy thing to start, and lots of people have differing opinions of how it should be done. Also making a programming language seems like a difficult thing from the outside so it has a certain allure.

Swift exists because objective c has archaic language design that modern developers reject. Objective C exists because as far as I know at the time smalltalk style object oriented programming was hip and C++ made the wrong decisions in their eyes. It could also be that C++ wasn't popular enough yet at that point for Apple to commit to it. In that period basically all major operating systems went different ways. The Unix derivatives went all in on plain C, Microsoft went C++ and Apple objective c, though I think OSX itself is plain C for the most part.

New comment by tinco in "CarPlay Is Additive"

tinco — Fri, 03 Jul 2026 09:54:18 +0000

I don't know how CarPlay is, but Android Auto restricts the apps and app interactions you can do in the Android Auto user interface. On my phone the only apps that show up are google maps, spotify, and my podcast player and my phone interface I think.

New comment by tinco in "Ask HN: Will programmers write more efficient code during the memory shortage?"

tinco — Sat, 20 Jun 2026 07:32:53 +0000

They might, but the final outcome of that depends on whether the tokenmaxxing rust-using zero-user startups are using more memory in ci/cd than the users of efficiently written successful apps are using in production.

New comment by tinco in "I Moved My Digital Stack to Europe"

tinco — Wed, 13 May 2026 14:18:52 +0000

Seems like not being compatible with Sentry's agent is a missed opportunity for Appsignal, which I think is the premier EU based (Amsterdam) APM suite at the moment. It sounds like Bugsink is rather barebones in comparison and I bet a quick agentic coding session would make short work of a migration to AppSignal.

New comment by tinco in "Why has there been so little progress on Alzheimer's disease?"

tinco — Sun, 26 Apr 2026 07:55:09 +0000

Ok so how does he know that? This whole podcast is about how we don't even know how tau clumps and amyloid build ups relate to the progression of the disease.