Coq is moving to its new name Rocq rocq-prover.org ! This is the best theorem prover regarding the formal verification of programs, to ensure critical implementations have no bugs. We will make more educational videos regarding its use in 2025!

PC

📢GIVEAWAY TO KICK OFF SEASON 1.5📢 To enter: ✅Like, follow, retweet ✅Sub on YT: bit.ly/3X0ZoMU ✅REPLY with which of the 2 new characters you're most excited to try

The Thing!

🔥 Marvel Rivals 11,680 Lattice GIVEAWAY! 🔥 ✅ Follow Rivalskins.com and TopupBot ✅ Retweet and Like ✅ Comment your platform (PC/PS5/Xbox) 🎉 Winner announced February 28th! 🎉 If you're interested in cheap Lattice at a 20% discount with instant delivery and want to support

Something that came out of "Formal Methods for RUST" at ICSE 2025: - Formal methods should be accessible to developers, as there is a lack of formal engineers. 🤗 - Automated verification is brittle and hard to maintain at scale. 🧨 The two seem incompatible!

𝘀𝘂𝗱𝗼 is getting a makeover, based on Rust. 🦀 We’re excited to announce that Ubuntu will be the first major Linux distribution to adopt 𝘀𝘂𝗱𝗼-𝗿𝘀 as the default implementation of 𝘀𝘂𝗱𝗼, in partnership with the Trifecta Tech Foundation. Jon Seager, VP Engineering at

During development, we've been running ty over a (real) >15 million line-of-code Python application. On my machine, it completes in about 12.5 seconds. Mypy took 38 minutes. Pyright crashed (ran out of memory).

LlamaIndex migrated a 650+ package ecosystem from Poetry to uv. "We won’t say we were impressed by how fast it was to install dependencies... because that was expected. What we fell in love with was everything else: uv is simple, tidy, expressive."

You can set `UV_TORCH_BACKEND=auto` and uv will automatically install the right CUDA-enabled PyTorch for your machine, zero configuration

We've introduced some new contribution guidelines to address the growing issue of broken PRs and issues created via generative AI and LLMs. TL;DR: Please ensure you understand what you're sending in and test that it actually works/makes sense. See: github.com/Inochi2D/inoch…

地震による建物被害をどう推定・可視化するか。大阪公立大学・金子健作博士の「MeSM」はAI×3D都市モデルで数十万棟の被害を推定し、CesiumJSで都市全体を描く。複数の防災データを重ね合わせて可視化する取り組みも進行中。詳細はこちら：hubs.li/Q03sb8mr0

Biome v2—codename: Biotype is here! The first type-aware linter that doesn't require tsc 🔐 Type-aware lint rules 🧑‍🚒 Plugins 📚 Monorepo support 📝 Revamped, configurable import sorting 🧐 Linter domains 🙅‍♀️ Bulk suppressions 👩‍✈️ Analyzer assist

vLLM now recommends uv's `--torch-backend=auto` for automatic CUDA selection at install-time

shadcn-dioxus? 👀 first party primitive ui components coming in dioxus 0.7

OpenAI is Ditching TypeScript to Rebuild Codex CLI with Rust 🦀 #rust #rustlang #programming analyticsindiamag.com/global-tech/op…

A good reason not to write tests.

A goal of formal verification is to actually reduce your security cost by putting a robot 🤖 in your CI auditing every input, all the time.