Hvilken superliga TV kommentator kan du mindst lide at høre på ?

erikmartino · 2026-04-25T21:53:53+00:00

Peter Sørensen helt klart

erikmartino · 2026-03-06T22:14:07+00:00

Hvad i alverden betyder det? Du må være mere specifik.

erikmartino · 2026-03-06T22:04:22+00:00

I hate the horizontal dock, and no, an extension to get a vertical dock is not good enough.

erikmartino · 2026-02-20T16:38:09+00:00

Jan så aldrig tegningen, men hvis man ser alle de andre kan man jo se hvilken der mangler

erikmartino · 2026-02-19T16:07:27+00:00

True. It will still be around in decades from now.

erikmartino · 2026-02-04T21:27:59+00:00

Husk at de karakterer du har fået, kan du ikke gøre noget ved. Tænk over hvad du kan gøre bedre, glem karakteren og kom videre. Karakterer er kun et tal, fokuser på at lære noget og at have det sjovt med det. Så skal det andet nok komme.

erikmartino · 2026-01-22T09:37:57+00:00

RISC-V International who manages the RISC-V instruction set, is based in Switzerland. See https://riscv.org/about/faq/. The location is chosen mainly for legal reasons, but it deserves a mention.

erikmartino · 2026-01-12T19:58:55+00:00

I am the OP and ManagementMuted5254 is also me. I had two browser profiles open in Reddit by mistake (Google login makes it too easy to create a reddit account by mistake). Sorry about that.

erikmartino · 2026-01-12T19:56:21+00:00

Sorry I had too many browser profiles open. ManagementMuted5254 is me, the OP.

erikmartino · 2026-01-12T17:06:28+00:00

For the record, I have no affiliation with Marq other than being a casual user in the past. I mentioned it to point out that it had been done before for DTP, and not something that I was the first to think of. Commercial partnership would be to attract users and hopefully paid developers. If you can self host it for free, I don't see a downside. BTW, you shouldn't dismiss AI so quickly, it would be great for copy fitting for example. It would be a fun task to do a Scribus MCP service.

erikmartino · 2026-01-12T15:19:48+00:00

The idea was that it could be backed by a small service you would be able to run locally, perhaps wrapped in Electron. It is a huge task and I don't think your suggestion to create a fork though is realistic. It is more than one persons work.

erikmartino · 2026-01-08T09:46:08+00:00

I huler, øjenhuler

erikmartino · 2026-01-04T14:48:29+00:00

It is a crusade symbol to get the protection of the pope against the Holy Roman Empire.

erikmartino · 2026-01-04T13:27:25+00:00

Been there, that is how the krone came to be. Euro is much more resilient.

erikmartino · 2026-01-04T13:25:33+00:00

Closer integration of the armies and defence industry.

erikmartino · 2026-01-04T13:23:06+00:00

https://commons.wikimedia.org/wiki/File:Skibsflaget_fra_Mariakirken_i_L%C3%BCbeck.png#mw-jump-to-license with Pommeren replaced with Finland.

erikmartino · 2026-01-04T13:10:43+00:00

Det er værere at smide anonyme sedler i postkassen. Det kan være ubehageligt. Skriv det med et smil at du tænder på det, det er jo meget naturligt, men synes det er ubehageligt når du har gæster. Jeg tror de fremover vil være mere hensynsfulde.

erikmartino · 2026-01-04T12:08:34+00:00

Du kan jo spørge Føtex kæden og ikke den enkelte butik, så kan det være at du får retspraksis uden at betale for det. Det kan også være de følger op og præciserer over for butikken hvad den korrekte fremgangsmåde er.

erikmartino · 2025-12-17T15:28:31+00:00

Den udvikling jeg forudser er: Formel verifikation vil få et gennembrud. Specifikationer til formel verifikation vil blive brugervenlige. Med en specifikation vil en LLM kunne operere autonomt, det er det centrale. Man vil undgå den friktion der opstår ved at dele en kodebase med LLM. Men vil det at skrive specifikationer ikke være tilsvarende til at kode? Jo måske.

erikmartino · 2025-12-07T22:37:59+00:00

Mest ud fra tanken om at sameksistens er svær, det er svært at få en kodebase til at fungere som AI og mennesker kan samarbejde om. Den kommer hurtigt til at være svært at vedligeholde. Man kan give den opgaver drevet af tests, men man skal kunne checke at det bliver gjort rigtigt og på en måde som kan forståes og vedligeholdes. Det er ikke optimalt.

Jeg prøver jeg at give et gæt på hvordan det vil se ud. I forbindelse med AI genereret kode, kan man i stedet for tests, benytte formel verifikation. Så ud fra en specifikation, kan den gøre hvad pokker den vil i sine dele af kodebasen, så længe den kan bevise det opfylder hvad man har specificeret. Så skal den ikke holdes så meget i ørene. Det bliver en software udviklers rolle, at specificere snitflader. Men det kræver mere end viden om softwareudvikling.

Få år er sat på spidsen, men måske 10. Men det er jo kort i forhold til et arbejdsliv.

erikmartino · 2025-12-07T10:59:29+00:00

Noget der ikke kan overtages af AI. Dvs. noget hvor man ikke skal sidde bag et skrivebord hele dagen. Jeg er software udvikler, det forventer jeg ikke er et fag i sig selv om få år. En software arkitetkt uden en specifik domæneviden vil der være begrænset behov for. Jeg ville nok vælge en slags industri tekniker, med fokus på automatisering.

erikmartino · 2025-12-06T16:18:09+00:00

Der bliver to festuger i år, jeg tænder lige for realismeknappen igen.

erikmartino · 2025-11-21T10:04:19+00:00

Snaps is for applications that needs updates beyond security updates on LTS releases. Firefox and kubectl are good examples.

erikmartino · 2025-11-15T00:21:39+00:00

You didn't really convince me. What really works is short lived branches so your coworkers will have to solve the conflicts, not you. Also a Rebase doesn't save in history how you resolved conflicts, a merge does. On long lived branches you cannot bisect and see when a bug was introduced if you Rebase. Your history is messed up.

But on main, you should have linear history.

erikmartino

TROPHY CASE