abuseofnotation.mathstodon.xyz.ap.brid.gy - Profile | ThreadSky | a Reddit-style client for Bluesky

abuseofnotation.mathstodon.xyz.ap.brid.gy

‘here for a ${reason}!’ Sex, drugs, and obscure thoughts about capitalism, and technology. Also #art, functional programming, logic, formal systems […] [bridged from https://mathstodon.xyz/@abuseofnotation on the fediverse by https://fed.brid.gy/ ]

133 posts 39 followers 1 following

Posts 21 Comments 29

Finally found how to use the spellchecker in #vim, beware from my ultra-correct spelling... https://www.linux.com/training-tutorials/using-spell-checking-vim/ (Protip: use "set spellfile=<dir>/en-dictionary.add" to save your dictionary to a folder that is under source control.)

submitted 19 hours ago • 0 comments

Current #programming setup: - Vertical monitor - Ubuntu High-Contrast and Monochrome theme - VS Code with #haskell language server installed (stupid, but I now realize this exists)

submitted 1 day ago • 1 comment

Per Martin Lof: The theory of types https://raw.githubusercontent.com/michaelt/martin-lof/master/pdfs/martin-loef1971%20-%20A%20Theory%20of%20Types.pdf #programming #haskell #mathematics #typetheory

submitted 4 days ago • 0 comments

Proposed a feature to the lodash #javascript lib: flowWithConfig https://github.com/lodash/lodash/issues/5970 #programming

submitted 16 days ago • 0 comments

RIP Robert Paul Wolff https://robertpaulwolff.blogspot.com/

submitted 17 days ago • 0 comments

How do you want to be remembered? "I don’t really much care, because I won’t be around to glory in it. I don’t know, as somebody who was a good writer, a decent magician and who tried to follow his path with integrity to the best of his ability. And also that I was really sexy. That would do […]

submitted 18 days ago • 0 comments

I don't know why, but I really enjoy reading such books, I get nostalgic, and at the same time I always learn something new (OK, I guess I know why) The #haskell road to #logic #math and #programming https://dl.icdst.org/pdfs/files3/d886fabbfccb269dfd3e52dfd2d1040b.pdf PS Check this one as […]

submitted 21 days ago • 0 comments

by the way, if you enjoy my stuff, don't forget to support me, to enable me to stay independent: https://www.patreon.com/abuseofnotation https://ko-fi.com/abuseofnotation/ https://abuseofnotation.gumroad.com/

submitted 22 days ago • 0 comments

Added an image generator to the comic-web toolchain: https://abuseofnotation.github.io/comic-web-markup/ #programming

submitted 22 days ago • 0 comments

So you are saying I have to work in order to succeed? Sorry, that's a deal-breaker for me! #joke #personal

submitted 23 days ago • 0 comments

#programming #ai #joke

submitted 23 days ago • 0 comments

You think that the #ai hype in #programming cannot make business people more stupid? Today I saw a job ad for "AI code reviewer"

submitted 23 days ago • 1 comment

‘I’m here for a ${reason}!’ #joke #personal

submitted 23 days ago • 0 comments

To kill an art, create a way to perform the utilitarian aspect of it in a way that is formulaic and efficient i.e. artless. (The art is not really dead, it is just understood by a very small amount of people (mostly other creators).) The art of manufacturing clothes, pottery etc were all […]

submitted 28 days ago • 1 comment

To kill an art, create a way to perform the utilitarian aspect of it in a way that is formulaic and efficient i.e. artless. (The art is not really dead, it is just understood by a very small amount of people (mostly other creators).) The art of manufacturing clothes, pottery etc were all […]

submitted 28 days ago • 1 comment

Non-natural transformation example #categorytheory https://math.stackexchange.com/questions/2772832/non-natural-transformation-example/2772881#2772881

submitted 28 days ago • 0 comments

Wrote some stuff about the #mellsans #typeface on the typedrawers forum: https://typedrawers.com/discussion/5270/the-mell-font-family/p1?new=1

submitted 31 days ago • 0 comments

my #typeface #mellsans is finally on #myfonts https://www.myfonts.com/collections/mell-sans-font-abuse-of-notation #typedesign #design

submitted 33 days ago • 0 comments

The level of progress in #programming languages: Shortly after the first ever programming language was created, it's author said that the language's whole paradigm actually sucks and we should do #functionalprogramming instead. That was 46 years ago. We still use the same paradigm […]

submitted 99 days ago • 0 comments

"The key insight is that runtime checks can provide compile-time information," #functionalprogramming #dependenttypes source: https://www.reddit.com/r/ProgrammingLanguages/comments/t8waye/what_are_all_the_situations_you_cant_do_compile/

submitted 34 days ago • 0 comments

In today's cringe An article on medium titled: "Why #functionalprogramming Languages Will Never Be Mainstream" To save you a click, the top reason is "Writing a loop is a lot harder." excerpt: "To write loops without recursion in a functional programming language, you have to master about […]

submitted 35 days ago • 2 comments