Dark Hacker News
new
|
best
|
ask
|
show
|
jobs
aytuakarlar | Dark Hacker News
user:
aytuakarlar
created:
September 9, 2025
karma:
4
submissions
comments
1.
1 points
by
aytuakarlar
43 days ago
|
discuss
2.
1 points
by
aytuakarlar
56 days ago
|
discuss
3.
1 points
by
aytuakarlar
57 days ago
|
discuss
4.
1 points
by
aytuakarlar
98 days ago
|
discuss
5.
1 points
by
aytuakarlar
100 days ago
|
discuss
6.
1 points
by
aytuakarlar
127 days ago
|
discuss
7.
Show HN: CSL MCP Server – Write and Verify AI Safety Policies from Claude/Cursor
(pypi.org)
1 points
by
aytuakarlar
134 days ago
|
1 comment
8.
Show HN: CSL-Core – Formally Verified Neuro-Symbolic Safety Engine for AI
(github.com)
2 points
by
aytuakarlar
142 days ago
|
7 comments
9.
1 points
by
aytuakarlar
144 days ago
|
discuss
10.
Show HN: I built an AI Colosseum to battle-test different agent architectures
(project-chimera.streamlit.app)
3 points
by
aytuakarlar
278 days ago
|
0 comments
11.
1 points
by
aytuakarlar
289 days ago
|
discuss
12.
1 points
by
aytuakarlar
292 days ago
|
discuss
13.
Show HN: Project Chimera v1.2 – Neuro-Symbolic-Causal AI Agent (Open Source)
(github.com)
2 points
by
aytuakarlar
293 days ago
|
1 comment
14.
What's the best way to benchmark neuro‑symbolic‑causal AI agents?
(github.com)
1 points
by
aytuakarlar
293 days ago
|
1 comment
15.
Show HN: Project Chimera v1.2 – Neuro-Symbolic-Causal AI Agent – OpenSource Demo
(github.com)
1 points
by
aytuakarlar
294 days ago
|
2 comments
16.
Show HN: Project Chimera – Hybrid AI Agent Combining LLM, Symbolic, and Causal
(github.com)
4 points
by
aytuakarlar
296 days ago
|
3 comments