anqurvanillapy

7 ms·

1. 31.▲
   MiniAgda: Integrating Sized and Dependent Types (2010)(arxiv.org)

   2 points by anqurvanillapy 8y ago|0 comments
2. 32.▲
   A simple type-theoretic language: Mini-TT (2009) [pdf](cse.chalmers.se)

   1 points by anqurvanillapy 8y ago|0 comments
3. 33.▲
   Non-Wellfounded Trees in Homotopy Type Theory (2015)(arxiv.org)

   3 points by anqurvanillapy 8y ago|0 comments
4. 34.▲
   T. Streicher – A Model of Type Theory in Simplicial Sets (2011) [pdf](mathematik.tu-darmstadt.de)

   1 points by anqurvanillapy 8y ago|0 comments
5. 35.▲
   The Thoralf plugin: for your fancy type needs(dl.acm.org)

   15 points by anqurvanillapy 8y ago|2 comments
6. 36.▲
   by anqurvanillapy 8y ago

   Bikeshedding alert: If a linear monad use case is considered and a do-notation-like syntax is proposed, why isn’t a left-bind =<< operator introduced by nature.
7. 37.▲
   C++ Core Coroutines Proposal [pdf](open-std.org)

   144 points by anqurvanillapy 8y ago|116 comments
8. 38.▲
   Comparison of Memory Mapping Techniques for High-Speed Packet Processing (2014) [pdf](net.in.tum.de)

   1 points by anqurvanillapy 8y ago|0 comments
9. 39.▲
   Mogensen–Scott encoding(en.wikipedia.org)

   3 points by anqurvanillapy 8y ago|0 comments
10. 40.▲
    by anqurvanillapy 8y ago

    I ran the code and it gave me [2, 3, 5, 6, 7], missing the 1. Appending the_array[i] after clearing the new_run by `new_run = []` seems to fix this issue.
11. 41.▲
    Foetus – Termination Checker for Simple Functional Programs (1998) [pdf](www2.tcs.ifi.lmu.de)

    1 points by anqurvanillapy 8y ago|0 comments
12. 42.▲
    by anqurvanillapy 8y ago

    If so, '道' initially means 'path; road', and its further meaning 'law; principle' can indicate its alternative function in the sentence (n. -> v.). It might be 'describe; illustrate' rather than &
13. 43.▲
    by anqurvanillapy 8y ago

    Hard to convey and even more concise in Chinese, e.g. 道可道, 非常道. (Characters respectively mean: {'道[1]': 'Tao', '可': 'can; able', '道[2]': 'say; tell', '非': 'not'
14. 44.▲
    by anqurvanillapy 9y ago

    I’m a native (simplified) Chinese speaker and I found it interesting to see the growth of meanings of tea, from originally a kind of bitter vegetable (荼, as 艹 for vegetable-related, 余 from 涂 for muds), to brewed drinks. For instance if you
15. 45.▲
    by anqurvanillapy 10y ago

    In Chinese, 'eat' is usually '吃'. We use '吃了 (le)' to say we 'ate' and '在 (zài) 吃' or '吃着 (zhě)' for 'eating'. It is really interesting that in China people often ask the
16. 46.▲
    by anqurvanillapy 10y ago

    It seems to be a new Shanghai-based company started by an ex-Google engineer this year. I found some news in Chinese ( http://qianbidao.baijia.baidu.com/article/503760 ), which says there will be a specific 3D engine dev
17. 47.▲
    by anqurvanillapy 10y ago

    It would be nice to read some books like Language Implementation Patterns for deeper thoughts after following some easy tutorials. That book is good for designing both DSL and general-purpose languages and explains multiple patterns with pr
18. 48.▲
    by anqurvanillapy 10y ago

    The Chinese title of this report is 微信影响力报告 (Report of the Influence of WeChat) or simply 微信报告 (Report of WeChat). And the issue number is 43 (2016.3). Those are the keywords can be googled. And this is the link of the report from QQ (Tence
19. 49.▲
    by anqurvanillapy 10y ago

    It's like the release of the source code of Doom and Duke Nukem 3D. We're getting old.
20. 50.▲
    by anqurvanillapy 10y ago

    BTW, cheaper than a paperback copy of SICP on Amazon. Yep, hack whatever interests you.