Sebastien Marie
semarie.kapouay.eu.org
Sebastien Marie
@semarie.kapouay.eu.org
OpenBSD, programming language (c, lisp, ocaml, rust, zig, …), sysadmin, infosec and others things like that
Reposted by Sebastien Marie
Interesting new experimental build system for #ocaml from one of Dune's core developers:

https://www.alicecaml.org/about/
Alice: About
A radical, experimental OCaml build system and package manager
www.alicecaml.org
November 18, 2025 at 3:36 AM
Reposted by Sebastien Marie
"Cette étude, publiée dans la revue Nature, questionne directement la pertinence de la 8K aujourd'hui. Si la technologie peut séduire sur le plan marketing (...) les bénéfices réels pour l’utilisateur sont inexistants, à moins d’être le nez collé à son écran."
(Et pour la 4K, c'est tendu)
La science a tranché : la 8K ne sert à rien
La distance à laquelle nos écrans Full HD, 4K ou même 8K sont installés a un impact notable sur la perception que nous en avons. La 8K est-elle vraiment utile ? Une étude de l’université de Cambridge ...
www.lesnumeriques.com
November 2, 2025 at 12:20 AM
Reposted by Sebastien Marie
I had a bug in my new ML-DSA implementation that caused Verify to reject all signatures. I gave up after half an hour. On a whim, I threw Claude Code at it. Surprisingly (to me!) it one-shotted it in 5 minutes.

A small case study of useful AI tasks that aren't generating code that requires review.
Claude Code Can Debug Low-level Cryptography
Surprisingly (to me) Claude Code debugged my new ML-DSA implementation faster than I would have, finding the non-obvious low-level issue that was making Verify fail.
words.filippo.io
November 1, 2025 at 6:26 PM
Reposted by Sebastien Marie
Ces problématiques sociétales, souvent balayées par un "je n'ai rien à cacher" avaient d'ailleurs donné lieu à un échange passionnant avec @laurent.chemla.org :

reflets.info/articles/rie...
Rien à cacher | Reflets.info
Quand on est, comme moi, un vieil activiste désabusé, il y a des lieux et des moments où on s'attend à déposer les armes. Se reposer l'esprit en assistant à un débat réunissant des gens qui partagent ...
reflets.info
October 25, 2025 at 2:13 PM
Reposted by Sebastien Marie
Great deep-dive on AMD Zen microcode hacking and a signature-validation flaw

bughunters.google.com/blog/5424842357473280/zen-and-the-art-of-microcode-hacking

#infosec
October 20, 2025 at 3:13 PM
Reposted by Sebastien Marie
A couple of years ago I wrote an article about #ocaml extension points/PPX for a magazine that no longer exists. It's been offline for a while now and is unlikely to ever come back, so I decided to republish it on my blog:

https://citizen428.net/blog/introduction-ocaml-extension-points/
Introduction Ocaml Extension Points - citizen428.net
Note: This article was originally written for Human Readable magazine. That site no longer exists, so I decided to republish it on this blog. Metaprogramming is a technique in which programs modify themselves at compile or run time. This can be achieved in various ways, for example through reflection (C#, Java, Ruby, Smalltalk), templates (C++, D, Template Haskell), or macros (Lisp, Elixir). The OCaml language offers a distinct approach to compile-time code generation in the form of extension points and AST rewriters, which we’ll explore in this article.
citizen428.net
October 18, 2025 at 1:27 PM
Reposted by Sebastien Marie
Reposted by Sebastien Marie
Comment mettre en place une infrastructure de stockage de 30 Po à San Francisco pour du pré‑entraînement de modèles vidéo à moindre coût. (L)

"Instead of paying the $12 million / yr … to bring that cost down ~40× to $354k per year, including depreciation."

👉 https://si.inc/posts/the-heap/
October 3, 2025 at 4:31 PM
Reposted by Sebastien Marie
This is the 2nd time this week than one of the most popular french account is banned.

Don't know if it's a mass reporting event, or your mod bot that is defective...
But this have a big impact visibility on french community.

Can you investigate ?

@support.bsky.team @safety.bsky.app @pfrazee.com
@bouletcorp.bsky.social a été suspendu ?????

mais !!
September 20, 2025 at 7:48 AM
Reposted by Sebastien Marie
If you are curious about what atproto is, what a PDS is, or what moving to a new PDS looks like. This may be a good starting place for you. This is my attempt at explaining some of the basics of Bluesky(atproto) in a less technical way.
What the hell is the atmosphere anyway
A slightly less technical intro to the technical side of Bluesky
marvins-guide.leaflet.pub
September 13, 2025 at 11:49 PM
Reposted by Sebastien Marie
Type Checking is a Symptom, Not a Solution open.substack.com/pub/programm...
Type Checking is a Symptom, Not a Solution
2025-08-31
open.substack.com
September 5, 2025 at 3:23 AM
Reposted by Sebastien Marie
Investigating a hardware keylogger found in the wild 🔬

research.hisolutions.com/2025/07/a-ta...
A Tale of Practical Keylogger Forensics
Have you ever found a keylogger and wondered what secrets it may have logged? We have opened one and managed to read the recorded data.
research.hisolutions.com
September 2, 2025 at 7:24 PM
Reposted by Sebastien Marie
Git exclude, a handy feature you might not know about https://lobste.rs/s/pnu6ax ##vcs
Git exclude, a handy feature you might not know about / Marijke Luttekes
Explaining git exclude and how it differs from git ignore.
marijkeluttekes.dev
September 3, 2025 at 9:10 PM
Reposted by Sebastien Marie
Looks like Google won't be selling Chrome and cutting off Mozilla - the (230 page) ruling on the antitrust case is out, my notes here simonwillison.net/2025/Sep/3/a...
gov.uscourts.dcd.223205.1436.0_1.pdf
Here's the 230 page PDF ruling on the 2023 United States v. Google LLC federal antitrust case - the case that could have resulted in Google selling off Chrome and …
simonwillison.net
September 3, 2025 at 8:57 AM
Reposted by Sebastien Marie
deliberately not guessing the word in Wordle is somehow much harder than i thought

Don't Wordle 1197 - WORDLED
⬜🟨⬜⬜⬜2620
⬜⬜🟨⬜⬜927
🟩⬜⬜⬜⬜142
🟩⬜🟩⬜⬜13
🟩⬜🟩⬜🟩4
🟩🟩🟩🟩🟩0
Undos used: 0
Don't Wordle
Don't guess the hidden word in 6 tries. A new puzzle is available each day.
dontwordle.com
September 1, 2025 at 11:40 PM
Reposted by Sebastien Marie
A new, magnificent article by @Linkshaender has been published in the BSD Cafe Journal: "Why "caffè" may not be "caffè""

I highly recommend reading it!

https://journal.bsd.cafe/2025/09/01/why-caffe-may-not-be-caffe/

#bsdcafejournal #it #sysadmin
Why “caffè” may not be “caffè” – The BSD Cafe Journal
journal.bsd.cafe
September 1, 2025 at 12:35 PM
Reposted by Sebastien Marie
Meilleur début de scénario d'horreur.
Dites, quand j’ai acheté ma baraque on m’a dit que j’avais des caves sous le salon (notaire). Est ce que vous connaissez une méthode pour savoir si c’est vraiment le cas, sans peter tout le sol ?^^ (j’ai enlevé un morceau de parquet mais y’en a un autre puis du carrelage en dessous ^^).
August 30, 2025 at 8:36 AM
Reposted by Sebastien Marie
Making of today's work.
August 29, 2025 at 5:30 PM
Reposted by Sebastien Marie
An LLM is a lossy encyclopedia simonwillison.net/2025/Aug/29/...
August 29, 2025 at 9:32 AM
Reposted by Sebastien Marie
Hey, so I just moved my blog to @tangled.sh ! I also wrote a blog post about the process and some stuff I ran into while doing it.

#blog #tangled.sh
Tangled.sh
Moving this blog over to Tangled.sh, a AtProto git collaboration platform.
www.claycow.com
August 29, 2025 at 7:38 AM
Reposted by Sebastien Marie
You no longer need JavaScript: an overview of what makes modern CSS so awesome https://lobste.rs/s/xx7dbi ##css
You no longer need JavaScript
An overview of what makes modern CSS so awesome.
lyra.horse
August 28, 2025 at 8:50 PM
Reposted by Sebastien Marie
Most people should use a password manager, but there's no one-size-fits-all recommendation. ssd.eff.org/module/choo...
Choosing a Password Manager
Password breaches are a common occurrence, and if you use the same password on every site, that may grant access to bad actors who try out that password elsewhere to get into your accounts. The best way to protect yourself is to use a unique password everywhere (and two-factor authentication,...
ssd.eff.org
August 27, 2025 at 12:00 AM
Reposted by Sebastien Marie
Process in the making of today's work
Title still few birds and few trees are left .

I don't know where my mind will take me .
August 7, 2025 at 11:13 AM
Reposted by Sebastien Marie
Overacting
August 23, 2025 at 3:10 PM