Home | Notifications | New Note | Local | Federated | Search | Logout

Q.U.I.N.N.@icedquinn@blob.cat

My heart is cold and dead.

Read your fedi timeline in mutt: https://git.sr.ht/~icedquinn/pleromabox

RIP @junko@social.lavenderfield.xyz 

ex-programmer. my trackball is broken.

e-mail & XMPP: icedquinn@iceworks.cc
crash pigeon: @icedquinn@fedi.absturtzau.be
Joined: 2026-07-20 21:18:34
44 notes, 0 following, 0 followers
Q.U.I.N.N.@icedquinn@blob.cat (2026-08-17 18:59:41)
> stop using those ears on your avatar we have a policy

my actual birth ears are pointy you racist fuck
Reply to @sun@shitposter.world
Q.U.I.N.N.@icedquinn@blob.cat (2026-08-15 14:40:37)
@sun @genmaicha @scathach they're the same thing. math is logic in permanent abstract, philosophy is logic over human symbols. i'd guess the main difference is philosophy still has room to be loose where mathematics--being abstract--can afford to zot you for every imperfection
Reply to @sun@shitposter.world
Q.U.I.N.N.@icedquinn@blob.cat (2026-08-15 14:37:27)
@sun @genmaicha @scathach there's honestly more intellectual rigor in a philosophy degree than compsci.

compsci is just vibe coding level trash programming in java and just accepting what you're told to do (rotate with quaternions because we said so, don't ask.) philo is still somewhat taught in the classical sense of read these books and construct a logical argument from it. i'd sooner just watch someone play factorio for a couple hours as an interview. it'll tell you more about their literacy than compsci degrees do (do they give up easy, do they derive or google stuff, do they use the shit they copied out of google correctly, do they actually refactor...) ill shut up about it but uh.

crypto especially and mathematics have a high amount of autodidacts comparatively. there's famous physicists who didn't have physics degrees. math of all things is the highest liklihood of someone operating at a competitive level who doesn't have one. (helps that math is explicitly self-evident with no trial cost; a proof is a proof, it cannot be bullshit, and coq/lean are free to verify them. the ONLY thing that matters in math is the proof holds.)
Reply to @icedquinn@blob.cat
Q.U.I.N.N.@icedquinn@blob.cat (2026-08-15 14:31:00)
@genmaicha @scathach there are a lot of politicians with doctorates because some fields like sociology practically let anyone have one of the damn things. hard sciences are extraordinarily less likely to let you get away with the "1+1, but feminism" kind of shit the soft sciences are full of.
Reply to @genmaicha@stereophonic.space
Q.U.I.N.N.@icedquinn@blob.cat (2026-08-15 14:29:57)
@genmaicha @scathach engineers rarely get PhDs. they get masters. a PhD requires you to actually get approval from inside the system to do a novel research project, do it, and then get approved by a board seeking every reason to deny it. for engineers that basically means having to invent a sufficiently novel engineering principle, and most of those people master out and if they ever accomplish such a thing seek a patent.
Reply to @sendpaws@mitra.pawslut.party
Q.U.I.N.N.@icedquinn@blob.cat (2026-08-10 10:44:18)
@sendpaws i think the 'jew shield' concept is falling apart. the left hates israel nowadays and stuff like massie's firing nakedly exposes disproportionate representation.

it turns out people only tolerate "hitler happened once" for so many school bombings.
Reply to @icedquinn@blob.cat
Q.U.I.N.N.@icedquinn@blob.cat (2026-08-10 10:24:40)
@sendpaws basically we have known fail states which are few but well identified

- when food costs more than about 50% of day wages, peasant revolt is guaranteed
- when privileges are granted and summarily revoked, riots are very likely

its basically a long con of measuring out how much you can take back at a time, normalizing it, and repeating, the "boiling the frog" strategy, where by the time a resistance forms they implicitly accept most of your control anyway (they're arguing to undo your latest power grab, not that your entire paradigm of control was never valid to begin with)
Reply to @sendpaws@mitra.pawslut.party
Q.U.I.N.N.@icedquinn@blob.cat (2026-08-10 10:22:32)
@sendpaws most people don't really know what the word "enclosure" is who probably should. it's exactly what the tech sector has been slowly being drug through post-dot com boom.

there's a book "technofeudalism" about it--amazon et all quietly becoming inescapable commons places (every photographer must be on instagram or doesn't exist, every product must be on amazon or doesn't exist) despite not being subject to commons-esque social regulation (amazon does what it wants and is backed by DOD money, making it relatively immune to boycotts)

i think open communication proved to be too powerful for nation states and its been a really protracted fight to revoke it without causing An Event. (i liken it to a game where controllers are trying to maximize the size of a shape without ever touching the death triangle; a shape that causes you to lose, but there is no way to know that you have found it, as intersecting it causes whoever does so to die.)
Reply to @icedquinn@blob.cat
Q.U.I.N.N.@icedquinn@blob.cat (2026-08-05 09:29:38)
@sun ocaml has functors (functions from modules to modules), ada had generic modules, julia has multiple dispatch, each one of those basically shows just being able to express the fucking concept goes a long way. koka's effects are a nice addition (ocaml has stolen them as much as they can.)

effects basically cleanly consume what exception throwing (and some adjacent CPS chicanery) do, kind of also consume what aspect oriented programming was meant to do, and the combination of functors, monads and effects covers a massive amount of "i don't want to care about that shit its above my paygrade" in ways that are very machine reasonable.

koka benches around 10% of C++ on some problems which is fucking goddamn impressive for an immutable language.
Reply to @sun@shitposter.world
Q.U.I.N.N.@icedquinn@blob.cat (2026-08-05 09:27:23)
@sun not since 2022
Reply to @sun@shitposter.world
Q.U.I.N.N.@icedquinn@blob.cat (2026-08-05 09:26:34)
@sun its in 5!
Reply to @icedquinn@blob.cat
Q.U.I.N.N.@icedquinn@blob.cat (2026-08-05 09:24:54)
@sun i think to some extent i'd like to just go back to ocaml if there was a way to manually guide the compiler to make decent C code at the end of the day.

have been reading too many PL papers the past two weeks. there's a lot of stuff around about how we really shouldn't be hand optimizing code anymore. optimizers are very well known and very good at their jobs. we just lack building the tooling around letting us tell them what we want them to do.

you have shit like mlton and stalin showing you absolutely could draw a box around the audio kernel and say "optimize the everloving fuck out of just this hot part" but we don't
Reply to @sun@shitposter.world
Q.U.I.N.N.@icedquinn@blob.cat (2026-08-05 09:19:06)
@sun i liked it back in the day. i haven't used the current tooling yet. and haxe 5 is around the corner.

i ultimately didn't use it because it bothered me that it wasn't self-hosted, but :comfyshrug: that hasn't mattered, and its endured for the past 20 years regardless.
Q.U.I.N.N.@icedquinn@blob.cat (2026-08-05 08:54:01)
kind of funny how the haxe stack ended up mirroring both C# and OCaml.

apparently adobe (or expats) actually tried to get actionscript codified as the next ecmascript. this got pooped on for some reason. haxe took actionscript 3 and slapped ocaml types on top of it.

they basically pre-empted typescript by 20 years but all that matters is GAFAM clout, so, heh.
Q.U.I.N.N.@icedquinn@blob.cat (2026-08-03 06:40:00)
> as noted by eBay - hothob-51.

google gemini hallucinating results out of misquoted ebay product listings now
Reply to @sun@shitposter.world
Q.U.I.N.N.@icedquinn@blob.cat (2026-08-01 07:46:18)
@sun just amused when anti ai amounts to the bread line argument. most people aren't quite that honest about it.
Q.U.I.N.N.@icedquinn@blob.cat (2026-08-01 07:43:55)
artists accidentally admitting they just hate capitalism again
---Attachments---
image: https://s3.v5.yokai.cafe/blobcatfiles/024a71a55db76fe7dca02abe7e0c2f85367c1eed383d8e9d47dcc9b635dd102b.png
Reply to @yohan@social.xenofem.me
Q.U.I.N.N.@icedquinn@blob.cat (2026-07-31 19:10:13)
@yohan @pwm @tyil @phnt @SuperDicq @sun they're publicly traded so its democratic in a sense that people who own shares vote on how best to fleece everyone and the public votes with their wallet.

people don't like that framing because people in fact suck and society does not improve very much from just doing democracy better.
Reply to @SuperDicq@minidisc.tokyo
Q.U.I.N.N.@icedquinn@blob.cat (2026-07-31 17:34:38)
@SuperDicq @tyil @sun @pwm i don't have an issue with datacenters themselves but uh.

the greybeards kinda knew shit would go down all the time. OVH fires don't stop e-mail.
Reply to @sun@shitposter.world
Q.U.I.N.N.@icedquinn@blob.cat (2026-07-31 16:41:10)
@sun @pwm @tyil i don't think using a clanker as tier zero support is necessarily bad. companies only let those people follow strict scripts to begin with.

the issue is the clanker will refuse to escalate anything (management decision) while humans tend to. (google CSRs have publicly admitted tier zeros are fully run by gemini and the humans only allowed to click send so they can claim its human in the loop)
Reply to @phnt@fluffytail.org
Q.U.I.N.N.@icedquinn@blob.cat (2026-07-31 16:39:27)
@phnt @pwm @tyil @sun because they weren't told to. same reason bitcoin is bad for the environment now that the drug narrative isn't working.

carbon theory also stopped existing now that microsoft wants nuclear data centers as a treat.
Reply to @sun@shitposter.world
Q.U.I.N.N.@icedquinn@blob.cat (2026-07-31 16:38:40)
@sun @pwm @tyil i've been speaking to someone who lost their discord account to cybersecurity issues and is getting stuck in a clanker loop trying to get security to review "the TOS violation happened from some random IP in tijuana, lol, lmao."

the deployment push is utterly insane and obvious they just hate the public
Reply to @sun@shitposter.world
Q.U.I.N.N.@icedquinn@blob.cat (2026-07-31 16:37:15)
@sun @pwm @tyil 
> hardware prices
it may not be. funny thing is it turns out some of those "AI orderred all the shit" was OpenAI signing letters of intent (which they have been slowly walking back), and the rumblings that Samsung is just jacking off because they can.

the AI money may be enabling the bilking more than causing it. speculatively, anyway.
Reply to @pwm@darkdork.dev
Q.U.I.N.N.@icedquinn@blob.cat (2026-07-31 16:33:20)
@pwm @tyil @sun people are mad because the models don't deliver but corporate is so nakedly desperate to fire the workforce they're cramming it everywhere. this is halo effecting on to the entire field, including those of us that use the shit that *does* fucking work.
Reply to @pwm@darkdork.dev
Q.U.I.N.N.@icedquinn@blob.cat (2026-07-31 16:18:53)
@pwm @tyil @sun how the fuck are you a wizard on the sex offender registry

the whole point of the wizard meme is they don't do sex
Reply to @sun@shitposter.world
Q.U.I.N.N.@icedquinn@blob.cat (2026-07-31 11:09:18)
@sun i dunno, but the perceus GC from it was aped for Lean 4 and there was an experiment using it on OCaml.

perceus itself is very good, the whole functional-in-place concept has basically put functional programming back on the map
Q.U.I.N.N.@icedquinn@blob.cat (2026-07-31 11:02:02)
> microsoft research paper on upgrading ocaml's compiler with perseus (from koka)

:blobcatthinkOwO: that algorithm do be very neat
Reply to @sun@shitposter.world
Q.U.I.N.N.@icedquinn@blob.cat (2026-07-30 16:54:19)
@sun ideas neat, ux isn't there
Q.U.I.N.N.@icedquinn@blob.cat (2026-07-26 08:23:20)
> Because MV3 service workers do not have direct DOM audio playback, the extension uses:

yeah why would a plugin for a multimedia system need to play audio, thanks google
Reply to @sun@shitposter.world
Q.U.I.N.N.@icedquinn@blob.cat (2026-07-25 22:47:12)
@sun idk something happened to the place a long time ago and it's just a shittier reddit now
Older Notes