Ship Safe, an open source security scanner for coding agentsArticle URL: https://github.com/asamassekou10/ship-safe Comments URL: https://news.ycombinator.com/item?id=49192277 Points: 3 # Comments: 0https://github.com/asamassekou10/ship-safe#Tech #Technology #TechNews #AI #Gadgets #Software #Cybersecurity #Apple #Google #Microsoft #Startup #OpenSource #HackerNews [Hacker News]
Related
@mariyadelano > I’ve been testing a theory: many people who are high on #AI and #LLMs are just new to automation and don...
@mariyadelano > I’ve been testing a theory: many people who are high on #AI and #LLMs are just new to automation and don’t realize you can automate processes with simple programmin...
One Pepper, Every Door I built Pepper’s voice features with one customer in mind: my dad. Reading a screen isn’t always ...
One Pepper, Every Door I built Pepper’s voice features with one customer in mind: my dad. Reading a screen isn’t always easy for him, and I wanted him to be able to just talk to Pe...
The Poincare conjecture in HOL Light, formalized by Claude Opus 5.5 following Perelman. ~ John Harrison. https://github....
The Poincare conjecture in HOL Light, formalized by Claude Opus 5.5 following Perelman. ~ John Harrison. https://github.com/hol-light-family/Poincare #HOL_Light #AI4Math #AI #Math