Viewing profile — aytuakarlar
aytuakarlar
HN member- Joined
- Tue, Sep 09, 2025, 9:40 AM UTC
- HN karma
- 4
- Public activity
- 29 items
- HN profile
- View on Hacker News ↗
About aytuakarlar
No profile information was provided.
Recent public activity
- story
- story
- story
- story
-
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…
- story
- story
-
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…
-
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…
-
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…
-
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: …
- comment
-
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…
-
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…
- story
-
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…
-
comment
Comment #45394386
It is my project actually, try to build a hybrid agent for a while.
- story
- story
-
comment
Comment #45225511
Would love to hear your thoughts — feedback, critiques, and collaboration ideas are very welcome!
-
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…
-
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…
- story
-
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…
- comment