they drop by the city i'm in for my internship but the venue's website is fucked and i can't grab tickets :(( i'm so mad
06.03.2026 07:22
👍 1
🔁 0
💬 0
📌 0
they drop by the city i'm in for my internship but the venue's website is fucked and i can't grab tickets :(( i'm so mad
in the spirit of sharing cool art i find, if you get the chance please listen to [So Much Country 'Till We Get There(www.discogs.com/release/3623...) by Westside Cowboy. The "britainicana" spirit is so light and punchy that listening to the EP is like listening to your loved ones say they love you.
thinking about smt solvers again
this 22 year old researcher still does "reasoning programs" the old fashioned way
to be fair it is kind of fucked up
It almost feels quasisciencefiction-y, but it sells its world so well it substitutes reality. the main character's position of power has filled him with the arrogance and insecurity of any white man on x.
-- one film a day day 1 --
in un era di palantir, guerre, e decreti sicurezza, non c'è miglior film da vedere che Indagine su un cittadino al di sopra di ogni sospetto (1970).
very prescient movie. hits every single talking point of recent years with freakish accuracy.
they should invent a motivating peership that doesn't come with constantly comparing your own work and achievements to those of others
if you're unc, or you're chopped, then I will find you,
♪ time after time ♪
if you goon, when you're mogged, know I'll be waiting,
♪ time after time ♪
“THIS IS A (blank) AREA” sign with ominous burn marks in place of a hazard indicator
Boy it sure as hell is
it's not... great code but it made me happy to do it! waiting for someone to tell me it's obsolete and bad
the source is on my codeberg but i might move it somewhere less private as it is now hosted on my personal website and having PRs on there feel kind of invasive
it uses a version of the abbreviations.json from lean4-vscode, which i think is the most authoritative source? someone can correct me if i'm wrong but i don't think i'm wrong.
screenshot of the "Lean 4 symbol reference" webpage, showing a grid of symbols with options to filter by kind.
unsure if relevant for anyone but i got frustrated at the fact that the only authoritative list of lean symbols was a random json file on github and made this. maybe it can be of use to someone else!
committed cardinal sin (expected slightly more on my exams than i ended up getting; the grades are still great but just slightly less good than i had in mind so it still feels bad)
dreaming of the future again (oxcaml for scala)
painfully (I have three accounts on the three major git services and lack the motivation to unify them)
if Lausanne had an airport I wouldn't need to come to g*nf once a year
on the one hand: yeah probably, I haven't really lived back home in a while so I'm missing some of the context
on the other hand: holy shit 4.4 francs for a coffee
some crimes can't be forgiven :((
come to your senses (espresso over 2€ is a crime) and you'll get bumped up to mutual
oomf is chopped </3
Geneva Airport always a grounding experience (4.40 for an espresso; if I'm staying in this country after my masters I have been replaced with a clone)
this might be the greatest thread on this webbed site
oh btw: codeberg.org/quartztz/semproj
code for my semester project just dropped. please roast my lean if you feel like it. or my writing if you feel like it.
don't judge the report or the slides too much as they have been Rushed. not like the code is much better
slider doesn't work, adaptive brightness doesn't work, but extra dim (accessibility setting) _is_ able to change brightness. it's so weird.
campus tech support student assistants changed my pixel screen for a toasty 200 bucks (needed to buy their screen). I thought at least they'd do a good job but fingerprint doesn't work (helps me unlock less, safer) and the brightness controls are just... dead?
generational nerdsnipe