@vorlon@mastodon.social avatar

vorlon

@vorlon@mastodon.social

Portland, OR. 1312. Exiled from Twitter before it was cool. I was there at the dawning of the Third Age of Free Software.

This profile is from a federated server and may be incomplete. Browse more on the original instance.

juliank, to random
@juliank@mastodon.social avatar

It's very hard to find stuff about SAT solving, you just get "how to master your SATs"

vorlon,
@vorlon@mastodon.social avatar

@juliank bonus points if your SAT solver ranks solutions in a range of 400 to 1600

juliank, to random
@juliank@mastodon.social avatar

apt-cache can't tell you here why pbuilder is installed:

$ aptitude why pbuilder
i ansible-role-devel Depends ubuntu-dev-tools
i A ubuntu-dev-tools Recommends pbuilder | cowbuilder | sbuild

$ apt-cache why pbuilder
pbuilder:amd64=0.231build1 -> pbuilder:amd64

That's because pbuilder is autoremovable under the current solver3 regime, so it didn't find a reason to keep it - it picked sbuild to satisfy the Recommends above (as sbuild is manually installed).

vorlon,
@vorlon@mastodon.social avatar

@juliank it recommends what now

<Prepares upload>

vorlon,
@vorlon@mastodon.social avatar

@juliank exactly

juliank, to random
@juliank@mastodon.social avatar

Getting triggered each time I go to an Italian place and they pronounce pistacchio wrong. It's pi-stak-kio (/piˈstakkjo/).

Sorry but if you work in an Italian restaurant you should learn to pronounce the words correctly.

As a helper, this is the Italian version of πιστάκιον. That might make it more clear to you if you can't follow the Italian pronunciation from the spelling.

vorlon,
@vorlon@mastodon.social avatar

@juliank this is great, because a Google search for the etymology turns up results claiming both pistacchio and pistaccio for Italian, pistacium for Latin which is hella ambiguous, and "pistatxo" in Catalan which is NOT ambiguous.

The English pronunciation is definitely with ʃ

juliank, to random
@juliank@mastodon.social avatar

Why is Boulogne-sur-Mer not a partner city of Bologna, this is a missed opportunity

vorlon,
@vorlon@mastodon.social avatar

@juliank eew wet bologna

juliank, to random
@juliank@mastodon.social avatar

One thing that becomes really interesting are versioned Recommends. Consider

X Recommends: A (>= 2) | B

Let X become available before A=2. The solver will install B.

Arguably a better solution is to ignore lower bounds on Recommends and instead optimize for "eventual satisfaction". i.e. we install A=1 now because A=2 will become available later and then satisfy the Recommends.

vorlon,
@vorlon@mastodon.social avatar

@juliank edge case: A=2 gets stuck in CI and misses a release, installing A leaves the recommends unsatisfied for a complete stable cycle

vorlon, to random
@vorlon@mastodon.social avatar

Ahahaha happy 16th birthday to CVE-2008-0166, still going strong
https://infosec.exchange/@briankrebs/112428503842956186

juliank, to random
@juliank@mastodon.social avatar

The whole "illegals vote I'm US elections" discussion is funny as a German because here

  • everyone needs to register their home address with the city within a week or two of moving there, you are automatically "registered to vote" by this and assigned the closest place to vote when an election happens.
  • to vote, you need to present ID and it's checked against the people allowed to vote in that place.
vorlon,
@vorlon@mastodon.social avatar

@juliank s/funny/a transparently false claim used to justify voter ID laws which are a form of voter suppression because the state does not provide IDs for free in the US, thus representing a poll tax to disenfranchise poor and rural voters/

vorlon,
@vorlon@mastodon.social avatar

@juliank so if you can't pay, you can't vote? Sounds like voter suppression there too, then

vorlon,
@vorlon@mastodon.social avatar

@juliank oh unemployment benefits, see, so it IS subsidized by the state there

(US: what unemployment benefits?)

vorlon,
@vorlon@mastodon.social avatar

@juliank "they could address that" - they fundamentally don't want to?

  • All
  • Subscribed
  • Moderated
  • Favorites
  • •
  • JUstTest
  • tacticalgear
  • InstantRegret
  • thenastyranch
  • magazineikmin
  • everett
  • rosin
  • Youngstown
  • slotface
  • mdbf
  • cubers
  • kavyap
  • osvaldo12
  • DreamBathrooms
  • anitta
  • khanakhh
  • cisconetworking
  • ngwrru68w68
  • Durango
  • tester
  • provamag3
  • normalnudes
  • GTA5RPClips
  • modclub
  • ethstaker
  • megavids
  • Leos
  • lostlight
  • All magazines
    •