ecsolticia

the pumping dilemna: there are a sequence of s people tied to a railroad track, s drawn from regular language L. if s is big enough, you can pull a lever l, you can split s into subsequences x y z, such that the trolley only hits y, the subsequence x z is still in L.

territory with no map

@jaycesan.bsky.social gave me a title

If you are androgynous and the "I can always tell" people are scanning you from tip-to-toe repeatedly, don't worry! Their genital-guessing language is recursively enumerable but not recursive. You are the input that makes their Turing-machine loop forever.

haha so funny

I've been neglecting pure math like an absent parent. But TCS is not my only child. I try to love them both equally, but parenting is hard.

If God is sky daddy, and I'm on Bluesky...

When the motivational speaker is a Lambda Calculus and the audience a Turing-machine: "If I can do it, so can you!"

You're not like the other .bsky.social users

In Bangladesh, the word for those motorized three-wheeler rickshaw-like vehicles is "CNG". Whenever I see it in written form, I read "GNC" and get too excited about having found a mention of gender non-conformity in an unexpected, especially local context. 😭

When you come out alive after 3 days of fever followed by a single day of relief followed by 4 days of being bedridden due to the severe side effects of new medication followed by another day of relief followed by two more days of intense headaches

extremely online but not on social media

No but seriously someone should make a platformer with double pendulums as platforms

Some people giving advice be like ``` fn on_depression() { stop_being_depressed(); } ``` And what does `stop_being_depressed` do you ask? ``` fn stop_being_depressed() { on_depression(); } ```

Don't move! I'm holding epistemology with my bare hands. Do as I say or I'll drop it and then we all will know nothing. Don't want that do you?

I strive to always understand and explain why a given bug fix works, because an incomplete understanding of the underlying system can be a greater threat to an organization than the bug itself

This is what blasphemy looks like

I have a reputation of being serious among some people. And even when I'm joking, I get read as serious thanks to their confirmation bias, due to which they never see any evidence to the contrary.

I'm prototyping one and my least favorite part of it is detecting grammars that shouldn't be worked with, like those with left-recursion and other cases of non-terminals with productions that never terminate, and other properties not suitable for my chosen type of parser.

🦀🦀🦀🦀 BLAZINGLY FAST 🦀🦀🦀🦀 FEARLESS CONCURRENCY 🦀🦀🦀🦀 ZERO-COST ABSTRACTIONS 🦀🦀🦀🦀 MOVE SEMANTICS 🦀🦀🦀🦀 GUARANTEED MEMORY SAFETY 🦀🦀🦀🦀 THREADS WITHOUT DATA RACES 🦀🦀🦀🦀 TRAIT-BASED GENERICS 🦀🦀🦀🦀 PATTERN MATCHING 🦀🦀🦀🦀 TYPE INFERENCE 🦀🦀🦀🦀 MINIMAL RUNTIME 🦀🦀🦀🦀 EFFIC

Miau

Feeling an urge to write my own stupid parser generator for no reason. Would be fun if I actually do it, because anything even remotely to do with automata is automatically fun, trust me.

The dragon book is so good.

Collaboration is extremely important for your startup. That's why me and my co-founder grind very hard together. We always take it to the point of the climax that reveals new insights. #B2BSaaS #StartupMentality #Grinding #PeakPerformance

A Gardevoir commission

If someone publicly changes their mind, avoid these phrases: “You should have seen this coming.” “How could you have been so stupid?” “I told you so.” “You’re too late.” They raise the psychological cost for the next person who’s considering doing the same.

"Ohhh nice someone interacted with one of my g a m e d e v-related po..." Aaand it's a bot that matched a simple keyword. 😭

It's done! I wrote a free companion to be read alongside "Thinking, Fast and Slow" that explores the reliability of the studies cited. Whew, that was a lot of work. critikid.com/a-modern-gui...

from the australian teen who brought you "ant", we have "bee" en.wikipedia.org/w/index.php?...

I've written too many parsers in the last few months, and almost all of that in Rust. It's time for me to do something different... like writing a parser in C++! That would definitely be totally different! Besides, who doesn't love to shoot themselves in their foot?