HN Explorer

piotr-yuxuan

↗ HN profile [ 79.7 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. 1 points 0
  2. 1 points 0
  3. 1 points 0
  4. State management made simple: a Clojure map that implements java.io.Closeable (github.com)
    1 points 0
  5. What might an online scientific paper look like in five years' time? (1997) [pdf] (ncbi.nlm.nih.gov)
    1 points 0
  6. Infer specs from any Avro type (github.com)
    1 points 0
  7. Show HN: Clojure: Describe how data flow between core.async channels (github.com)
    1 points 0
  8. Show HN: Latest, Newest Phones Supported by LineageOS (ClojureScript, re-frame) (github.com)
    1 points 0
  9. Logic programming in Clojure: get as many wives as you can (github.com)
    1 points 0
  10. Litterate, Opinionated macOS Dot Files with org-mode (github.com)
    1 points 0
  11. Show HN: No illegal program over your company network – critic much appreciated (github.com)
    1 points 0
  12. Drag'n move HTML element with ClojureScript and re-frame (+ live coding set up) (github.com)
    1 points 0
  13. Show HN: ClojureScript / Reagent: deep structure boxing (gist.github.com)
    1 points 0
  14. Ask HN: I've been used to LibreSignal on CyanogenMod, what can I replace it by?

    I use CyanogenMod on my cell phone so I don't have the Google piece of code required by the Signal app, neither can I download it on Android Market. I've heared about own kernel compilation, why not but I'd prefer a…

    1 points 0
  15. Ask HN: Guixsd and QubesOS

    Is there any way to combine Guixsd (functional package manager, Guile) with QubesOS?

    1 points 0
  16. Show HN: Messing polygamy, trees and rules with Clojure core.logic (github.com)
    1 points 0
  17. Ask HN: How to test or proove logic programming?

    I've been writing some logic code in core.logic, a clojure port of Will Byrd's miniKanren. To make sure my program is correct for any suitable input (not merely for the example I provided during development), I feel I…

    3 points 2
  18. Show HN: Germans are the funniest people ever (youtube.com)
    1 points 0
  19. Hurray: API are not copyrightable (en.wikipedia.org)
    2 points 0
  20. Show HN: French Condom is not what you'd expect (en.wikipedia.org)
    1 points 0
  21. Show HN: One problem, two ways (Clojure): list-processing and graph-processing (github.com)
    2 points 0
  22. What should I choose: Swift or Machine learning?

    I mean, what would be best for my mind-shaping? What would be funniest? What would make best effect on my résumé? In passed twelve months I learnt Clojure, automata theory (applied it through regex and grammars with…

    2 points 6
  23. Show HN: Here is my résumé, hire me ;) or gimme advices (github.com)
    1 points 0
  24. Show HN: (WOP) Chess with logic, functionnal programming and context-free grammars (github.com)
    2 points 0
  25. Show HN: Ignore @Before and @After on some test methods in JUnit tests (github.com)
    1 points 0