HN Explorer

tluyben2

↗ HN profile [ 92.0 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. AI helps me against procrastination (bsky.app)
    2 points 0
  2. Show HN: The modern internet content experience simulator (github.com)

    Generates static pages for any slug that doesn't exist yet (starting with only the home page). It generates a 404 page if it cannot generate. Different models come up with different (better/worse) pages; the top models…

    2 points 0
  3. KamilaLisp – A functional, flexible and concise Lisp (github.com)
    128 points 59
  4. Ask HN: Did anyone notice an increase in hacking attempts during the holidays?

    I just saw the Slack private Github repositories being accessed over the holidays. For some of our clients and for us, I noticed that late afternoon GMT of the 24th, traffic shot up across the board with strange…

    1 points 0
  5. A toy implementation of Landin's ISWIM language. (2018) (github.com)
    7 points 1
  6. Spiritual Successor to It Came from the Desert (store.steampowered.com)
    1 points 0
  7. Almost automated code reviews (brainfisheatfishbrain.com)
    26 points 5
  8. An experimental and minimal Datalog implementation that compiles down to LLVM (github.com)
    2 points 0
  9. Ask HN: What’s is the most practical, non toy, programmable robot for under 10k?

    Are there any? Something that can be made to do practical things. Can be DIY.

    48 points 18
  10. Qatar WC reporter IAMA turning into a dumpster fire (old.reddit.com)
    2 points 0
  11. Ask HN: Tools to prevent information loss in modern Open Source communication?

    I have noticed that, mostly for obvious reasons, new OSS projects stopped using IRC, Google groups, forums, mailinglists and even Github for communication purposes; instead I see Discord, Slack and Telegram. While these…

    3 points 1
  12. Dependent Types and APL (On the GPU) (youtube.com)
    2 points 0
  13. Proving Ground: Tools for Automated Mathematics; HoTT (github.com)
    2 points 0
  14. Lacework lands $1.3B to expand its cloud cybersecurity platform (venturebeat.com)
    2 points 0
  15. The future of programming with certified program synthesis (gopiandcode.uk)
    84 points 93
  16. I can't support a community full of apologists for these awful pyramid schemes (twitter.com)
    2 points 0
  17. Hong Kong Startup Challenges Android-Apple Dominance (m.dw.com)
    1 points 0
  18. After 30 years of coding and tech management, I want to get into movie making

    I see often Ask HNs asking what would you do if you were not in tech? I am trying to get into something else, namely making movies and documentaries. Because I know nothing about this business, the first one is only on…

    28 points 10
  19. First attempt at a minimal Forth in C# (gist.github.com)
    2 points 0
  20. Ask HN: What is a good site to post remote/heavy travel programmer positions?

    I know HN is good but that is only once a month and even a few days later the thread is not visited anymore. So what would be a better place? In our case it is a full time mostly remote position with a lot of travel…

    17 points 15
  21. You Won't Believe This Stupid New Law Against Cash and Bitcoin (zerohedge.com)
    1 points 0
  22. Scratch like visual programming environment which live execution visualisation (trepl.xyz)
    1 points 0
  23. Shenzhou-11 spacecraft manned launch live coverage (spaceflightnow.com)
    3 points 0
  24. The great fire of London – 350 year anniversary site (fireoflondon.org.uk)
    2 points 2
  25. Jolie – A language for micro services (jolie-lang.org)
    4 points 1