Feed
-
I just wanted a genlop-style build ETA predictor for my ~1500 agda modules. I already have a wrapper that launches each build subprocess in a cgroup with a memory cap, and which waits until it can lock enough memory from the parent cgroup, so I can `make -j` without fear of swapping. I expected my wrapper tool to get clever about predicting time to completion. I did *not* expect my wrapper tool to pick up the smarts to size memory cgroups even smaller based on history, thereby permitting more...
-
My daughter has informed me that there is uptown, midtown, downtown and goblin town. #downdown
-
I just lost the game.
-
Instructor: "Show your work." Me: "Certainly. Here's the dependency graph, verification chain, mutation-testing adequacy report, provenance trail, and generated projection proving the document corresponds to the underlying claim structure." Instructor: "...No, not like that."
-
I'm a thunk I'm a maybe I'm a promise I'm just lazy I'm a fiber I'm a thread My signal is unread.. I'm a child I'm a zombie And I'm nothing in between I know the kernel cannot reap me anyway...
-
WIP: Working on a theme aimed squarely at my sense of nostalgia and my respect for people who are colorblind...
-
16:31:12 up 7 days, 2:08, 1 user, load average: 35.93, 31.34, 23.05 10 core laptop. 27GiB of swap in-use. CPU freq pushed all the way to the floor (because dust on heat sink; it'll overheat otherwise). And despite all of that...the machine is running several disjoint heavy workloads, the UI is smooth as butter, and `sys` is nice and low. A mixture of cpu scheduling and zswap to make it all happen on a personal laptop...
-
I misread "dashboards" as "deathboards". My Grafana setup is getting metal...
-
08:27:56 up 17:07, 1 user, load average: 260.70, 127.69, 57.48 Cue Song 2 by Blur.
-
Getting closer...but is measured 138k test cases enough?
-
Whelp. That was work. Two OpenBao nodes, each holding the rekeying secret for the other, both storing their unsealing keys in the host TPM, automatic mutual rekeying, automatic failure recovery (each node gets two slots in the TPM to hold unsealing keys, a slot for last/current and a slot for current/next). Automatic e2e provisioning on k8s on my laptop, and I _never see a key during the entire process_.
-
hey, @flameeyes; tell me about the gentoo-on-bazel setup you did. I'm building something similar, and I'm curious what seams you had between the build layers.
-
Reticulating splines...
-
#Volunteer #PhoneBank #Maine Dialing for Democracy in Maine Virtual event Join from anywhere Sun, Nov 1, 9am–12pm EST Mon, Nov 2, 6–8pm EST www.mobilize.us/mobilize/eve... Dialing for Democracy in Maine...
-
Wikipédia fonctionne toujours ! Ça tombe bien car demain je donne uns formation 😄 #PHP #MediaWiki
-
Parce qu'il y a des personnes radicalisées à la Préfecture de police de Paris 🤔 https://www.leparisien.fr/paris-75/pourquoi-un-helicoptere-survole-a-nouveau-paris-ce-mercredi-soir-21-10-2026-3VZBRFBI2ZH3DBTRINNNY64TNA.php
-
RE: https://mamot.fr/@Pyb/117478101227826890 Retour sur la journée mouvementée pour les adminsys. Du côté de Wikipédia, brève coupure lors des mises à jour, mais le site a pu rester accessible, félicitations aux équipes de Wikimédia ! Pour la petite histoire, c'est @magnusmanske qui a réécrit le logiciel qui fait fonctionner les wikis de Wikimédia en PHP en 2002. https://www.nouvelobs.com/economie/20261021.OBS119415/meteo-france-prefectures-pourquoi-de-nombreux-sites-internet-etaient-i...
-
RE: https://mastodon.social/@univbordeaux/117485393118490748 #TraduisonsLes L'université de Bordeaux est (évidemment) contre la mobilisation (comme sans doute une très grande partie de France Universités) mais ne l'assume (évidemment) pas.
-
The Guardian s'interroge sur les violences des forces de l'ordre française. Why are French police so violent? Their job is to protect the state, not the people https://www.theguardian.com/world/2026/oct/20/france-culture-violent-policing-protests-riots #FDO #ViolencesPolicieres #TheGuardian #France
-
Terminons la semaine par une histoire qui termine bien.
-
Dans les bonnes nouvelles du jour, #Toolforge est réactivé (les outils y sont rajoutés un par un) et Magnus a réécrit #QuickStatements en Rust : https://quickstatements.toolforge.org #Wikimedia
-
l'Internationale des Travailleurs Intellectuels : "Ils sont cependant les artisans du progrès qui n'est autre chose que la mise en action de la solidarité des cerveaux. Aussi est-il temps qu'à travers les frontière, ils s'unissent pour défendre les intérêts de l'Idée." https://gallica.bnf.fr/ark:/12148/bpt6k628419w/f3.item.zoom
-
Publication de The Ethics of Medical Photography Toolkit https://eprints.whiterose.ac.uk/id/eprint/246688/1/The%20Ethics%20of%20Medical%20Photography%20Toolkit%202026.pdf #HistMed #Photographies
-
Efficace cette journée de sensibilisation aux risques, mais maintenant faut rebrancher vos sites web !
-
RE: https://mamot.fr/@Pyb/117506719713356480 « Plug, baby, plug »