Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
michalbilinski
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
4 ms
·
1.
▲
by
michalbilinski
10mo ago
i agree, i wrote a z3 skills for claude and generate a proof before writing code
2.
▲
by
michalbilinski
11mo ago
I’m working on a games website called https://minigames.world It’s really low budget, but the idea might be interesting to you. It’s a Laravel app that’s solely interactable through a TUI application, so Claude Code can help me