Posts by abs@niu.moe
(DIR) Post #1548856 by abs@niu.moe
2018-11-28T06:29:33Z
0 likes, 0 repeats
@Technowix I'd want it to be opt-in (so explicitly setting up that deletion) instead of opt-out.
(DIR) Post #1550095 by abs@niu.moe
2018-11-28T06:57:01Z
0 likes, 0 repeats
Kinda sad about yesterday's talk about Martin Löf Type Theory. There were so many things that could've been explained better. I'm worried many students that that don't have experience with the TT haven't really seen what's different/special about it.
(DIR) Post #1550677 by abs@niu.moe
2018-11-28T09:09:53Z
0 likes, 0 repeats
@satanya Is that even sold over here? I've never seen it.
(DIR) Post #1550737 by abs@niu.moe
2018-11-28T09:22:09Z
0 likes, 0 repeats
@dek Well, you have an explicit equality judgement, which can get very exiting, which you don't have in CIC, for example.
(DIR) Post #1555789 by abs@niu.moe
2018-11-28T14:23:01Z
0 likes, 0 repeats
@lis @duponin Please don't do that after pushing, though!
(DIR) Post #1560568 by abs@niu.moe
2018-11-28T17:28:44Z
0 likes, 1 repeats
I made an alt account at @abs for stuff I don't want to post on here like poorly thought out ideas etc. Maybe follow me there if you care to hear about that stuff. :blobhappy:
(DIR) Post #1564727 by abs@niu.moe
2018-11-28T20:17:15Z
0 likes, 0 repeats
2 years ago when I last did this tire change, I remember it also being a multi-day battle. I guess I'll try again tomorrow because I really don't see myself making any progress. The problem is that the rims are an abnormal size so tires are a lot tighter on there than they normally would be.
(DIR) Post #1565977 by abs@niu.moe
2018-11-28T21:19:25Z
0 likes, 0 repeats
@dek It's really just this particular rim. On my other bikes changing a tire is a matter of minutes. It wouldn't make much sense to change the rim now, though, because I probably won't ride this bike much anymore. I'll probably just use it on the indoor trainer from now on because it has a metal frame.
(DIR) Post #1567139 by abs@niu.moe
2018-11-28T21:51:43Z
0 likes, 0 repeats
@rick TFW you have only 5 in your whole apartment. :ablobspin:
(DIR) Post #1575618 by abs@niu.moe
2018-11-29T07:12:10Z
0 likes, 0 repeats
I'm probably gonna write mails to the masters programmes I'm interested in to ask them to what extend I can gain research experience there. That's not rude, right? :blobsurprised:
(DIR) Post #1575626 by abs@niu.moe
2018-11-29T07:17:02Z
0 likes, 0 repeats
@sugoi Why would they do that?
(DIR) Post #1658435 by abs@niu.moe
2018-12-02T13:31:42Z
0 likes, 0 repeats
@dek That's about 65 000 € per team member per year. Doesn't seem that much as they'd probably be travelling a lot, right?
(DIR) Post #1658731 by abs@niu.moe
2018-12-02T13:36:32Z
0 likes, 0 repeats
@dek I'd at least consider it a good use of resources (if the people are actually qualified to do it, which I would assume is kinda hard to judge for the grant committee).
(DIR) Post #1664332 by abs@niu.moe
2018-12-02T20:29:51Z
1 likes, 0 repeats
I really didn't do much today. In the end, I just banged my head on a bunch of proofs and automated a few annoying bits. Tomorrow I will work on making my logic actually sound (whoops! :blobderpy:) and then move onto something else.
(DIR) Post #1674930 by abs@niu.moe
2018-12-02T22:27:29Z
1 likes, 0 repeats
@satanya Mini!
(DIR) Post #9jXdcUNTwYyjLn2qdU by abs@niu.moe
2019-06-05T15:31:07Z
0 likes, 0 repeats
I think I've figured out the tech that goes into a blog but I still haven't figured out what to write about. I was thinking about writing up this dependent matching stuff I had to figure out a few days ago but I'm not really sure if that's something anybody would want to read. :think_bread:
(DIR) Post #9jXdxveRjhDW1GCf5c by abs@niu.moe
2019-06-05T16:10:17Z
0 likes, 0 repeats
@kai That's a good point! I guess I'll just write it so I don't have to set up an empty blog. :blobcat:
(DIR) Post #9jYivrRb6LOlJvzDuq by abs@niu.moe
2019-06-05T18:05:13Z
0 likes, 1 repeats
I've set up my blog (with one post!).You can find it here: https://no-learns.neocities.org/
(DIR) Post #9kx22uVtLyjwsu5J4a by abs@niu.moe
2019-07-17T19:55:44Z
1 likes, 0 repeats
@popefucker The trick is to simply not do any of the computer CS. There's still a lot of excellent theoretical CS out there. Although I guess it's kinda debatable if that's CS or math.
(DIR) Post #9kx2ORqcc1YWLn3DEG by abs@niu.moe
2019-07-17T20:03:37Z
1 likes, 0 repeats
@static @popefucker Not logic, philosophy.