Hackernews posts about IronClaw

  1. Show HN: OneCLI – Vault for AI Agents in Rust (github.com)
    160 points by guyb3 9 days ago | 51 comments
  2. Show HN: DenchClaw – Local CRM on Top of OpenClaw (github.com)
    147 points by kumar_abhirup 12 days ago | 124 comments
  3. IronClaw: a Rust-based clawd that runs tools in isolated WASM sandboxes (github.com)
    149 points by dawg91 about 1 month ago | 69 comments
  4. Ironclad – formally verified, real-time capable, Unix-like OS kernel (ironclad-os.org)
    375 points by vitalnodo 4 months ago | 144 comments
  5. Ironclad link between red meat and cancer identified (newatlas.com)
    50 points by clumsysmurf over 1 year ago | 55 comments
  6. Ironclad 0.7.0 – formally verified Unix-like kernel in SPARK and Ada (codeberg.org)
    27 points by birdculture 10 months ago | 1 comments
  7. Ironclad: Unix-like operating system kernel written in SPARK and Ada (codeberg.org)
    21 points by thunderbong 10 months ago | discuss
  8. Ironclad OS project popping out Unix-like kernel using Ada (www.theregister.com)
    18 points by mmooss 4 months ago | 3 comments
  9. There's No Rust on This Ironclad Kernel: An OS Written in Ada (hackaday.com)
    8 points by SeenNotHeard 4 months ago | discuss
  10. There's No Rust on This Ironclad Kernel (hackaday.com)
    7 points by ajdude 4 months ago | 1 comments
  11. New Ironclad Ada OS Kernel Distro Snapshot with MATE and Fastfetch (blog.ironclad-os.org)
    4 points by mintsuki 6 months ago | 2 comments
  12. Ironclad: Hard real-time capable POSIX-compatible kernel written in SPARK/Ada (nlnet.nl)
    4 points by berkeleynerd over 1 year ago | 1 comments
  13. Virtualization Support to Ironclad (blog.ironclad-os.org)
    2 points by jaypatelani about 1 month ago | discuss
  14. Ironclad (formally verified kernel) 0.6.0 released (savannah.nongnu.org)
    2 points by gneuromante about 1 year ago | discuss
  15. IronClaude: Open-source ClaudeCode workout coach that stores your data in GitHub (github.com)
    1 points by mosnicholas about 1 month ago | 1 comments
  16. Ironclad's Rivet and AI Agent Development with MCP (ironcladapp.com)
    1 points by aryamanagraw 7 months ago | discuss
  17. Show HN: AI Contract Reviewer – Flags Risks and Suggests Fixes in Minutes
    1 points by Saurabh_Kumar_ 2 months ago | 1 comments
  18. Ask HN: Would you use a product to draft contracts for SMBs and solopreneurs?
    1 points by nafissalauddin about 1 year ago | 1 comments
  19. Multi-Agent AI for Indian Lawyers. Is this solving a real pain point?
    1 points by anandk543 7 months ago | discuss
  20. WebTUI – A CSS Library That Brings the Beauty of Terminal UIs to the Browser (webtui.ironclad.sh)
    321 points by IroncladDev 11 months ago | 153 comments
  21. Adding Modern Desktop Environment Options to Gloire (blog.ironclad-os.org)
    1 points by ajdude 6 months ago | discuss
  22. TehcCringe – An open-source satirical tech news outlet (twitter.com)
    1 points by IroncladDev over 1 year ago | discuss
  23. Show HN: LLMArena – Create and Share Beautiful LLM Comparisons (llmarena.ai)
    7 points by IroncladDev almost 2 years ago | 4 comments
  24. IronCalc – Open-Source Spreadsheet Engine (www.ironcalc.com)
    726 points by kaathewise over 1 year ago | 227 comments
  25. TUI spreadsheet app in Rust based on IronCalc engine (github.com)
    15 points by da_rob over 1 year ago | 4 comments
  26. Is GPT-4 conscious? No, but it could be (arxiv.org)
    4 points by ironlake over 1 year ago | 1 comments