Hackernews posts about IronClaw

  1. IronClaw: a Rust-based clawd that runs tools in isolated WASM sandboxes (github.com)
    149 points by dawg91 7 months ago | 69 comments
  2. IronClaw 1.0 – one secure agent on CLI, Slack and Telegram, one memory (near.ai)
    3 points by alejoras about 2 months ago | discuss
  3. IronClaw 1.0 – one secure agent on CLI, Slack and Telegram, one memory (near.ai)
    2 points by dannycb about 2 months ago | discuss
  4. Show HN: I put an AI agent on a $7/month VPS with IRC as its transport layer (georgelarson.me)
    340 points by j0rg3 6 months ago | 96 comments
  5. Show HN: OneCLI – Vault for AI Agents in Rust (github.com)
    161 points by guyb3 6 months ago | 52 comments
  6. Show HN: DenchClaw – Local CRM on Top of OpenClaw (github.com)
    147 points by kumar_abhirup 7 months ago | 124 comments
  7. Ironclad – formally verified, real-time capable, Unix-like OS kernel (ironclad-os.org)
    375 points by vitalnodo 11 months ago | 144 comments
  8. Ironclad link between red meat and cancer identified (newatlas.com)
    50 points by clumsysmurf almost 2 years ago | 55 comments
  9. Ironclad 0.7.0 – formally verified Unix-like kernel in SPARK and Ada (codeberg.org)
    27 points by birdculture over 1 year ago | 1 comments
  10. Ironclad: Unix-like operating system kernel written in SPARK and Ada (codeberg.org)
    21 points by thunderbong over 1 year ago | discuss
  11. Ironclad OS project popping out Unix-like kernel using Ada (www.theregister.com)
    18 points by mmooss 10 months ago | 3 comments
  12. There's No Rust on This Ironclad Kernel: An OS Written in Ada (hackaday.com)
    8 points by SeenNotHeard 10 months ago | discuss
  13. There's No Rust on This Ironclad Kernel (hackaday.com)
    7 points by ajdude 10 months ago | 1 comments
  14. New Ironclad Ada OS Kernel Distro Snapshot with MATE and Fastfetch (blog.ironclad-os.org)
    4 points by mintsuki 12 months ago | 2 comments
  15. Ironclad: Hard real-time capable POSIX-compatible kernel written in SPARK/Ada (nlnet.nl)
    4 points by berkeleynerd almost 2 years ago | 1 comments
  16. Formal Verification Benchmarks Are the Key to Ironclad Software Infrastructure (www.galois.com)
    2 points by surprisetalk 3 months ago | discuss
  17. Virtualization Support to Ironclad (blog.ironclad-os.org)
    2 points by jaypatelani 8 months ago | discuss
  18. Ironclad (formally verified kernel) 0.6.0 released (savannah.nongnu.org)
    2 points by gneuromante over 1 year ago | discuss
  19. IronClaude: Open-source ClaudeCode workout coach that stores your data in GitHub (github.com)
    1 points by mosnicholas 7 months ago | 1 comments
  20. Ironclad's Rivet and AI Agent Development with MCP (ironcladapp.com)
    1 points by aryamanagraw about 1 year ago | discuss
  21. Show HN: AI Contract Reviewer – Flags Risks and Suggests Fixes in Minutes
    1 points by Saurabh_Kumar_ 8 months ago | 1 comments
  22. Ask HN: Would you use a product to draft contracts for SMBs and solopreneurs?
    1 points by nafissalauddin over 1 year ago | 1 comments
  23. Multi-Agent AI for Indian Lawyers. Is this solving a real pain point?
    1 points by anandk543 about 1 year ago | discuss
  24. WebTUI – A CSS Library That Brings the Beauty of Terminal UIs to the Browser (webtui.ironclad.sh)
    321 points by IroncladDev over 1 year ago | 153 comments
  25. Adding Modern Desktop Environment Options to Gloire (blog.ironclad-os.org)
    1 points by ajdude 12 months ago | discuss
  26. TehcCringe – An open-source satirical tech news outlet (twitter.com)
    1 points by IroncladDev almost 2 years ago | discuss