Posts by haym@niu.moe
(DIR) Post #9mAaEalIbGOoOG4Rg8 by haym@niu.moe
2019-08-23T03:08:26Z
1 likes, 0 repeats
My dad just asked me about monads
(DIR) Post #9mery4JebMeYrHdWqm by haym@niu.moe
2019-09-06T20:21:46Z
0 likes, 0 repeats
Twitter should just come with everyone blocked by default
(DIR) Post #9n0xMN4yjJ2tWTpiYS by haym@niu.moe
2019-09-17T13:06:29Z
0 likes, 0 repeats
Anyone planning on purchasing a Nervegear? Or should I wait until the Amusphere comes out?
(DIR) Post #9nAGHHHYUCGdWT8Exk by haym@niu.moe
2019-09-22T00:54:55Z
0 likes, 0 repeats
@MiaourtMiaourt hand reveal
(DIR) Post #9nboNwmLZmIbuS4DWi by haym@niu.moe
2019-10-05T07:44:18Z
0 likes, 0 repeats
What do #Coq people think about the ability to generate Haskell? Is the code actually reasonable? Wouldn't it be better to target something like GHC Core?
(DIR) Post #9nbz2fMYETLpJE3YBc by haym@niu.moe
2019-05-15T13:46:40Z
1 likes, 0 repeats
It's actually insane how cool the ST trick is (forall s. ST s a preventing state threads from escaping.) It's also used in AD to prevent differentials of different variables from interacting. In general, it seems like you can use it any time you want items generated from two different "origins" to not interact and prevent it at *compile time*!
(DIR) Post #9oQuYr9VBvY0myxzbk by haym@niu.moe
2019-10-29T23:33:47Z
0 likes, 0 repeats
@newtWhen I lived there my apartment had a wall door to the (small) patio. I thought that sort of thing was pretty common?
(DIR) Post #9oQurcbNVtsdADxB1U by haym@niu.moe
2019-10-29T23:37:12Z
0 likes, 0 repeats
@newtTsuru?
(DIR) Post #9oQvEFkQeNl2wZyiPo by haym@niu.moe
2019-10-29T23:41:17Z
0 likes, 0 repeats
@newtLol I worked there for a summer. Great company
(DIR) Post #9oQwSENcdHhyi4XWPw by haym@niu.moe
2019-10-29T23:55:01Z
0 likes, 0 repeats
@newtIf you get the job, you will definitely not have problems snagging a nice apartment. You are right next to Azabujuban and the pay is top class
(DIR) Post #9oRVTZU59MVSqfw5LM by haym@niu.moe
2019-10-30T06:27:25Z
0 likes, 0 repeats
@newt Submit a savage code sample and you'll have a good chance. Best of luck
(DIR) Post #9oZi6r9tjNyIelRcWG by haym@niu.moe
2019-11-03T05:08:35Z
0 likes, 0 repeats
It's really hard for me to tell when a character is voiced by Kayano Ai just by their voice. Just speaks to how good she is.
(DIR) Post #9oZi8NIJjiYkc66fh2 by haym@niu.moe
2019-11-03T05:26:58Z
0 likes, 0 repeats
@Guresuke which one
(DIR) Post #9oZrh1guwosZKqD9No by haym@niu.moe
2019-11-03T07:14:00Z
0 likes, 0 repeats
@newt @Mikoto I wouldn't be surprised if this is the issue. The possibly disjointedness of the arguments seems like the biggest issue.Relevant: http://lbrandy.com/blog/2010/06/you-cant-beat-a-good-compile/
(DIR) Post #9ob8Idd0eeJY8MIeAa by haym@niu.moe
2019-11-03T21:35:17Z
0 likes, 0 repeats
Is there a locally hosted version of anilist/myanimelist? Similar to gitlab, gitcup, and plume but for anime/manga tracking
(DIR) Post #9obD9uIzmO2X1Paulk by haym@niu.moe
2019-11-03T22:48:46Z
0 likes, 0 repeats
@Arwalk Looks good! C# tho
(DIR) Post #9ok3z9Ldo6iU62c15M by haym@niu.moe
2019-11-08T05:18:54Z
0 likes, 0 repeats
@newt sure
(DIR) Post #9orms6GpAHE4v0w6ee by haym@niu.moe
2019-11-11T22:44:48Z
0 likes, 0 repeats
@MiaourtFTruly the GOAT admin team, you will be missed.
(DIR) Post #9osFBZX1OTPZtCaN2e by haym@niu.moe
2019-11-12T04:00:45Z
1 likes, 1 repeats
Due to the imminent demise of niu, I will be gradually moving activity to @koish (by the infinite grace of @nebula_moe ), and perhaps other alts. The closing of niu will be the end of an era for me. Thank u admins for your service 😢
(DIR) Post #9osLG2Lin8Bc9JoQTI by haym@niu.moe
2019-11-12T05:10:09Z
0 likes, 0 repeats
@kanzen https://niu.moe/@Miaourt/103119859894149316