HN Explorer

anqurvanillapy

↗ HN profile [ 77.4 ms ] full profile
Karma
124
Created
April 27, 2016 (10y ago)
Submissions
0

  _______                             
  ___    |____________ ____  _________
  __  /| |_  __ \  __ `/  / / /_  ___/
  _  ___ |  / / / /_/ // /_/ /_  /    
  /_/  |_/_/ /_/\__, / \__,_/ /_/     
                  /_/                 

  "Time is running out. Make a move."

  [ my public key: https://keybase.io/anqurvanillapy; my proof: https://keybase.io/anqurvanillapy/sigs/BaRoXFf_KPJ_6ox5Ss8R65ZduUWzW8zaRkV8CMITFG0 ]
  1. Ask HN: A retrofitted C dialect?

    Hi I'm Anqur, a senior software engineer with different backgrounds where development in C was often an important part of my work. E.g. 1) Game: A Chinese/Vietnam game with C/C++ for making server/client, Lua for…

    55 points 80
  2. The Type Theory Podcast (2016) (typetheorypodcast.com)
    1 points 0
  3. The True Implementation of Pattern Matching in Python (github.com)
    1 points 0
  4. Graduate Texts in Mathematics (en.wikipedia.org)
    4 points 0
  5. Minitt-Rs: Extended Implementation of Mini-TT in Rust (github.com)
    1 points 0
  6. Session Types Revisited (2012) [pdf] (dcs.gla.ac.uk)
    2 points 0
  7. Algebraic Presentations of Dependent Type Theories (2017) (arxiv.org)
    3 points 0
  8. Design and Implementation of the Andromeda Proof Assistant (arxiv.org)
    1 points 0
  9. LOOP (programming language) (en.wikipedia.org)
    36 points 7
  10. MiniAgda: Integrating Sized and Dependent Types (2010) (arxiv.org)
    2 points 0
  11. A simple type-theoretic language: Mini-TT (2009) [pdf] (cse.chalmers.se)
    1 points 0
  12. Non-Wellfounded Trees in Homotopy Type Theory (2015) (arxiv.org)
    3 points 0
  13. T. Streicher – A Model of Type Theory in Simplicial Sets (2011) [pdf] (mathematik.tu-darmstadt.de)
    1 points 0
  14. The Thoralf plugin: for your fancy type needs (dl.acm.org)
    15 points 2
  15. C++ Core Coroutines Proposal [pdf] (open-std.org)
    144 points 122
  16. Comparison of Memory Mapping Techniques for High-Speed Packet Processing (2014) [pdf] (net.in.tum.de)
    1 points 0
  17. Mogensen–Scott encoding (en.wikipedia.org)
    3 points 0
  18. Foetus – Termination Checker for Simple Functional Programs (1998) [pdf] (www2.tcs.ifi.lmu.de)
    1 points 0