@abuseofnotation@mathstodon.xyz
@abuseofnotation@mathstodon.xyz avatar

abuseofnotation

@abuseofnotation@mathstodon.xyz

Sex, drugs, and obscure thoughts about capitalism, and technology. Also #art, functional programming, logic, formal systems etc.
they/them
https://abuseofnotation.github.io/
https://aethy.com/@abuseofnotation

This profile is from a federated server and may be incomplete. Browse more on the original instance.

impactology, to random
@impactology@mastodon.social avatar

Can you define engineering? Like what is it essentially and how is it different from natural sciences

(not looking for textbook definition)

I think engineering at its core is (or rather the core way in which it invents currently) is controlling the forces of nature in a reliable and predictable way to produce reliable and predictable outcomes via physics, math and chemistry that may or may not benefit mankind in different degrees

The predisposition to control nature is what distinguishes it

abuseofnotation,
@abuseofnotation@mathstodon.xyz avatar

@impactology Well, engineering is a craft, not a science, it's about building stuff, and science is only a means to an end.

abuseofnotation,
@abuseofnotation@mathstodon.xyz avatar

@impactology Perhaps the fact that you are working within a set of physical constraints and you want to make the most of the materials and the technologies you use (so besides imagination, there is economy)

abuseofnotation, to haskell
@abuseofnotation@mathstodon.xyz avatar

A great paper for understanding (partly authored by @pigworker )

https://www.andres-loeh.de/LambdaPi/LambdaPi.pdf

I like how it introduces the typing rules of simply-typed lambda calculus and then amends them to support dependent types.

abuseofnotation, to haskell
@abuseofnotation@mathstodon.xyz avatar

A nice guide on the different types of type systems:

https://serokell.io/blog/look-at-typed-lambda-calculus

But I find such articles ridiculously hard to understand, especially system F (although I have been coding in for years).

Ironically, dependently-typed seem much simpler. In non-dependently-typed systems it's very hard to pinpoint the connections between types and terms. In dependently-typed systems, terms and types are the same thing.

Anyone feel the same way?

ifreund, (edited ) to random
@ifreund@hachyderm.io avatar

Draft logo design for river, many thanks to @kardwen for the original idea: https://codeberg.org/river/river/issues/557#issuecomment-1708336

The font to use for the text is subject to change and I may spend a bit more time tweaking the curves of the logo but I'm pretty happy with this :)

abuseofnotation,
@abuseofnotation@mathstodon.xyz avatar

@ifreund I'd use a humanistic sans serif instead.

MikeDunnAuthor, to random
@MikeDunnAuthor@kolektiva.social avatar
abuseofnotation,
@abuseofnotation@mathstodon.xyz avatar

@MikeDunnAuthor Capitalism is not about hard work, it's about capital, it's there in the name.

abuseofnotation, to ComputerScience
@abuseofnotation@mathstodon.xyz avatar

question (not sure how to phrase it):

Is there a program execution model in which the code is directly evaluated as an expression and the result is recorded in place as opposed to just executing it and recording the result in a new memory location?

I think machines did it like this.

abuseofnotation,
@abuseofnotation@mathstodon.xyz avatar

@tokensane Could be, how do they work? (I know the concept of a thunk)

abuseofnotation, to random
@abuseofnotation@mathstodon.xyz avatar

Short lesson: There is a common figure of speech, that goes like "If x is like y, then z is like q", e.g. "If a school are like a corporation, then the teachers are like bosses". This figure of speech introduces a : what are you saying is that there is a certain connection (or category-theory therms a "morphism") between schools and teachers, that is similar to the connection between corporations and bosses i.e. that there is some kind of structure preserving map that connects the category of school-related things, to the category of work-related things in which schools (a) are mapped to corporations (F a) and teacher (b) are mapped to bosses (F b). and the connections between schools and teachers (a -> b) are mapped to the connections between corporations and bosses (F a -> F b).

abuseofnotation, to random
@abuseofnotation@mathstodon.xyz avatar

New - The Mandelbrot set
DM for orders

abuseofnotation, to random
@abuseofnotation@mathstodon.xyz avatar

It's funny how the people who live in "democracies" take the least amount of accountability for the actions of their leaders (although formally democratic leaders are supposed to act in the behalf of the people) while people living under authoritarian-run regimes are routinely punished for the actions of their dictators e.g. bombing innocents in and other Arab countries is seen as justified because they "support terrorism", while the average American is never judged for the wars their government started.

abuseofnotation, to politics
@abuseofnotation@mathstodon.xyz avatar

TIL the world "libertarian" used to mean what you might think it means --- anti-state, anti-war, anti-capitalism etc. but then some people came and said "Well, actually it should mean the opposite"

chris__martin, to random
@chris__martin@functional.cafe avatar

If you want to Actually Use Haskell (and typescript) to run a real and worthwhile service, at a fully-remote organization done well... https://jobs.smartrecruiters.com/Renaissance/743999948805751-software-engineer-ii

abuseofnotation,
@abuseofnotation@mathstodon.xyz avatar

@chris__martin Thanks, I just applied!

abuseofnotation,
@abuseofnotation@mathstodon.xyz avatar

@chris__martin Ahh, US-only why didn't you say so (and by "you", I mean them in the ad...)

abuseofnotation,
@abuseofnotation@mathstodon.xyz avatar

@chris__martin Are there any Haskell companies that are hiring in Europe?

autoerot1ca, to random
@autoerot1ca@kinky.business avatar

Well its Saturday night and, I won't lie to you, I'm in a dark, lonely place. Actually I'm on my bed listening to Abba in the dark.

It occurs to me that looking at other people's apparently extravagant (and seemingly overflowing) sex lives on the Internet is not very good for the mental health of people who have no such sex life and wonder what they did wrong or where they went wrong that they are missing out on such lives. It makes you feel very alienated and lost.

But thats the trap, isn't it.This or that purveyor of sexual commerce may be fucking 3 people a day every day but your life is not something to be compared to theirs. If you looked at porn all day and imagined it normal, however, you could easily become depressed because your life is nothing like that.

I'm certain a lot of people are terminally depressed in this society because gratuitous sex is pushed in their face 24/7 but its just not their experience of life. And it makes them feel worthless and ugly as a result.

abuseofnotation,
@abuseofnotation@mathstodon.xyz avatar

@autoerot1ca The real issue is that people are creating fake images of their lives, not only untrue, but impossible to exist actually. Porn is just the tip of the iceberg.

abuseofnotation, to haskell
@abuseofnotation@mathstodon.xyz avatar

I haven't written any in years, so I decided to do one little shell script, just to see if I remember.

Some random thoughts:

  • The tooling and documentation still leaves you feeling stupid (unlike, PureScript, for example)
  • I hate this packing and unpacking of strings.

Oh, and here is the script, feedback and questions are welcome:

https://github.com/abuseofnotation/abuseofnotation.github.io/blob/master/build-jekyll-tags.hs

abuseofnotation,
@abuseofnotation@mathstodon.xyz avatar

@6d03 @underlap Names are the least of your worries, when learning Haskell IMO

abuseofnotation,
@abuseofnotation@mathstodon.xyz avatar

@ordish Nice, but all I got was "redundant bracket". I guess my Haskell skills are still good.

abuseofnotation,
@abuseofnotation@mathstodon.xyz avatar

@ordish

matchLine: Actually yes, I thought I needed to be in Shell because I had to output an empty shell if there are no matches, I am now realising that just outputing an empty list would work too (I suspected I am missing something, cause that was the only function I actually had to write myself)

I think that unique has to stay, though, as I need a function that gathers all the values in order to convert the output from a Shell a to a Set a. It could work, if there was a Turtle function shellToList, which just gathered all the values in a list, but there isn't. I think that it is missing because of Gabriella's focus on performance --- Turtle is using the Folds library that she designed, which contains some very advanced optimizations.

abuseofnotation,
@abuseofnotation@mathstodon.xyz avatar

@ordish As for the "do" notation, I think you are right, although a traditional bash script would use "|" and would look similarly to this one.

I always set out to avoid "do" notation when it is not needed, as an exercise and because I wanted to write in a more functional style, but I am noticing that most people who write use it a lot.

abuseofnotation,
@abuseofnotation@mathstodon.xyz avatar

@BoydStephenSmithJr @ordish

nub by itself doesn't work for me, since it's type is List a, while I need something that works for Shell a (which is a custom Turtle type).

Like I said, I can use it, if I precede it by some function that does Shell a -> List a, but there is no point, as I can go Shell a -> Set a directly.

btw, the set fold isn't custom, I copied it from Gabriella's foldl lib https://github.com/Gabriella439/foldl

Looking for kernel development/OS development/general programming tutoring (Zig & Rust)

I’m a complete beginner in programming with no prior experience, and I want a tutor/mentor to learn Rust for software(GUI, games, software in general) development and, eventually, kernel development(microkernels, IPC, specifically). I pay, of course. (Also, another note, I dislike UNIX (philosophy wise), so I would be looking...

abuseofnotation,
@abuseofnotation@mathstodon.xyz avatar

@davel @nyanbinary Most of the times it means "I am so self-important and I know them computers"

abuseofnotation, to haskell
@abuseofnotation@mathstodon.xyz avatar

"Oh, in this app is just a one-liner!"

The one-liner:

app a b c d e= runMonadT <(@)> ( (LiftValue a b c) *!* stop) . \a -> d(a) $ e

speleo, to random

I just finished up a new article meditating on the Critical Brain Hypothesis, Information Theory, and Artificial Intelligence. Thank you @fractalkitty for the wonderful cover art! https://kylehovey.github.io/blog/mutually-assured-recursion

abuseofnotation,
@abuseofnotation@mathstodon.xyz avatar

@fractalkitty @speleo It's good

  • All
  • Subscribed
  • Moderated
  • Favorites
  • •
  • JUstTest
  • kavyap
  • DreamBathrooms
  • thenastyranch
  • magazineikmin
  • InstantRegret
  • modclub
  • Youngstown
  • everett
  • slotface
  • rosin
  • tacticalgear
  • osvaldo12
  • khanakhh
  • provamag3
  • ngwrru68w68
  • Durango
  • cisconetworking
  • tester
  • ethstaker
  • mdbf
  • normalnudes
  • GTA5RPClips
  • cubers
  • anitta
  • Leos
  • megavids
  • lostlight
  • All magazines
    •