First screen, captured .
Looks similar
I regret migrating to Codeberg(xn--gckvb8fzb.com)
448 points by boramalper | 358 comments
Personal blog post explaining the author's regret about moving projects to Codeberg after its new terms restricting which projects are welcome.
Related stories
Jev Is Not a Language Model, but It Breaks Like One(blog.checkpoint.com)
29 points by patresh | 5 comments
Check Point blog post on prompt injection attacks against Jev, a typed decision model that is not a language model but is still vulnerable to similar attacks.
AI will make formal verification go mainstream(martin.kleppmann.com)
782 points by evankhoury | 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.
What Security Teams Need to Know About Agents Using Abliterated Models(eve.security)
5 points by mooreds | 0 comments
Eve Security blog post explaining abliterated open-weight models and how security teams can detect, govern, and block AI agents that use them.
AI coding has made CI a bottleneck, so we reworked ours to keep up(linear.app)
300 points by julian_digital | 367 comments
A Linear engineering blog post explaining how AI-assisted coding increased CI load and how the team reworked its CI pipeline to keep up.
We’re releasing Jev 1.14.0 along with experimental features for dreamers(typesafe.ai)
317 points by emschwartz | 101 comments
Company blog post from typesafe.ai announcing the Jev 1.14.0 release along with experimental features.
What AI-Native Looks Like(fagnerbrack.com)
14 points by fagnerbrack | 7 comments
A blog post by Fagner Brack on Medium describing what an AI-native approach to software development with stable infrastructure looks like.