HNHacker News
TopNewBestAskShowJobs

MarceColl

437 karma · joined August 25, 2015

marce at dziban dot net

dziban.net

https://x.com/dzibanisms

submissionscomments
MarceColl··on Development statistics for the 7.2 kernel
Oh, you dont have to worry. You'll be obsoleted waaay before him.
MarceColl··on Felix Rieseberg Homepage
Reminds me a bit (although less interesting) of the 2000s JK Rowling website.
MarceColl··on Veda: The First Agentic Hobby Operating System
I disagree they are fundamentally at odds. The design I'm exploring with capabilities means that if you want you can do all of those things, but you can also scope them. An actor can create another actor and pass the capability or restrict it further. Imagine something like codemode with capabilities, where you want your agent to be able to shop for you. You ask your OS agent, it creates a couple different actors, one maybe manages your money, with limits you can set. Only that actor can do that. Another gets a restricted HTTP client only for those shops you whitelist.

Then a third is an agentic actor that gets access to those other two. That one then has access to two things:

* HTTP requests to specific websites * A limited way to use money

Since you can compose the primitives to limit the impact of any agent doing stupid shit you can trust it more to shop for you or book travel for you.

Of course it's more friction, but you can also choose how involved are you. You can potentially trust your coding agent to do most of it and once done everything that can be deterministic is deterministic, and only agents come in for the non-determinism and adaptability.

As the system evolve you have a library of actors that act as restricted capabilities, and an agent cannot create them out of thin air.

MarceColl··on Veda: The First Agentic Hobby Operating System
IMO, an agentic operating system should be not only about "integrating the agent everywhere" but also about providing the compartimentalization and tools to allow working safely with agents when they can reach into every part of the system. It should allow to easily extend the system safely.

I also built an agentic OS but the underlying system is very different based on a custom actor runtime with capabilities and a way to arbitrarily create and compose restricted capabilities.

The idea is that you can sculpt the OS to your needs using agents and fully restrict what they can or can't do.

The core is also I think kind of interesting because at it's core it's an actor runtime, where each program receives and sends messages, and only when processing a message they use memory. Each program has managed persistent state as well. So it's very easy to create actors that persist data and you can have millions of them without using a lot of resources.

MarceColl··on Why Common Lisp is now the best programming language
I have been experimenting with agents inside the application itself as it's being developed. The application has a harness and then that harness can self-evolve and evolve/introspect the application.
MarceColl··on ASML says it sold 'absolutely nothing' in Europe in 2026
The EUV LLC research was US-funded, agreed. But the light source is Cymer, which ASML has owned since 2013. Its drive laser is Trumpf (Germany), and the optics are Zeiss (Germany). Nikon and Canon had access to the same public research and dropped EUV. The US had GCA, Perkin-Elmer and SVG, and lost the market anyway. If integration were the easy part, someone else would have done it. You are underselling what it means to perfect the machines by calling it "just integrating".

By that logic SpaceX is a German company. Liquid-fuel rocketry was researched and developed at Peenemünde, and the US brought in von Braun's team wholesale to build its program. SpaceX just integrates German IP. Or Google is Swiss. The web was invented at CERN; Google is just an integrator of European tech. Or Apple Silicon is British. ARM was designed in Cambridge; Apple just licenses it.

MarceColl··on Evolving programming languages in the AI era
I've been building something in this direction for a year across many iterations and explorations: https://dziban.net/posts/yabu/ and https://kinoko.sh

There is such a wide range of interesting things that can happen here that we aren't exploring at all.

MarceColl··on ASML says it sold 'absolutely nothing' in Europe in 2026
That's why it has so many competitors, right?
MarceColl··on Show HN: EterDB, a Postgres fork that makes it easy to recover from incidents
Fair enough, but I think there is utility beyond this. Sometimes humans do stupid shit too.
MarceColl··on Show HN: EterDB, a Postgres fork that makes it easy to recover from incidents
I have no relation to the project, but calling this problem solved and then offering a vastly inferior solution to the proposal (PITR) is a bit unfair
MarceColl··on Show HN: SubSmith – Turn your own videos into language-learning material
It's a similar methodology, my problem with things like this is that they do give you comprehensible input, but it's very boring. I don't engage at all. The idea of Katarineko is to create comprehensible input from content that interests you. Say you want to watch Spirited Away but it's a bit too advanced for you at the moment, we create stories at your level for Spirited Away to teach you the core words you need to achieve your target comprehension level.
MarceColl··on Show HN: SubSmith – Turn your own videos into language-learning material
I've been building something similar but targeted at bringing content that interests you to your level: https://katarineko.com.

I've been learning Japanese as well and the content at my level is boring while the content I'm interested in is a wall.

MarceColl··on DeepSeek V4 Pro 0813
Yeah, that's bullshit.

Depending on my mental state, status with the person and many other factors each of them may trigger both many different internal thoughts, looks, body expressions and even outcomes.

MarceColl··on Claude Opus 5
for you, I am in general not constrained by the speed of models since I parallelize. For me autonomy and accuracy are paramount above all else.
MarceColl··on Building on ATProto
I have a referee server handling that. I haven't! I don't even know what Atmo is, tbh.
MarceColl··on Building on ATProto
I've been building a board game community on ATProto. The idea revolves in trying to build the feeling of local clubs but online, instead of "PLAY NOW" being on the landing page (although you can play now if you want) it's organized around clubs. I also wanted to move away from one game oriented community. I play Go and Chess and I would love clubs to be for mixed games. You can create leagues, or tournaments, etc.

As an extension of that I've been building a small language to build games (with a nice time traveling debugger and automatic replays) inspired by Elm. Go and Chess are both built on top of this and you could fork them and modify the rules. Want to code a new Chess variant? Go ahead! Want to code a whole new game you want to try? Go ahead!

What I'm very excited with ATProto is that because all games are broadcast on it and each shares a core system of turn-based replays (and review system with branching) software can be built on top to do AI analysis, or a replay view. The idea that my application can be extended without me adding an API is very exciting and very much in the direction I want to take the system (community is the core tenet).

MarceColl··on Everyone should know SIMD
I guess it depends on what real language means to you, but APL[1] existed before and it's fully array based.

[1]: https://en.wikipedia.org/wiki/APL_%28programming_language%29

MarceColl··on Why do you suck at juggling now?
It could be, but I assume it was not because of how he introduced himself. "Hey? Are you that juggling guy from the gym?"
MarceColl··on Why do you suck at juggling now?
What's more shocking to me is asking a person that is not even an acquaintance why they suck at juggling now.
MarceColl··on There is minimal downside to switching to open models
Not caring about providers doesn't mean not caring about models.
MarceColl··on The European Social Stack
And yet my American ex-GF that went to one of these top universities with very good grades when she came to Barcelona to do a masters (in a lowly Spanish university) she was so far behind in knowledge compared to her peers she had to do a lot of work just to catch up.

I'm pretty sure most of these are just politics being played.

MarceColl··on Goodbye Visa and Mastercard: 130M Europeans switching to sovereign payment
We already have instant SEPA payments and most countries already have a version of this running, I think the idea is that this unifies it across europe. I can send money to any friend in 20 seconds with Bizum in Spain and a lot of merchants also accept Bizum.
MarceColl··on Show HN: Social Network for Corporate Cringe
So linkedin?
MarceColl··on France's government is ditching Windows for Linux, says US tech a strategic risk
The reason you can say "an American" has nothing to do with a vowel or not, there are just some demonyms that for some reason can be used like this, and some that can't.

For example:

* German is countable: https://www.oxfordlearnersdictionaries.com/definition/englis... * French is uncountable: https://www.oxfordlearnersdictionaries.com/definition/englis... * American is countable: https://www.oxfordlearnersdictionaries.com/definition/englis... * Spanish is uncountable: https://www.oxfordlearnersdictionaries.com/definition/englis...

But your explanation about why it is correct is bullshit, has nothing to do with "an" vs "a", the English language is just inconsistent as fuck and some demonyms can be used like this and some can't.

MarceColl··on Ask HN: What Are You Working On? (March 2026)
This looks perfect, Ill give it a go today
MarceColl··on Ask HN: What Are You Working On? (March 2026)
Finishing up the last touches to release: https://getkatari.app/ my japanese immersion app

Also working on https://www.kinoko.sh/. An agentic engineering platform built from the ground up for agents. Custom language and architecture and a layer of formal verification on top. Also working on a custom inference engine that produces well typed programs

MarceColl··on Squishy Go
There are different rules on scoring, Chinese rules don't care about stones in your territory. Japanese rules do. From what the page says, this uses the traditional japanese rules (Stone Scoring)

https://senseis.xmp.net/?Scoring

MarceColl··on Ask HN: What Are You Working On? (Nov 2025)
https://katarineko.com

I think by this point everyone that is learning a language knows that immersion is very important, however a problem I've had myself is that the content that interests me is beyond my reach, and the content that is within reach doesn't interest me.

This is my attempt at doing something to remediate that. You select the content you want, and I create a personalized study plan to learn the most important words to achieve a target % of understanding. Then I generate a short story each week for your particular level containing the new words in the context of your content.

The idea is to bring the content you want to learn to your level so you can watch what you want to watch.

MarceColl··on Delete FROM users WHERE location = 'Iran';
Maybe I'm wrong but it sounds like a generic "you", not talking about you specifically https://en.wikipedia.org/wiki/Generic_you
MarceColl··on Delete FROM users WHERE location = 'Iran';
https://en.wikipedia.org/wiki/Generic_you
Page 1 of 5Next →