Live data from Hacker News

Viewing profile — aytuakarlar

aytuakarlar

HN member
Joined
Tue, Sep 09, 2025, 9:40 AM UTC
HN karma
4
Public activity
29 items

About aytuakarlar

No profile information was provided.

Recent public activity

  1. story
  2. story
  3. story
  4. story
  5. comment
    Comment #47501935

    For a weekend project or local use case, your inductive reasoning (probabilistically, no one is spending a 0-day on me) is totally fine. But the moment you move to enterprise, fint…

  6. story
  7. story
  8. comment
    Comment #47061618

    OP here! Also you can try it out immediately via `pip install csl-core`. It allows you to verify policies using the CLI without writing any Python code. I'd really appreciate any f…

  9. story
    Show HN: CSL MCP Server – Write and Verify AI Safety Policies from Claude/Cursor

    CSL-Core is a policy engine that formally verifies AI agent constraints using Z3. Instead of prompting an LLM to behave, you write a small policy in CSL (Constitutional Specificati…

  10. comment
    Comment #46964492

    Hi westurner, I just spent some time going through the Amla and agentvm threads you linked, fascinating stuff. I see you've been tracking this intersection specifically around reso…

  11. comment
    Comment #46963584

    Great questions! Thats exact trade-offs we're navigating. Re: Intent-aware exceptions: CSL uses hierarchical policy composition for this. Example from our banking case study: CSL: …

  12. comment
  13. comment
    Comment #46963300

    OP here! You can try it out immediately via `pip install csl-core`. It allows you to verify policies using the CLI without writing any Python code. I'd really appreciate any feedba…

  14. story
    Show HN: CSL-Core – Formally Verified Neuro-Symbolic Safety Engine for AI

    Hi HN, I'm Aytug, the creator of CSL-Core. We built this because we realized that "prompt engineering" isn't enough for critical AI systems (like in finance or governance). You can…

  15. story
  16. story
    Show HN: I built an AI Colosseum to battle-test different agent architectures

    Hey HN, I've been obsessed with a problem: raw LLMs are powerful but unsafe for high-stakes decisions. I've spent the last few months building a hybrid architecture to make them mo…

  17. comment
    Comment #45394386

    It is my project actually, try to build a hybrid agent for a while.

  18. story
  19. story
  20. comment
    Comment #45225511

    Would love to hear your thoughts — feedback, critiques, and collaboration ideas are very welcome!

  21. story
    Show HN: Project Chimera v1.2 – Neuro-Symbolic-Causal AI Agent (Open Source)

    I’ve just released Project Chimera v1.2, an open-source hybrid AI agent that blends neuro-symbolic reasoning with causal inference to tackle strategic decision-making problems. Ben…

  22. comment
    Comment #45220496

    I’m building Project Chimera, an open‑source neuro‑symbolic‑causal AI framework. The goal: Combine LLMs (for hypothesis generation), symbolic rules (for safety & domain constraints…

  23. story
  24. comment
    Comment #45210600

    Just realized I posted my main content as a comment instead of in the post body. Apologies for the mix‑up. I would love to hear your thoughts — feedback, critiques, and collaborati…

  25. comment