participating in a python ctf this weekend and our team name is chr(sum(range(ord(min(str(not()))))))

chladni figures (sand particle free energy minimization on a resonating plate) in 178b

() is an empty tuple not makes it True str turns it into "True" min of a string returns first char, here it's T T is 84 in unicode, ord turns it into that range(84) is an exclusive range, which is [0, 84) summing up all those numbers gives you 3486 3486 in unicode is ඞ amogus

Compilers was was known to be the hardest CS class at Cornell which was hard as it is. We were handed a 8-page PDF at the start of sem for a language spec we'd be implementing by the end of sem, split into 6 parts. On part 5, the median was a 0/100 and most the class failed.

incredible new linguistic developments happening. my exchange student friends taught our japanese friends what “bruh moment” meant and theyve started shortening it to ブラモ

Windhawk + Everything integration for immediate folder sizes in Explorer for Windows

Learned on MathOverflow: it is possible to write a finite formula for n! involving just the operations of addition, subtraction, multiplication, integer division, and exponentiation. Precise statement is here: mathoverflow.net/a/484115/17064

Dmitrii Kovanikov Happily, it's a wonderful trick. You iterate over the list twice simultaneously: by skipping two elements at once and by skipping just one. The former finishes right when the latter is in the middle of the list, so you get your latter half of the list (without recreating it,

You can use the Escardó-Oliva functional write an X86 assembler. The encoding for a jump instruction depends on distances, which in turn depend on the encoding. It handles backtracking/pruning + picks the optimum! blog.vmchale.com/article/escard…

You can implement a basic dependently typed language from scratch in a couple of evenings. If you gonna try that, I recommend elaboration-zoo by @andraskovacs6. In particular, 02-typecheck-closures-debruijn is a minimal dependent type checker (there's a parser too).

Ruby Ranger What? This is impressive research work!

AI will ultimately be a powerful tool in the toolbox of every programmer, artist, and designer, just as high level languages, paint programs, and visual scripting were in previous eras. The opportunities available to everyone should ultimately increase as a result.

Type theory concepts and how important they're for a practical programming language. Absolutely useless: - Curry-Howard correspondence - Decidability of type inference - Decidability of type checking [1] - Principality of typing - Completeness - Consistency - W-types / TT

5 stages of NixOS users: 1: NixOS sucks, I have no use for it, I do not want my system to be immutable 2: Okay, immutability is fine. But I don't need it and want the flexibility 3: NixOS is awesome 4: NixOS sucks 5: NixOS sucks, but it's miles better than everything else

Side projects ARE the project. In college, I was grinding so hard on side projects that they eventually paid for my college, became my thesis, and got me my job after college. When I was interviewing, one of my most common questions was "So what are you working on at home?"