Well you know std::remove_if, my predicate lambda isn't actually just a predicate, it also std::move()s the element content of an element that will be removed to a different container first.
This sounds totally ridiculous but yes predicates can modify the elements they are being called on, and this is a lot cleaner than writing an explicit for loop with iterators and deleting them.
I wonder how hard it is to make a fake USB printer.
Like, a printer that takes any printout and goes "yep, that printed just fine" but nothing ever comes out anywhere
A family member has died recently and as a part of shuffling stuff around, I've recovered a thinkpad I used to use.
At the moment it's just wiped with a fresh copy of Windows, but I think I will put Debian on it later. I have not used raw Debian on bare metal in a while, I wonder if I should go with testing or stick to stable.
@zygoon tbh just do testing. Sadly the autopkgtests gate migration to testing and not to unstable, so even trivial failures directly end up in your machine if you run unstable.
Cherry pick if needed, but most stuff will migrate in 2 days if tests pass.
Ich schreibe an der Uni Regensburg aktuell meine Masterarbeit zur Akzeptanz von GenAI in der Softwareentwicklung. Jeder Teilnehmerin bekommt einen Stein in meinem Brett. Gesucht sind Entwickler*innen. https://s2survey.net/genai_acceptance/ Pls. weitersagen! (Dauert keine 10 Minuten, schwöre!)
The new APT solver currently uses a priority queue of outstanding work (unsolved clauses) with dynamic priorities.
However my local state is statically ordered instead, and it's really down to 3 bits:
is this clause unit? Do it now!
do earlier group before later
do mandatory before optional
So we can move the optionality into the groups itself, and then we just need one bucket per group which is just insertion ordered, i.e. an array of linked lists will do fine.
@kristof My approach is to accidentally rediscover SAT solving techniques while writing my own without knowing SAT solving techniques, and then adopt them where profiling shows issues or the code gets simplified.
But I should write the algorithm I came up with, or rather it's the heuristics for finding the next literal to try that you could plug into any DPPL/CDDL solver I suppose.
Our use case of small problem to solve in <100ms is so much different from the main research.
I've said before but my goal is to make the pinning source-package based.
In practical terms this is equivalent to applying the 100 pin to all binaries in the source version matching an installed binary version.
This also means if you have foo=1 installed, foo/bar=1 in the repo, and foo/bar=2 in another pinned to 1, no longer would bar=2 bar the candidate (but foo=1), but bar=1 would be the candidate as bar=2 is pinned lower than installed foo=1
The Accursed Race war ein Rennen, bei dem möglichst CO² arm angereist werden musste. Fliegen war für die Teilnahme ausgeschlossen. Ich war ein bisschen erschreckt über meinen Bekanntenkreis, weil ich oft die Frage hörte, ob ich nach #Shkodër fliegen würde. Für viele Menschen ist es völlig normal, Strecken über 1000 km mit dem Flugzeug zurück zu legen. Eine Ursache dafür dürfte in komplizierten internationalen Bahnverbindungen liegen, eine weitere in subventionierten Flugpreisen. #TARNo1
@bikolinux Also ich flog z.B. in den Kosovo, und zurück flog ich aber nach Wien, machte ein bisschen City Tour und fuhr dann mit dem Zug nach Hause. Schonmal etwas CO2 gespart.
Jetzt geht's im Sommer nach Korea für die DebConf, da fliege ich Direktflüge über Seoul und fahre 4 Stunden Zug statt in 3 Stunden umzusteigen und einen Flughafen weiter zu fliegen. Wäre ja dämlich.
Aber z.B. Madrid letztens wäre ich 400€ und 4 Nächte in Avignon los gewesen (also eine Nacht ist etwas zu wenig da...)