jungftak hauntcons @invlwhen.bsky.social · 02/09/2026let exp() : int [[all_goals grind]] { 0 } lol 000
jungftak hauntcons @invlwhen.bsky.social · 30/08/2026dusting off the weird computer project (tests still pass at a recent llvm/z3 sync and it still builds a bootable image). I got stuck last time because of some severe issues with z3. after confirming that yeah, that just happens, I'm going to try a hybrid approach with z3 + semiautomated lean proofs 100
Reposted by jungftak hauntconskate bush’s husband @airbagged.bsky.social · 26/08/20263 minutes of Tim Curry holding back laughter while filming scenes for Red Alert 3 83115713901
jungftak hauntcons @invlwhen.bsky.social · 16/08/2026guess which dipshit couldn't get to sleep and was awake writing lean at 5am at least the proof's done 000
jungftak hauntcons @invlwhen.bsky.social · 15/08/2026learning all the various exciting ways to make lean deeply upset 100
Reposted by jungftak hauntconsompuco @ompu.co · 14/08/2026opt.ompu.coopt.ompu.coOpt out of it.Twitch management is so fucking pathetic for this one. 111173669
Reposted by jungftak hauntconsCoraline Jortay 喬海霖 @qiaoj.bsky.social · 09/08/2026Got a new google scholar notification, so I go check and find this very cool poem by Wang Jibing 王计兵, the recent Lu Xun prize winner, prefacing a PhD thesis on women migrant workers and the gig economy PhD students in all disciplines: more poems in theses please, we love to see them! ✨💫 81765491
jungftak hauntcons @invlwhen.bsky.social · 02/08/2026firefox restarted on osx to update and advertised tab groups (a bad feature ganked from chrome, which they tried *extremely hard* to force people to use, at one point hiding the regular 'new tab' action) on firefox for android (a product I do not want or use) at least we still have colorways! 000
jungftak hauntcons @invlwhen.bsky.social · 11/07/2026oh nooooo how did I only learn about this after I moved west 100
Reposted by jungftak hauntconsU.S. Consumer Product Safety Commission @cpsc.gov · 10/07/2026LOGO HOOOORRRRRSEEEEE 022810
jungftak hauntcons @invlwhen.bsky.social · 05/07/2026@realinfowars.bsky.social kind of entranced by one of the advertisers' videos, incl www.youtube.com/watch?v=IXx2... (that autofocus noise; the desk ᴡɪʟʟ ɴᴏᴛ ᴛᴇᴀʀ ʏᴏᴜʀ ᴄʟᴏᴛʜᴇꜱ and the light stays on ɪꜰ ᴛʜᴇʏ ᴋᴇᴇᴘ ᴍᴏᴠɪɴɢ) and www.youtube.com/watch?v=NvFI...youtube.comProline | 5,000-pound Weight Load Capacity Demo on Model HDYouTube video by ProlineBenches 000
jungftak hauntcons @invlwhen.bsky.social · 04/07/2026the only acceptable scaling for pixel art is nearest neighbor to exact integer multiples. no I will not be taking questions 000
Reposted by jungftak hauntconsJanna Sophia 🏔️ @jannaphia.bsky.social · 03/07/2026Please help me finish my thesis so I can finally be free of academia 🫶✨ aidetectionsurvey.carrd.co 100374833769
jungftak hauntcons @invlwhen.bsky.social · 04/07/2026I love how you can never actually tell what a usb-c cable's gonna do. data? (how fast?) power? (how much?) alternate modes? (good fucking luck roll those bones) 000
jungftak hauntcons @invlwhen.bsky.social · 03/07/2026discovered this creature on a freezable leg sleeve 000
jungftak hauntcons @invlwhen.bsky.social · 03/07/2026somehow I missed that "Zach Barth is no longer teaching high school and is making games again" @coincidence.games 000
Reposted by jungftak hauntconsBrett "Solidarity 2026" Banditelli @banditelli.org · 28/06/2026US Fish and Wildlife made an instructional video on horseshoe crab flipping and this looks like the most fun thing ever???? As a "don't feed the birds at parks" guy my minds blown that it's helpful to run around beaches physically moving giant arcane crabs. medium.com/usfws/helpin... 15721179
jungftak hauntcons @invlwhen.bsky.social · 28/06/2026@qagggy.bsky.social these little guys look like dinosaurs holding up score cards 010
jungftak hauntcons @invlwhen.bsky.social · 25/06/2026"Since 2016, [Arm Holdings] has been majority owned by Japanese conglomerate SoftBank Group." 000
jungftak hauntcons @invlwhen.bsky.social · 19/06/2026why, it barely looks like they're wearing the pervert glasses! 220
Reposted by jungftak hauntconsJerad Walker @jeradwalker.bsky.social · 08/06/2026What an incredible photo of the scorekeeper for the Durham Bulls. 524213741
jungftak hauntcons @invlwhen.bsky.social · 07/06/2026the ioccc lets you use slop now also they seem to be using it to advertise some unrelated youtube account? man, this shit sucks 000
jungftak hauntcons @invlwhen.bsky.social · 06/06/2026discuss.python.org/t/an-announc... "For example, rather than proposing one single concrete JIT implementation, it may make more sense for the PEP to describe a JIT infrastructure that can support multiple implementation strategies." gotta update the Simple Sabotage Field Manual, this is too gooddiscuss.python.orgAn announcement from the Steering Council regarding the JIT projectWe would like to take a moment to talk about the experimental just-in-time compiler in CPython, and the path we think it should take from here. Over the past several years, several core developers an... 000
Reposted by jungftak hauntconsDr. Ivo "Eggman" Robotnik @hatethathedgehog.bsky.social · 04/06/2026every day i build a new guy to get mad at 017575
Reposted by jungftak hauntconsYiannis @yiannisbab.bsky.social · 03/06/2026Ah yes, the "Thdpsssps" 623494923
Reposted by jungftak hauntconsRachel Lense is Professionally Curious @rachellense.bsky.social · 14/06/2024I made this Pride flag using only NASA images and our team thought it would be cool to share on social (I work on the NASA heliophysics communications team), but it's getting all sorts of hate on the bird app and Fbook. Thought y'all might be more appreciative of it here. ☺️🏳️🌈💖 14225002819715
jungftak hauntcons @invlwhen.bsky.social · 02/06/2026rust: we can move objects in memory whenever we feel like it also rust: pointer equality is safe also also rust: whoops that first part might not be a good idea here's Pin 000
jungftak hauntcons @invlwhen.bsky.social · 02/06/2026imgui has apparently broken rendering from a separate thread in vulkan: github.com/ocornut/imgu... 100
jungftak hauntcons @invlwhen.bsky.social · 30/05/2026babby's first (well in like 8 years) soldering job (built davidjusto.com/articles/m2p...) 110
Reposted by jungftak hauntconsKen Jennings @kenjennings.bsky.social · 24/05/2026if you came to Bluesky to complain about Seattle bike infrastructure, I hope you have a really bad time. 999887
Reposted by jungftak hauntconsaddie! ☆彡 @addie.sh · 13/05/2026if you would consult the diagram 337579
jungftak hauntcons @invlwhen.bsky.social · 21/05/2026lol, and also, lmao inshallah these clowns get wrecked 020
jungftak hauntcons @invlwhen.bsky.social · 20/05/2026man the casters on ikea carts are the best. in here drifting around the poangs and the billies 210
Reposted by jungftak hauntconsDalton Deschain @daltondeschain.com · 18/05/2026mo capping a muppet is so crazy and also the only right way to do this 018731
jungftak hauntcons @invlwhen.bsky.social · 17/05/2026you, if you'd let me make this point, please 100
jungftak hauntcons @invlwhen.bsky.social · 14/05/2026my train is delayed and or cancelled but I found this lil dude on the tourist kiosk 010
jungftak hauntcons @invlwhen.bsky.social · 14/05/2026we can almost forgive altoona pizza. almost. 010
jungftak hauntcons @invlwhen.bsky.social · 09/05/2026it's very difficult to get clang to admit that a template instantiation won't explode, esp if you're instantiating a new one depending on one that's already broken. a trick is to root around for a RecoveryExpr (&c.) in its transitive callees. you can also try to face god and walk backwards into hell 000
Reposted by jungftak hauntconsKaptajnen @kaptajnen.bsky.social · 25/04/2026I choose to believe this is how most 90s arcade race tracks were initially conceived #gaming #retrogaming #arcade 6992123333
jungftak hauntcons @invlwhen.bsky.social · 25/04/2026firefox you are not a window manager. just because chrome (also not a window manager) has duct taped on window management doesn't mean that you have to. the whole point of you is that you are not chrome, or chrome in a wig 000
![meme, stolen from some reddit post.
"BEWARE OF THE [Vulkan logo] PIPELINE"
vtx. input
vtx. input assembly
vertex shader
rasterization
fragment shader
oh shit i forgor to clear the depth buffer oh god what the fuck is happening](https://cdn.bsky.app/img/feed_thumbnail/plain/did:plc:esx7yxwaoirq5ijxilxmznao/bafkreicete4nvk6rl4aqjdydmhlixfc72z4plhfwu4gga6lzpauoghtshm)
