Jencel Panic

@abuseofnotation.mathstodon.xyz.ap.brid.gy

57 Followers 2 Following

‘here for a ${reason}!’ Sex, drugs, and obscure thoughts about capitalism, and technology. Also #art, functional programming, logic, formal systems etc […] 🌉 bridged from ⁂ https://mathstodon.xyz/@abuseofnotation, follow @ap.brid.gy to interact

connection between ku (spatiousness) and mu (emptiness)
ask.rivals.space anonymous question: test
Procedural pixel art. Resembles a moon with a red sky, and some blue pixels at the top.
Procedural art, Rorschach test style
Screenshot from wikipedia, the counit of the tensor hom adjunction: Hom(X, Z) x X -> Z
A terminal with mostly black-and-white text
Screenshot from mastodon Web UI, with the screen for replying to a thread shown..
Tuxedo Winnie The Pooh meme: Pooh: "Take two objects" Tuxedo Pooh: "Define a natural transformation from the discrete category with two objects"
A character with a starfish, resembling hair
A deer, standing next to trophys of hunters
Ink toner drawing mustache
Inktober prompts
A screenshot of some diagrams from my book
“The Yoneda lemma says that the set of morphisms from a representable presheaf y(c) into an arbitrary presheaf X is in natural bijection with the set X(c) assigned by X to the representing object c.”
A screenshot from my book Category Theory Illustrated
Graphical representation of the three basic patterns of the structured program theorem — sequence, selection, and repetition
From nlab A useful way to understand frames and locales is as the simplest nontrivial special cases of (n,1)-toposes.
Me as a teen rebel: This system sucks and is pointlessly cruel Me now: This system sucks and is pointlessly cruel (references included)
Type specimen of Futura Black
In the 1930s, Alonzo Church developed the lambda calculus, a simple but powerful mathematical theory of functions. • In the 1950s, John McCarthy developed Lisp (“LISt Processor”), gener- ally regarded as being the first functional programming language. Lisp had some influences from the lambda calculus, but still adopted variable assignments as a central feature of the language. • In the 1960s, Peter Landin developed ISWIM (“If you See What I Mean”), the first pure functional programming language, based strongly on the lambda calculus and having no variable assignments. • In the 1970s, John Backus developed FP (“Functional Programming”), a functional programming language that particularly emphasised the idea of higher-order functions and reasoning about programs. • Also in the 1970s, Robin Milner and others developed ML (“Meta- Language”), the first of the modern functional programming languages, which introduced the idea of polymorphic types and type inference. • In the 1970s and 1980s, David Turner developed a number of lazy func- tional programming languages, culminating in the commercially pro- duced language Miranda (meaning “admirable”). • In 1987, an international committee of researchers initiated the devel- opment of Haskell (named after the logician Haskell Curry), a standard lazy functional programming language.
A screenshot of the code of frequency.hs along with a list of most used words in Category Theory Illustrated: [("set",99),("functions",61),("function",59),("two",47),("one",47),("sets",43),("---",41),("other",31),("same",26),("element",25),("also",25),("some",23),("composition",23),("theory",22),("called",22),("about",22),("more",21),("way",20),("—",20),("between",19),("such",18),("numbers",17),("might",17),("concept",17),("isomorphisms",16),("category",16),("because",16),("programming",15),("number",15),("its",15),("example,",15),("target",14),("only",14),("just",14),("equivalence",14),("another",14),("type",13),("singleton",13),("people",13),("mathematical",13),("like",13),("functional",13),("any",13),("\\circ",13),("things",12),("person",12),("our",12),("most",12),("isomorphic",12),("empty",12)]
testBrackets :: String -> Int testBrackets [] = 0 testBrackets (char : chars) = if testBrackets chars < 0 then testBrackets chars else bracket char + testBrackets chars bracket :: Char -> Int bracket '(' = -1 bracket ')' = 1 bracket _ = 0 main = print $ testBrackets "(() ( ) )"
Screenshot of a VS Code window.
Comic: So you are saying | have to *work* in order to succeed? Sorry, that's a deal-breaker for me!
...The accumulated slop of all their AI and low-code platforms will foam up about their waists and all the business analysts and prompt-engineers will look up and shout "Save us!"... and I'll look down and whisper "No.”