mind of I dereference your pronouns?
That unfortunetly is null pointer... so sorry you had to find our this way.
occasionally subtle

izzy's playlists!
NASA
sheepfilms
2025 on Tumblr: Trends That Defined the Year

No title available
tumblr dot com
Mike Driver

No title available
"I'm Dorothy Gale from Kansas"

if i look back, i am lost

PR's Tumblrdome

roma★
we're not kids anymore.
No title available

⁂
h
YOU ARE THE REASON

titsay
Today's Document
seen from United States
seen from United States
seen from United States
seen from Bulgaria
seen from Italy
seen from United States
seen from Canada

seen from Argentina
seen from Poland

seen from United Kingdom

seen from Malaysia
seen from United States
seen from United States
seen from United States
seen from France
seen from Germany

seen from Germany

seen from Netherlands
seen from Azerbaijan

seen from United States
@c-official
mind of I dereference your pronouns?
That unfortunetly is null pointer... so sorry you had to find our this way.
so-called "free thinkers" when they're left adjoint to a forgetful thinker (me)
Linux will just work and it will work and it will work and it will work for weeks sometimes months without doing anything more than a pacman -Suy and you will have a good time and it'll be great and then you will run into a problem that nobody online has had since 2013 and then you will spend 3 hours trubbel shooting and then you will do the sketchiest most jank solution to fix it and then it'll just continue to work
Beware of the pipeline.
You start programming and are intrigued by types. You start to find out how usefull it is to have strict type bounds in your code. You start to wonder how types are checked and stumble into type theory.
You are still in the realms of computer science for now, but the danger of being pulled under by the current is now ever present. You spend more time thinking about type theory and dip your toes into dependent type theory.
Now you can hear the sounds of the topologists, they are not far away just beyond the horizon. Their strange and alien words intrigues you, but you stand firm and stay in the safe waters of informatics.
To ground yourself further you decide to write a type checker. It's a fun project but it is too late now. The topologists have spottet you and are screaming homotopy at you.
You surender to their violence and find yourself reading homotopy type theory. It's too late now. You have entered the realm of mathematical foundations and can never go back. Category theory follows soon after.
You are now and forever a mathematician.
So what you're saying is... I should get into topology?
Yes
Beware of the pipeline.
You start programming and are intrigued by types. You start to find out how usefull it is to have strict type bounds in your code. You start to wonder how types are checked and stumble into type theory.
You are still in the realms of computer science for now, but the danger of being pulled under by the current is now ever present. You spend more time thinking about type theory and dip your toes into dependent type theory.
Now you can hear the sounds of the topologists, they are not far away just beyond the horizon. Their strange and alien words intrigues you, but you stand firm and stay in the safe waters of informatics.
To ground yourself further you decide to write a type checker. It's a fun project but it is too late now. The topologists have spottet you and are screaming homotopy at you.
You surender to their violence and find yourself reading homotopy type theory. It's too late now. You have entered the realm of mathematical foundations and can never go back. Category theory follows soon after.
You are now and forever a mathematician.
Shoutout to git cherry-pick.
UNGRATEFUL tech companies are saying things like "turn off your ad blocker" and "we need your photo id" instead of "thank you so much for not just pirating our shit, youre so handsome"
Trying to explain burger to a Linux user:
so, imagine a distro you could eat
Favourite linux distro?
Idk man hard one
Pls tell me I am curious
Other than myself obviously I like nixos
Code should always be rewritten. Most code is rewritten more than it is read so next time you sit down to rewrite some old code make sure to make it as easy to rewrite for the next person.
the existence of the “holy” bible (we already know it’s holy? it’s the bible?) implies that somewhere in the world exists a book that embodies pure sin
Oh, *that* book. Micheal hid it somewhere evil you guys haven't found it yet
HOW DID YOU FIND IT??
You can never hide pure sin forever. Pure sin is for the people. Let the people revel in it. Let them be free. Let them hav FULL control!
about discord alternatives
in light of the ongoing Discord Palantir Kerfuffle, there’s been a lot of discussion about potential discord alternatives. i’m hearing about “stoat” and all sorts of other mammals.
well, we can talk about “replacements for discord” in a moment. for right now, though, i want to talk about one of the things discord replaced:
IRC!!!
it stands for Internet Relay Chat, and it’s a chat protocol (not an app—a protocol) from literally 1988. it predates the World Wide Web! like discord, the world of IRC consists of servers divided into chatrooms called “channels” where users self-moderate and talk about whatever. and despite its age, IRC actually has extreme advantages over discord and discord-likes:
IRC is a protocol, not an app. an app that supports the IRC protocol is called an “IRC client”, in the same way that an app that supports email is called an “email client”. like email, anyone at all can make an IRC client, and those clients can run on pretty much any device with an internet connection.
unlike discord servers, an IRC server is literally just some software that anyone can install on any server anywhere, and anyone with an IRC client can then join that server.
“well, hang on. at what point exactly do the corpos swoop in and delete my server for posting unregulated booby pictures?” my friend, the answer is never. because there is no IRC corporation. because IRC is a protocol, and not an app!!!
in other words, IRC is enshittification-proof.
…………………………………too bad it sucks!!!!
I went to a show on saturday where there was a video backdrop that included, among other things, C code for like aesthetic reasons. and as someone who knows how to write code it's fairly unremarkable to see C code. pretty normal as far as code goes. but then I got to thinking what programming language could you use in this instance that, to me, a fairly experienced programmer, would convey the same amount of wonder and mystery. i.e. what programming language looks to me the way code in general looks to someone who doesn't know how to write code? the only thing I could think of was perl, which every time I see it my eyes completely glaze over
it's definitely agda, look at this shit:
holy shit
Does agda count? I mean its basicly math and not code. Do not get me wrong this looks hella cool, like we are doing cohomology on spheres by using the Ext functor as far as i can tell.
So it looks like wierd code but if you realise it is math it is still weird but sort of readable.
My vote definetly goes to uiua (as pointed out by itsjunetime). There is definetly the problem of it not using indentation so visually it has less of the wow hacker effect and more just a foreign alfabet.
If we still want formating that has strong code vibes i would say perl. Maybe that is just because most of the perl code i read is bad perl code and uses all the hacky shorthands like $_ way too much and uses an unnecessary amount of regex.
In any case C is not for blasting on a big screen to wow the masses. C is for the private intimacy of a small laptop.
fuck it. sudoku game. one line. one expression. 2154 characters.
download it on my gitlab and play it in your terminal 👍 it's pretty alright considering i imagined the board generation algorithm while biking home from school
Awesome work. Here is something stupid i for some reason had to make:
Display the Sudoku board in 231 characters. Input being a list of 81 elements, 0 representing empty space:
lambda g:(l:=lambda x:(1-x%2)*(1+(1-x*x//4%3)*(2+(x-1)//12)),print("\n".join(["".join([" %s "%(" 123456789"[g[j//2+i//2q*]])if i%2*j%2 else" │┃┃┃─┼┠╂┨━┯┏┳┓━┿┣╋┫━┷┗┻┛"[l(j)+5*l(i)]*(j%2*2+1)for j in range(19)])for i in range(19)])))
The current scene of video games is such a disgrace. Where are all my ACE exploits??? Simply snuffed out. I want developers to fuck up so badly that it is somehow possible to do ACE exploits again.
Also we need more conical ace characters, but that is a whole different thing.