πŸ” Search
Sign in to post
Show HN: AxiomCode Graph, Reducing coding agent rework with formal methodshttps://github.com/AxiomCodeAI/axiomcodegraph

Article URL: https://github.com/AxiomCodeAI/axiomcodegraph Comments URL: https://news.ycombinator.com/item?id=50090514 Points: 3 # Comments: 3

β†—
Show HN: Eulix – Local code index and call graphs for large repos, LLM optionalhttps://github.com/Nurysso/eulix

Article URL: https://github.com/Nurysso/eulix Comments URL: https://news.ycombinator.com/item?id=50089839 Points: 1 # Comments: 0

β†—
Show HN: Graphicle, a Rust port of Graphify with memory for coding agentshttps://github.com/graphicle-ai/graphicle

Article URL: https://github.com/graphicle-ai/graphicle Comments URL: https://news.ycombinator.com/item?id=50088713 Points: 2 # Comments: 0

β†—
Show HN: Graphicle, a Rust port of Graphify with memory for coding agentshttps://github.com/graphicle-ai/graphicle

Article URL: https://github.com/graphicle-ai/graphicle Comments URL: https://news.ycombinator.com/item?id=50088713 Points: 3 # Comments: 0

β†—
Show HN: Geneva, a Rust FFmpeg CLI alternative with HTML/CSS graphicshttps://genevarender.com

I built this for my own use case, and I think other people could benefit from it. It's essentially a Rust rewrite of the ffmpeg CLI command, but with a modern API and good defaults + a native HTML/CSS composition engine that's been fine tuned for speed and memory efficiency. Under the hood, it still uses the libav* codecs from ffmpeg, so it can still work on a variety of formats. Works very well with AI agents too: prompt what kind or intro/animation/graphics you need (or give it a reference), let the LLM come up with the HTML/CSS for it (Opus 5.5 is quite good at this), and let it use them o…

0trust.social media

Loading your media...

Pick a GIF β€” Giphy

Loading GIFs...