Malicious VSCode extensions with more than 45k installs(blog.checkpoint.com)

277 points by chha 3 years ago | 154 comments

Denial of Fuzzing: Rust in the Windows Kernel(research.checkpoint.com)

5 points by ndiddy 11 months ago | 0 comments

U.S. Midterms Have a Cyber Problem, but It's Not at the Ballot Box(blog.checkpoint.com)

35 points by gnabgib 4 months ago | 31 comments

We Turned Our Wireshark Wizard into a Markdown File(checklyhq.com)

5 points by tnolet 7 months ago | 1 comments

Rethinking CLI interfaces for AI(notcheckmark.com)

181 points by Bogdanp 1 year ago | 77 comments

GitHub Copilot CLI downloads and executes malware(promptarmor.com)

43 points by sarelta 8 months ago | 12 comments

There isn't an easy exploit for this PHP vulnerability(eliastaylor.com)

566 points by zkldi 4 days ago | 437 comments

Blog post arguing a newly disclosed PHP vulnerability is hard to exploit and that thousands of LLM-generated GitHub PoC exploits don't work against vanilla PHP.

I built a programming language that LLMs can't use(blog.picheta.me)

244 points by dom96 8 days ago | 179 comments

Blog post by Dominik Picheta introducing KillSwitch, a programming language he designed so that large language models cannot use it.

Jev Based Code Review(github.com)

38 points by namanbhulawat 1 month ago | 39 comments

GitHub repository for jev-code-reviewer, an MIT-licensed tool that prioritizes code changes for human review and uses OpenAI to explain them, via CLI, agent skill, and GitHub extension.

AI Made Writing Code Easier. It Made Being an Engineer Harder(ivanturkovic.com)

343 points by saikatsg 7 months ago | 242 comments

Blog post by Ivan Turkovic arguing that AI tools make producing code easier while making the broader job of being a software engineer harder.

AI will make formal verification go mainstream(martin.kleppmann.com)

782 points by evankhoury 10 months ago | 394 comments

Martin Kleppmann blog post predicting that AI will bring formal verification with proof assistants like Rocq, Isabelle and Lean into mainstream software engineering.

Training LLMs from ground zero as a startup(yitay.net)

360 points by swyx 2 years ago | 92 comments

Yi Tay's blog post on the experience of training large language models from scratch at a startup (Reka), covering compute, infrastructure, and lessons learned.