More of a cat person than a promising Haskeller
Joined May 2019
- Tweets 74
- Following 121
- Followers 72
- Likes 367
13 Photos and videos
17 Oct 2022
Hey, does anyone know if quantum mechanics considers it possible for future events to alter the past? I'm reading this paper for my minor course on Controversies in Psychology. Apparently, they claim that quantum effects could explain precognition π€
doi.org/10.1037/cns0000152
1
5 Mar 2022
Emergency PhD/Master/intern/research visitor positions for students from Ukraine, Russia, and Belarus golovnev.org/relocation.
Please consider adding positions to the list if you are still hiring for Fall'22 or sooner!
1
1
5
5 Mar 2022
If anyone knows similar initiatives in physics, social sciences, or other fields, please let me know! Many talented friends of mine are looking for research positions in this uneasy time ππ»
1
10 Nov 2021
Now I see that my wording is terrible. I made this slide when trying to define πΈπ©π’π΅ a program is. Not to define a program π€¦π»ββοΈ
5 Apr 2021
Bah, I guess Coq's gonna lose it's status of the most sex-positive programming language if they really decide to change the logo...
Which language should take its place??
5
20 Feb 2021
Can C templates be considered dependent types?
Here 0 is a template parameter:
tuple<int, int, int> triple{1, 2, 3};
int a = get<0>(triple); // a = 1
But it's not yet possible to parametrise templates with arbitrary non-primitive expressions
40%
Yes
60%
No
5 votes β’ Final results
2
1
20 Feb 2021
20 Feb 2021
Can type families and GADTs be considered dependent types?
1
20 Feb 2021
Can type families and GADTs be considered dependent types?
43%
Yes
57%
No
7 votes β’ Final results
2
20 Feb 2021
So I guess in some context it's fine to call GADTs and type families dependent types. But at first it really seems very odd and also maybe old-fashioned in the age of singletons lib (not to mention Coq, Agda, and Arend)?
2