06.03.2026 14:21
👍 3
🔁 1
💬 0
📌 0
nevermind i'm the goat
Bro I do NOT know how to use Redex. I'm trying to show that (array (natlit 1) (natlit 2) (natlit 3)) types as an array of nats but I am too stupid I guess?
you should so you can put it in your phone's emergency info LOL
i'm basically just like gigi murin because i say six seven to my wife
life is autofister
#rkggk #immergination
immerpillow 😳 #autofister
"Life sucks and then you die" — Reginald Alaman
Right but this is not what "vibe coders" are doing. I'm only trying to make a demo even, and yesterday was wasted entirely on debugging an exception that I bet I won't be able to reproduce if I write the code myself
2.5 blows HARD but ime at least for text chat 3.1 is light years better
If Gemini gets this to not segfault (big if) I will swap in Claude but seriously: I doubt it
it's like tutoring someone who doesn't plan and doesn't learn and has just gotten through life by raw guessing everything. it's actually so awful. the only way this makes sense is if your project is easy enough that a toddler eating crayons could do it
whatever "efficiency" stats people claim to exist I have to believe are complete bogus unless they're asking for CRUD Baby Web App #10693
If I was not there to babysit and review every single decision it made it would have strayed off into a completely different project that does nothing but load a bunch of things into memory and return exit code 0
how does anyone live with agentic coding I'm trying Antigravity because I have a strict policy of "try not to hate something unless you've tried it" and MAN this shit is ASS
niri knows what's important (it's probably a missing wayland api that allows windows to position themselves or something stupid)
this might actually work with the major caveat that the core has to be native-image to work on anything other than Linux x64 because of Espresso weirdness
idk, MixinExtras requires you support custom classloaders, which excludes a lot of the JavaCard-y stuff, which I think Oracle includes in their slogan?
yo, what about an application that
- the core is just an ECS world + loading plugins with GraalVM Espresso + mainthread executor
- literally all other behavior (text editing, rendering, etc) is provided as plugins
- plugins mixing in to other plugins is done with Truffle Instrumentation
society if I could just open up a page that had Cubical Agda with 1lab Prelude that isn't dependent on my ping to some server somewhere
EPIC RAP BATTLES OF HISTORY
wanting to understand chain complexes better
VERSUS
all the proof assistants available for the web being complete dogshit
BEGIN
I was too hasty in my judgement. The service was amazing
How can UCPath put me on hold for over an hour (at the time of writing my phone says the call has lasted 1:00:06)
Man I thought I was done being tortured by the University of California since I left the country but with tax season they have found a way
we could literally do it right now but for some reason the documentation begs us to not use the shit we already have to do cryptography
Well I have this thing running again but the problem is I don't have something fun to do with it
me too
u aoo uwa
