Email or username:

Password:

Forgot your password?
7 posts total
mikka

discipline rules the world

never has motivation ruled instead.

if you ever feel exhausted and unsure of your skill you must continue persistently.

this is how you can reach anything.

like everything.

yesfreenet

@mikka

Терпение и труд - всё перетрут :retrofedi: :blobcatbusiness: :ablobfoxbongoterrified: :ablobcatcoffee: :ablobcatattention:

mikka

i am amazed by how can you actually abstract things in this world.

Vftdan

@mikka
"Mathematics is the art of giving the same name to different things"
- Henri Poincaré

mikka

i am back after two weeks of absence just for mere shitposting i enjoy

mikka

you guys we all are like "hmm FORMAL LANGUAGES hmm TYPES hmm COOL AND STRICT TYPE SYSTEMS hmm NEAT AND BRIEF
AND ACCURATE SOFTWARE DESIGN" on the paper but we are like "hell yes i am going to use the postgres table to store this little local variable between various transactions across different nodes because i actually didn't think i'd ever need that but there's like 20000 loc that is already written behind so no that's not gonna hurt much".

a little exaggerating. only a little.

you guys we all are like "hmm FORMAL LANGUAGES hmm TYPES hmm COOL AND STRICT TYPE SYSTEMS hmm NEAT AND BRIEF
AND ACCURATE SOFTWARE DESIGN" on the paper but we are like "hell yes i am going to use the postgres table to store this little local variable between various transactions across different nodes because i actually didn't think i'd ever need that but there's like 20000 loc that is already written behind so no that's not gonna hurt much".

mikka

sadly our brains are not that precise, it's either an enormous task of foreseeing or enormous task of shitcoding.

or both.

mikka

despite the fact that i've been programming in c for years only now i found out that integer overflow and similar stuff is not defined for signed integers only because logically only unsigned integers are well-defined to allow doing many useful bitwise operations.

how did that sneak through me i wonder.

mikka

я тут подумал, что если попробовать сделать формальную систему описания отношений компонентов системы для того, чтобы потом их удобно можно было отображать на языки программирования, чтобы сразу иметь понимание, как вести разработку...

[DATA EXPUNGED]
mikka

i remember that one i tried searching for a build system for c that was customizable. and i mean flexibly customizable, not that pseudo editable bullshit like cmake, mason or something else I found.

i just wanted to write a custom build script that had to fetch information about the executable being compiled and further provide a relocatable file to be linked into the executable.

well in the end I found it to be `make`. yey.

Go Up