HN Explorer

weitzj

↗ HN profile [ 2329 ms ] full profile

No user record in our sample, but weitzj has activity below (stories or comments). Likely we have partial data — the full bulk-load will fill profiles in.

  1. Nucleus: Enforced permissions for AI agents – policy+enforcement in one stack (github.com)
    1 points 2
  2. Roger Penrose – Why Intelligence Is Not a Computational Process (2025) (youtube.com)
    4 points 0
  3. Webtop – Alpine,Ubuntu,Fedora,and Arch containers containing full desktop envs (docs.linuxserver.io)
    352 points 80
  4. Open Confidential Computing Conference (oc3.dev)
    2 points 0
  5. Fast.com down? Or does not resolve via 1.1.1.1?

    Anybody else having weird problems either not resolving fast.com via 1.1.1.1 or actually resolving via 8.8.4.4 curl -H "Host: fast.com" https://23.210.113.168:443 also does not work Vodafone Germany

    3 points 1
  6. 1 points 0
  7. 1 points 0
  8. Purego – A library for calling C functions from Go without Cgo (github.com)
    268 points 69
  9. Dapr – Build connected distributed applications faster (dapr.io)
    4 points 0
  10. Checking Firewall Equivalence with Z3 (ahelwer.ca)
    2 points 0
  11. The Ciao Prolog System (ciao-lang.org)
    4 points 1
  12. Offensive Nim (github.com)
    106 points 27
  13. Death of the “Spotify Model” • Gijs Meijer and Marcin Pakulnicki • Goto 2022 (youtube.com)
    2 points 0
  14. Ask HN: Something Like Git but for Binaries?

    I am looking for something like Git but for binaries where I can prove the validity of binaries in some repository (artifactory,Nexus,…) or via it’s own repository that the binaries are valid artifacts and maybe also…

    4 points 2
  15. Ask HN: Why is there protobuf,Avro,JSON Schema,etc. instead of ASN.1?

    I am searching for a nice serialization format which offers a binary and plaintext representation and which allows to specify validation rules. It seems like reinventing a wheel. And the wheel seems to be ASN.1 as far…

    3 points 4
  16. Protobuf to ASN.1 Schema Converter (asn1.io)
    1 points 0
  17. Bullwhip Effect (en.wikipedia.org)
    1 points 0
  18. “Game Development in Eight Bits” by Kevin Zurawek (youtube.com)
    2 points 0
  19. Ask HN: Anybody already investing time to prepare for Y2038 problem?

    As the question mentioned. Is anybody already preparing for this? Does one need to prepare for this? Will this be fixed by recompiling? How about mainframes?

    2 points 0
  20. Boston Dynamics Atlas Parcour Video Clip (youtube.com)
    2 points 0
  21. How to Ask Questions the Smart Way (catb.org)
    2 points 0
  22. Ask HN: How to handle automatic upgrades in your sourcecode or Docker images?

    How do you keep track of dependencies which need to be upgraded? There are tools like renovatebot, but I am curious if there are other patterns to the solution? Bazel? Nixos? Distroless?

    1 points 0
  23. Ask HN: Where do I find whois history? Does archive.org support this?

    I am looking for old whois records of a domain which free. Is there any provider, where I can get old whois records? Does Archive.org provider such records?

    2 points 1
  24. Ask HN: Which document management system with OCR do you use?

    I am looking for a way to get rid of my manual papertwork and ideally I am looking for some nice scan-workflow-engine, where I can scan my documents, run them through OCR, manually tag them appropiately and store the…

    15 points 6
  25. ESP32 Rainmaker-IoT Cloud on AWS for ESP32 (medium.com)
    1 points 0