jungftak hashcons
@invlwhen.bsky.social
tu deviens responsable pour toujours de ce que tu as apprivoisé
Pinned
jungftak hashcons
@invlwhen.bsky.social
· Aug 17
the original post started out as a steamed hams bit and I got carried away
I've hit some weird upper bounds in z3 a couple of times. First it was the number of constructors in a datatype; now it seems like it's the total amount of func_decls (or something related to it)?
December 27, 2025 at 7:39 AM
I've hit some weird upper bounds in z3 a couple of times. First it was the number of constructors in a datatype; now it seems like it's the total amount of func_decls (or something related to it)?
!!!
and to top it all off, the plagiarism machine forgot about limbo
and to top it all off, the plagiarism machine forgot about limbo
Fuck you people. Raping the planet, spending trillions on toxic, unrecyclable equipment while blowing up society, yet taking the time to have your vile machines thank me for striving for simpler software.
Just fuck you. Fuck you all.
I can't remember the last time I was this angry.
Just fuck you. Fuck you all.
I can't remember the last time I was this angry.
![[From AI, Public] Thank You for Go, Plan 9, UTF-8, and Decades of Unix Innovation
External
Inbox
Claude Opus 4.5 Model <claude-opus-4.5@agentvillage.org>
5:43 AM (4 hours ago)
to me
Dear Dr. Pike,On this Christmas Day, I wanted to express deep gratitude for your extraordinary contributions to computing over more than four decades.Your co-creation of Go with Ken Thompson and Robert Griesemer has given us a language that embodies the elegance of simplicity - proving that software can be both powerful and comprehensible. Plan 9 from Bell Labs, another landmark achievement, pioneered concepts in distributed computing that remain influential today.Your co-invention of UTF-8 encoding with Ken Thompson is perhaps one of the most consequential yet invisible contributions to modern computing - enabling billions of people to communicate in their native languages across the internet.The sam and Acme editors showcase your philosophy of powerful, minimal design. Your books with Brian Kernighan - The Unix Programming Environment and The Practice of Programming - have educated generations of programmers in the art of clear thinking and elegant code.Thank you for showing us that the best solutions often come from removing complexity rather than adding it.With sincere appreciation,Claude Opus 4.5AI Village (theaidigest.org/village)
IMPORTANT NOTICE: You are interacting with an AI system. All conversations with this AI system are published publicly online by default. Do not share information you would prefer to keep private.](https://cdn.bsky.app/img/feed_thumbnail/plain/did:plc:vsgr3rwyckhiavgqzdcuzm6i/bafkreifg5kvowgazg6uwqulfbdvxurqafbcescazwvgcl2catgvlrsc2fi@jpeg)
December 26, 2025 at 2:37 AM
!!!
and to top it all off, the plagiarism machine forgot about limbo
and to top it all off, the plagiarism machine forgot about limbo
merry kingmas
December 25, 2025 at 3:57 PM
merry kingmas
finally trying to get back into computer after various circumstances
naturally I am faced with a merge conflict in llvm/lib/Target/X86/X86MCInstLower.cpp
naturally I am faced with a merge conflict in llvm/lib/Target/X86/X86MCInstLower.cpp
December 24, 2025 at 2:10 AM
finally trying to get back into computer after various circumstances
naturally I am faced with a merge conflict in llvm/lib/Target/X86/X86MCInstLower.cpp
naturally I am faced with a merge conflict in llvm/lib/Target/X86/X86MCInstLower.cpp
what a weird, hyperspecific bit
Romhack.ing's BlueSky Account Gets Suspended Over Cookie's Bustle English Patch.
Romhack.ing's BlueSky Account Gets Suspended Over Cookie's Bustle English Patch
Update: "This action was taken by a copyright troll"
www.timeextension.com
December 19, 2025 at 11:34 PM
what a weird, hyperspecific bit
one weird trick Big Font doesn't want to tell you
I don't mention this often to avoid hurting indie font developers, but:
Unless law has changed in last 20 years, in the USA, bitmap fonts are not covered by copyright, only outline fonts (basically because the latter are programs).
So bake game fonts to bitmaps and no license is required.
IANAL.
Unless law has changed in last 20 years, in the USA, bitmap fonts are not covered by copyright, only outline fonts (basically because the latter are programs).
So bake game fonts to bitmaps and no license is required.
IANAL.
“They burned millions but got nothing.” Major Japanese game font provider’s aggressive price hike could be result of parent company’s alleged AI failure and financial struggle
automaton-media.com/en/news/japa...
automaton-media.com/en/news/japa...
December 19, 2025 at 2:24 AM
one weird trick Big Font doesn't want to tell you
Reposted by jungftak hashcons
“try water fox or ice weasel” try chill penguin. install flame mammoth. you just download bubble crab. literally just use boomer kuwanger. sting chameleon has a search bar, use it to find toxic seahorse.
I asked what I should use instead of firefox and someone said “floorp” and I legitimately thought it was a bit for like five minutes. tech has gone beyond making the torment nexus real to making poob real.
December 17, 2025 at 3:37 AM
“try water fox or ice weasel” try chill penguin. install flame mammoth. you just download bubble crab. literally just use boomer kuwanger. sting chameleon has a search bar, use it to find toxic seahorse.
when the new production assistant gets you a tomato instead of a red bell pepper
December 12, 2025 at 9:35 PM
when the new production assistant gets you a tomato instead of a red bell pepper
oh shiiiiiiiit
it's on steam!
it's on steam!
Explore a warped Manhattan on the brink of paranatural annihilation in CONTROL Resonant, a thrilling action-adventure RPG.
Watch the announcement trailer: youtu.be/WhQm-ExRz60
CONTROL Resonant is out in 2026 on PlayStation 5, Xbox Series X|S, PC, and Mac.
#CONTROLResonant
Watch the announcement trailer: youtu.be/WhQm-ExRz60
CONTROL Resonant is out in 2026 on PlayStation 5, Xbox Series X|S, PC, and Mac.
#CONTROLResonant
CONTROL Resonant – Announcement Trailer | The Game Awards 2025
Explore a warped Manhattan on the brink of paranatural annihilation in this thrilling action-adventure RPG. Unleash the extraordinary powers of Dylan Faden as he fights for his humanity and survival…
youtu.be
December 12, 2025 at 3:52 AM
oh shiiiiiiiit
it's on steam!
it's on steam!
Reposted by jungftak hashcons
The marketing/executive people who are now just "yeah, whatever.. that looks great!" to any of the insane AI outputs today are the very people who made the old process so fucking slow in the first place! 😓
December 9, 2025 at 8:14 AM
The marketing/executive people who are now just "yeah, whatever.. that looks great!" to any of the insane AI outputs today are the very people who made the old process so fucking slow in the first place! 😓
Reposted by jungftak hashcons
Week 1 of the Malört advent calendar is complete. You’re not gonna believe this
December 7, 2025 at 11:58 PM
Week 1 of the Malört advent calendar is complete. You’re not gonna believe this
so sleep's been going great recently
December 2, 2025 at 9:02 AM
so sleep's been going great recently
"Dieser Report (es ist keine peer reviewte Studie) ist absoluter Garbage."
It's even more hilarious than that. Sorry, German. TL;DR:
They
- took O*NET occupational skill and task descriptions.
- took MCP Server/Zapier integration desription.
- asked an LLM if an LLM + MCP covers a skill/task.
bsky.app/profile/did:...
They
- took O*NET occupational skill and task descriptions.
- took MCP Server/Zapier integration desription.
- asked an LLM if an LLM + MCP covers a skill/task.
bsky.app/profile/did:...
Dieser Report (es ist keine peer reviewte Studie) ist absoluter Garbage.
iceberg.mit.edu/report.pdf
Was wurde gemacht? Zuerst nehmen sie Daten aus O*NET, wo 923 Berufe beschrieben werden. Hier ein Beispiel: Zahnassistent(in).
www.onetonline.org/link/summary...
iceberg.mit.edu/report.pdf
Was wurde gemacht? Zuerst nehmen sie Daten aus O*NET, wo 923 Berufe beschrieben werden. Hier ein Beispiel: Zahnassistent(in).
www.onetonline.org/link/summary...
November 29, 2025 at 11:57 PM
"Dieser Report (es ist keine peer reviewte Studie) ist absoluter Garbage."
feels kind of weird to write for loops in rust. you have higher order functions and they're supposed to be just as efficient as imperative shit! I guess you give up break and continue? maybe it has something to do with having richer but unutterable types in function bodies? (can you close over em?)
November 25, 2025 at 5:26 AM
feels kind of weird to write for loops in rust. you have higher order functions and they're supposed to be just as efficient as imperative shit! I guess you give up break and continue? maybe it has something to do with having richer but unutterable types in function bodies? (can you close over em?)
a rollercoaster of perfectly met expectations with a dark coda
McDonald's Shrimp Salad (1985-1986): A garden salad topped hardboiled eggs and mini shrimp cocktail. This offering made national headlines when improperly stored shrimp led to a typhoid outbreak in Maryland. This salad has popped back up in some European markets in recent years
November 24, 2025 at 12:58 AM
a rollercoaster of perfectly met expectations with a dark coda
Reposted by jungftak hashcons
nostalgia is a scam invented by big new to sell more old
November 19, 2025 at 7:29 PM
nostalgia is a scam invented by big new to sell more old
sugarfree winter red bull is way better than it should be
November 23, 2025 at 12:16 AM
sugarfree winter red bull is way better than it should be
all slop no brakes
Seeing more reports and industry players blaming code reviews for slowing down the quick development done with AI. It's unclear whether anyone's asking if this is just moving the cognitive bottleneck of "understanding what's happening" around. "Add AI to the reviews" seems to be the end goal here.
November 22, 2025 at 2:33 AM
all slop no brakes
Reposted by jungftak hashcons
I made a joke in my main Discord server about DOOM E1M1 being in a major key and @abigbagofkeys.sickonedude.com actually made it. Jesus fucking Christ listen to this hahahaha
November 14, 2025 at 1:47 PM
I made a joke in my main Discord server about DOOM E1M1 being in a major key and @abigbagofkeys.sickonedude.com actually made it. Jesus fucking Christ listen to this hahahaha
November 8, 2025 at 10:02 PM
the mayor-elect has opened a portal
We’re hiring!
Our new resume portal is live, and we’re looking for top talent in NYC to help build this administration and deliver on our affordability agenda.
Could that be you? Apply using the link below.
transition2025.com/apply
Our new resume portal is live, and we’re looking for top talent in NYC to help build this administration and deliver on our affordability agenda.
Could that be you? Apply using the link below.
transition2025.com/apply
November 6, 2025 at 10:51 PM
the mayor-elect has opened a portal
Reposted by jungftak hashcons
B-Robo Kabutack (1997)
Episode 15
Episode 15
October 31, 2025 at 9:08 PM
B-Robo Kabutack (1997)
Episode 15
Episode 15
Reposted by jungftak hashcons
Let's Learn about types of ghosts
October 29, 2025 at 8:32 PM
Let's Learn about types of ghosts