Remote
bhakti
@bhaktishh@types.pl
mastodon 4.8.0-alpha.2+glitchst. andrews <- uchicago | she/her | world’s biggest hater™ | this account is by no means professional so beware
393 Followers
299 Following
10 Posts
Joined November 10, 2022
bad code:
bad html:
Open post
you know if idris is able to tell me that two terms unify when i write a definition surely i could find the right function internally to call from within the compiler to do the same check
surely
but i cannot
2
0
1
0
Open post
Imagine you have a piece of code shaped like this
f(g(h(a b c)))
and you have to delete the innermost set of parentheses (just the parens, not the text). After deleting the opening one, do you
2
17
3
0
Open post
Replying to
@lindsey I’m glad to see someone with an even worse process than me inefficient code writers unite. I even have colour coded nested brackets but vscode simply turns the last paren red because strings is strings and that’s Wrong I have to delete the right one (which is the leftmost one)
2
1
0
0
Open post
Replying to
@joshchen lmfao I’ve never once used the end key it scares me because I don’t know whether it’s gonna go to the end of my line or page or end my entire project
I simply cmd ->
The only time I ever use any keys on that dumbass exiled rectangle is when I accidentally press the function key while deleting something and only realise when I try to type something and it’s in Greek
0
0
0
0