HN Explorer

piotr-yuxuan

↗ HN profile [ 72.6 ms ] full profile
Karma
48
Created
July 23, 2015 (10y ago)
Submissions
0
  1. 1 points 0
  2. 1 points 0
  3. State management made simple: a Clojure map that implements java.io.Closeable (github.com)
    1 points 0
  4. What might an online scientific paper look like in five years' time? (1997) [pdf] (ncbi.nlm.nih.gov)
    1 points 0
  5. Infer specs from any Avro type (github.com)
    1 points 0
  6. Show HN: Clojure: Describe how data flow between core.async channels (github.com)
    1 points 0
  7. Show HN: Latest, Newest Phones Supported by LineageOS (ClojureScript, re-frame) (github.com)
    1 points 0
  8. Logic programming in Clojure: get as many wives as you can (github.com)
    1 points 0
  9. Litterate, Opinionated macOS Dot Files with org-mode (github.com)
    1 points 0
  10. Show HN: No illegal program over your company network – critic much appreciated (github.com)
    1 points 0
  11. Show HN: ClojureScript / Reagent: deep structure boxing (gist.github.com)
    1 points 0
  12. 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
  13. Ask HN: Guixsd and QubesOS

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

    1 points 0
  14. 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
  15. Show HN: Germans are the funniest people ever (youtube.com)
    1 points 0
  16. Hurray: API are not copyrightable (en.wikipedia.org)
    2 points 1
  17. Show HN: French Condom is not what you'd expect (en.wikipedia.org)
    1 points 1
  18. Show HN: One problem, two ways (Clojure): list-processing and graph-processing (github.com)
    2 points 0
  19. 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
  20. Show HN: Here is my résumé, hire me ;) or gimme advices (github.com)
    1 points 0
  21. Show HN: (WOP) Chess with logic, functionnal programming and context-free grammars (github.com)
    2 points 0
  22. Show HN: Ignore @Before and @After on some test methods in JUnit tests (github.com)
    1 points 0
  23. [Ask HN] How to use clojure functions in core.logic?

    I have defined a plain Clojure function which has a specific logic inside. It outputs a mutated state given an initial state and some other arguments. Basically, we could say it is like: (defn modifier [basic x y value]…

    1 points 3
  24. Ask HN: How to call functions and do basic math in Clojure and core.logic? (gist.github.com)
    36 points 4
  25. A simple LaTeX idiomatic tool to handle with large files and long preamble (github.com)
    1 points 1