Natasha Kerensikova

[weblog] Un kilo-ien plus tard… #autopromo instinctive.eu/weblog/10A-k...

Gödel's beavers, or the limits of knowledge Can you examine infinitely many integers in finite time? Are there numbers you're not allowed to know? Can a monkey beat a beaver in a fair fight?

Do numbers exist even when nobody can know them* (e.g. BB(643)) ?

*without proving ZFC inconsistent
lcamtuf.substack.com/p/monkeys-ty...

[weblog] Entretien et réparation #autopromo instinctive.eu/weblog/109-e...

Mon expérience de matplotlib est la même; peu après la bascule depuis gnuplot j'espérais que ça s'améliore au fil du temps, mais maniftestement non, je continue de cargo-culter mes scripts passés, et les résultats ddg quand je veux faire de nouvelles choses.

Je suis rebutée par les gros machins comme R ou TeXlive tiré par pyxplot ou les interpréteurs javascript, mais je finirai peut-être par me résigner.
Le concept de grammar of graphs me paraît intéressant, et si je n'étais pas tant saoulée par python j'aurais déjà essayé plotnine. 4/4

J'utilisais gnuplot avant matplotlib, c'est moins joli et ça preprocesse trop peu, mais j'aime beaucoup l'esprit de l'outil. 3/4

Il me faut surtout des images statiques et un script archivable et analysable pour retrouver a posteriori ce qu'on voit. Sources généralement CSV, parfois un peu de sqlite. Preprocessing minimal, genre eCDF ou EWMA.
J'explore les données aussi, mais j'ai l'habitude de le faire en non-interactif. 2/4

Habituellement je fais mes graphes avec matplotlib, j'aime bien les résultats mais le python et la lib' me saoulent de plus en plus.
J'hésitais à demander sur mon weblog, mais je commence ici : quelles alternatives suggérez-vous ?
Critères et solutions essayées ou écartées ci-dessous. 1/4

FWIW, I regularly encounter the same need and I use tabs with the post in question and/or a dedicated remote text file with the link, depending on whether I predict I'll need it in another browser or not. I find it convenient enough for me.

J'avais l'impression de piquer à toi-du-passé (janvier dernier, mais il me semblait avoir vu un autre avant, que je ne retrouve pas pour l'instant), je ne savais pas que je piquais en même temps à toi-du-futur, j'espère que ce que grand-écart temporel ne va pas me causer une foulure quantique…

[weblog] Filler instinctive.eu/weblog/108-f... #autopromo
(et un peu honte d'annoncer du vent comme ça)

… et ensuite un dhyang-like avec des parties constantes entrecoupées de quantités de blancs fonction bien choisie du numéro de génération.

Merci beaucoup !
J'imagine qu'en partant de là on pourrait faire un programme qui affiche son propre source à l'exception de l'incrémentation (éventuellement modulaire) d'un entier hardcodé (numéro de génération), …

(je ne demande pas une solution toute prête, juste l'existence d'éventuels principes que j'ignorerais et qui seraient aussi archi-connus que celui de la quine)

J'imagine qu'on peut naïvement faire une n-quine (un programme qui affiche un programme qui affiche un programme … qui affiche le programme original) avec n données permutées et une duplication en code, mais est-ce qu'il n'y aurait pas plus malin? Et comment contrôler la forme de chaque itération?

Par exemple, la quine de base j'ai toujours trouvé ça magique, jusqu'à apprendre qu'il suffit "simplement" d'avoir un code redondant qui peut être obtenu en dupliquant sa donnée.

Dites les gens plus malins que moi qui trainent là-dedans, comme @gro-tsen.bsky.social et @jeanas.bsky.social , y a une/des astuce(s) pour faire dhyang.c? www.ioccc.org/2000/dhyang/...
(une quine d'ordre 3 avec un layout intéressant à chaque étape)

Lastly, no matter the search means, I find an overall subjective steady decline in satisfaction, which I attribute mainly to SEO/ads/slop getting more and more in the way between me and the information I seek (or engine losing (or getting caught up) in the arms race).

Also I found perplexity and chatgpt-search much better in that query subset, if they had a search-engine-like list-of-links interface instead of irritating prose I might have already ditched google search entirely.

I definitely witnessed a subjective decline of my satisfaction in the results when I use Google, with the huge caveat that I mainly use DDG, so there is a selection bias in queries to which DDG doesn't answer satisfactorily, and it might only come from (whatever is under) DDG closing the gap.

Faim

[photoblog] Faim #autopromo #52frames #52frames_negativespace instinctive.eu/photoblog/0A...

oui enfin telnet c'est aussi un héritage direct d'UNIX, ça n'a pas empêché d'arrêter les c*nneries à un moment

La syntaxe AT&T me fait toujours autant saigner les yeux, je ne comprends pas qu'en 2025 tout le monde ne se soit pas aligné sur la syntaxe Intel…

[weblog] Crise de la quarantaine instinctive.eu/weblog/107-c... #autopromo

Sécurité sans modèle d'attaquant n'est que ruine de l'âme.

Bah c'est juste une briqu^W^Wun étage de plus dans la MMU

Tu vas parler de la57 qui a éteint tout Go dans FreeBSD pendant une bonne semaine, ou c'est related de trop loin ?

Je lisais ailleurs qu'on croit souvent à tort que les révolutions sont lancées par une masse populaire qui va trop mal, alors qu'en réalité elles le sont généralement par une élite qui saisissent l'occasion de manipuler une masse populaire qui va relativement bien.

And I would encourage Gemini and TOR hidden service mirrors if it was as easy to deploy as a RFC-5888 HTTPS server.

I do agree that gratuitous HTTPS shouldn't displace HTTP yet, non-gratuitous HTTPS shouldn't be evaluated without an actual thread model, but I don't see any harm in LE-enabled HTTPS mirrors of HTTP content (except with obsolete anti-SEO policies).