HN Explorer

bneb-dev

↗ HN profile [ 228 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. Show HN: Salt – a systems language with Z3 theorem proving in the compiler (salt-lang.dev)
    35 points 27
  2. 1 points 1
  3. 1 points 1
  4. 1 points 1
  5. Show HN: Trytet – Deterministic WASM substrate for stateful AI agents (trytet.com)

    Hey HN, I built Trytet to fix the state and geography constraints of autonomous agents. Giving an LLM unverified host execution breaks security, and streaming embeddings back and forth over HTTP is heavy. Furthermore,…

    3 points 0
  6. 1 points 0
  7. Show HN: Parsing hostile industrial data in 64MB WASM sandboxes (ingelt.com)

    Hey all, back again. Ingelt is a Rust/Axum gateway that compiles 33 different legacy protocols (Modbus, BACnet, X12, SECS/GEM, etc.) into isolated WebAssembly sandboxes. I have some background in data engineering and in…

    2 points 0
  8. 1 points 0
  9. Show HN: Autonomous Prover Running > 1hr (perqed.com)

    Hi, I am building an autonomous proof engine that is chasing its second result. Via GitHub gist, you can follow it live.

    4 points 0
  10. Show HN: Aacyn v0.7.0 – A bare-metal observability engine (5M events/SEC) (aacyn.com)

    Hey HN, I wanted to try mapping telemetry ingestion to the bare metal. What started as an exploratory project turned into an explorartory product (maybe). I built aacyn, a single-binary engine that drops onto a $600…

    1 points 0
  11. Show HN: Write and Run Salt v0.9.2 in the Browser (salt-lang.dev)

    Hey HN, I wanted to share the new online playground for Salt (https://salt-lang.dev/playground/), a sovereign systems language designed for high-performance, distributed workloads where paying an "abstraction tax" is no…

    3 points 0
  12. 1 points 1