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
11 days ago
|
discuss
2.
1 points
by
aytuakarlar
12 days ago
|
discuss
3.
1 points
by
aytuakarlar
53 days ago
|
discuss
4.
1 points
by
aytuakarlar
55 days ago
|
discuss
5.
1 points
by
aytuakarlar
82 days ago
|
discuss
6.
Show HN: CSL MCP Server – Write and Verify AI Safety Policies from Claude/Cursor
(pypi.org)
1 points
by
aytuakarlar
89 days ago
|
1 comment
7.
Show HN: CSL-Core – Formally Verified Neuro-Symbolic Safety Engine for AI
(github.com)
2 points
by
aytuakarlar
97 days ago
|
7 comments
8.
1 points
by
aytuakarlar
99 days ago
|
discuss
9.
Show HN: I built an AI Colosseum to battle-test different agent architectures
(project-chimera.streamlit.app)
3 points
by
aytuakarlar
233 days ago
|
0 comments
10.
1 points
by
aytuakarlar
244 days ago
|
discuss
11.
1 points
by
aytuakarlar
247 days ago
|
discuss
12.
Show HN: Project Chimera v1.2 – Neuro-Symbolic-Causal AI Agent (Open Source)
(github.com)
2 points
by
aytuakarlar
247 days ago
|
1 comment
13.
What's the best way to benchmark neuro‑symbolic‑causal AI agents?
(github.com)
1 points
by
aytuakarlar
248 days ago
|
1 comment
14.
Show HN: Project Chimera v1.2 – Neuro-Symbolic-Causal AI Agent – OpenSource Demo
(github.com)
1 points
by
aytuakarlar
249 days ago
|
2 comments
15.
Show HN: Project Chimera – Hybrid AI Agent Combining LLM, Symbolic, and Causal
(github.com)
4 points
by
aytuakarlar
250 days ago
|
3 comments