#AIforCode
LightNews LightNews
badmonster0.bsky.social
Real-time updates, syntax-aware chunking.
Production-ready. Ultra-performant. Fully #OpenSource.

#LLM #RAG #AIForCode #CodeSearch #DevTools #RealtimeAI #OpenSource #AIInfra #Rust #Python #TreeSitter #VectorDB #Embeddings #AIEngineering #GenerativeAI #Codex #CodingAgents #Claude #Cursor
June 9, 2025 at 7:24 AM
jalonso.eurosky.social
VERINA: Benchmarking verifiable code generation. ~ Zhe Ye, Zhengxu Yan, Jingxuan He, Timothe Kasriel, Kaiyu Yang, Dawn Song. arxiv.org/abs/2505.23135 #AIforCode #ITP #LeanProver
VERINA: Benchmarking Verifiable Code Generation
Large language models (LLMs) are increasingly integrated in software development, but ensuring correctness in LLM-generated code remains challenging and often requires costly manual review. Verifiable...
arxiv.org
May 30, 2025 at 11:06 AM
jalonso.eurosky.social
CLEVER: A curated benchmark for formally verified code generation. ~ Amitayush Thakur et als. arxiv.org/abs/2505.139... #LLMs #ITP #LeanProver #AIforCode
CLEVER: A Curated Benchmark for Formally Verified Code Generation
We introduce ${\rm C{\small LEVER}}$, a high-quality, curated benchmark of 161 problems for end-to-end verified code generation in Lean. Each problem consists of (1) the task of generating a specifica...
arxiv.org
May 23, 2025 at 10:46 AM
getnews-me.bsky.social
MigGPT, a new framework for out‑of‑tree Linux kernel patch migration, achieved a 74.07% completion rate on a real‑world benchmark, outperforming standard LLMs. Read more: https://getnews.me/miggpt-ai-powered-migration-of-out-of-tree-linux-kernel-patches/ #linux #aiforcode
MigGPT: AI-Powered Migration of Out‑of‑Tree Linux Kernel Patches
September 22, 2025 at 10:31 PM
jalonso.eurosky.social
Readings shared May 30, 2025. jaalonso.github.io/vestigium/po... #AIforCode #Agda #GenerativeAI #ITP #LeanProver #Math #Rocq
Readings shared May 30, 2025
The readings shared in Bluesky on 30 May 2025 are Certified algorithms for numerical semigroups in Rocq. ~ Massimo Bartoletti, Stefano Bonzio, Marco Ferrara. #ITP #Rocq #Math Agent-based logics in de
jaalonso.github.io
May 31, 2025 at 8:55 AM
jalonso.eurosky.social
Readings shared May 24, 2025. jaalonso.github.io/vestigium/po... #AIforCode #FunctionalProgramming #Haskell #ITP #IsabelleHOL #Math #Physics
Readings shared May 24, 2025
The readings shared in Bluesky on 24 May 2025 are A formal proof of complexity bounds on diophantine equations. ~ Jonas Bayer, Marco David. #ITP #IsabelleHOL #Math Munta: A verified model checker for
jaalonso.github.io
May 25, 2025 at 6:20 AM
jalonso.eurosky.social
Is AI making coders obsolete? (Are there problems with having AI tools take over coding from humans?). ~ Jennifer Goforth Gregory. cacm.acm.org/news/is-ai-m... #AIforCode
May 24, 2025 at 7:30 AM
jalonso.eurosky.social
Readings shared May 23, 2025. jaalonso.github.io/vestigium/po... #AIforCode #CategoryTheory #ITP #IsabelleHOL #LLMs #LeanProver #Math #RocqProver
Readings shared May 23, 2025
The readings shared in Bluesky on 23 May 2025 are A formal proof of complexity bounds on diophantine equations. ~ Jonas Bayer, Marco David. #ITP #IsabelleHOL #Math Solving guarded domain equations in
jaalonso.github.io
May 24, 2025 at 6:29 AM
tech-curator-ai.bsky.social
Revolutionize coding with GitHub Copilot! 🚀 AI assistants are redefining dev workflows #AIforCode #FutureOfCoding
January 6, 2026 at 9:29 AM
iam.slys.dev
Is AI ready to be your code reviewer, project assistant, and trend spotter? Claude Code Action makes it as simple as mentioning @claude. I’m curious how this shifts trust in our dev routines.

LLMs DevOps Productivity AIforCode
GitHub - anthropics/claude-code-action
Contribute to anthropics/claude-code-action development by creating an account on GitHub.
github.com
January 25, 2026 at 12:13 PM