Profile directory About Mobile apps
Log in Sign up
Hazel :verified_dragon: @hazel@types.pl
Follow
  • 4ae75c75f35dd4d4.png
Nov 10, 2020, 20:38 · · Web · 3 · 19 · 26
Apr 28, 2021, 16:37
Hazel :verified_dragon: @hazel@types.pl

why is this post getting attention now

1
Nov 10, 2020, 20:46
doll! @hierarchon@inherently.digital

@hazel this paper looks like a shitpost tbh

1
Nov 10, 2020, 20:47
Hazel :verified_dragon: @hazel@types.pl

@hierarchon it's legendarily incomprehensible https://dl.acm.org/doi/10.1145/2578855.2537850

1
Nov 10, 2020, 20:48
doll! @hierarchon@inherently.digital

@hazel is it comprehensible if you're familiar with the subject matter or is it still some absolute bullshit

1+
Nov 10, 2020, 20:48
Hazel :verified_dragon: @hazel@types.pl

@hierarchon i don't know

1
Nov 10, 2020, 20:50
doll! @hierarchon@inherently.digital

@hazel god literally every reference has one or both of the authors

0
Apr 28, 2021, 15:30
elm @lm@icosahedron.website

@hierarchon @hazel it is not

0
Sign in to participate in the conversation
types.pl

A Mastodon instance for programming language theorists and mathematicians. Or just anyone who wants to hang out.

Resources

  • Terms of service
  • Privacy policy

Developers

  • Documentation
  • API

What is Mastodon?

types.pl

  • About
  • v3.5.5+types

More…

  • Source code
  • Mobile apps
v3.5.5+types · Privacy policy