HN Explorer

rscho

↗ HN profile [ 51.3 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. Rhombus Language Performance (rhombus-lang.org)
    2 points 0
  2. Preventing conflicts in authoritative DNS config using formal verification (blog.cloudflare.com)
    64 points 3
  3. Preventing conflicts in authoritative DNS config using formal verification (blog.cloudflare.com)
    3 points 0
  4. How to Make Racket Go Almost as Fast as C (lambdaland.org)
    2 points 0
  5. Rhombus-in-the-Rough (github.com)
    3 points 1
  6. 1 points 0
  7. Playing the Game with PLT Redex (youtube.com)
    1 points 1
  8. How does find by example work in the Pharo Finder (chicoary.wordpress.com)
    108 points 51
  9. ArrayCast Episode 19:Aaron Hsu (arraycast.com)
    2 points 0
  10. Ask HN: Under pressure from industry, how can academics protect themselves?

    Our group (western Europe) has submitted a review on a device that generates a lot of money (i.e. US multibillion $ industry). Our results speak mildly against the use of said device, with low confidence in the evidence…

    6 points 19
  11. ATS: Why Linear Types Are the Future of Systems Programming (youtube.com)
    2 points 1
  12. MediKanren: A System for Bio-Medical Reasoning (youtube.com)
    2 points 1
  13. J vs. K by Example (olegykj.sourceforge.net)
    26 points 13
  14. CakeML: A Verified Implementation of ML (cakeml.org)
    3 points 0
  15. Cuis Smalltalk (github.com)
    5 points 1
  16. J Language: Direct Definitions (code.jsoftware.com)
    3 points 5
  17. Production Prolog (google.com)
    3 points 0
  18. Deploying Racket Web Apps (defn.io)
    2 points 0
  19. What functional programming can learn from smalltalk (youtu.be)
    1 points 0
  20. Ask HN: Uses of reflection/introspection for statistical programming?

    Hi, Having seen demos using reflection/code introspection à la smalltalk in statistical programs pertaining to codebase analysis, I feel there ought to be many interesting applications for statistical tooling, but I…

    1 points 0
  21. Ask HN: Can an interpreted-only language be implemented in a JITted one?

    To illustrate my question, J is a language that is, to the best of my knowledge, only interpreted since parsing it requires runtime information (http://www.jsoftware.com/help/jforc/parsing_and_execution_ii.htm). Given…

    4 points 4
  22. Show HN: A software solution to ultrasound blood flow monitoring (bigwww.epfl.ch)
    85 points 21
  23. Show HN: A pure software solution to ultrasound blood flow measurement (bigwww.epfl.ch)
    21 points 0