Andreu retweeted
New on our Frontier Red Team blog: using Claude to formally verify software at large scale.
Formal verification can prove that code is free of certain bugs, but historically it has only been feasible for small codebases (or required a lot of expert time).
With AI models, however, this is beginning to change. In collaboration with @theoremlabs, we used Claude to prove security properties in over one hundred real-world open-source libraries over the span of a few weeks.
Read our research in full here: anthropic.com/research/forma…
Andreu retweeted
How do you _guarantee_ your agent's code is correct? You prove it.
Introducing Proof Driven Development Kit (PDD Kit) from @MSFTResearch.
PDD Kit helps turn your plan into a formal spec, then proves the agent's code meets that spec for every input. No vibe verification. PDD Kit is integrated with @GitHubNext's Chopin, so you can plan as a team.
PDD Kit takes an app's login flow from intent to a verified pull request:
It discusses your code, infers your intent as it goes, and proposes a formal spec in Verus, a proof language for Rust.
Once you approve the spec, the Verus verifier automatically proves the code meets it.
Where proof isn't possible, it falls back to empirical verification with tests and computer-use agents (CUAs).
It works on Rust today. No new language, no change in how you produce the underlying code, making formal methods more accessible.
The goal is a verified software factory, where engineers review specifications instead of code.
Come see it in action at GitHub Universe, Oct 28–29. Swing by the Speakeasy and ask for GitHub Next!
Andreu retweeted
We've shipped an experimental uv-ty integration.
`uv check` will install ty, sync your dependencies, and type check your project, without any additional configuration.
astral.sh/blog/uv-ty-integra…
Andreu retweeted
Connect Azure Functions to more services with Managed Connectors 🚀
Get access to 1.7k integrations including Microsoft 365, Teams, SharePoint, Dataverse, etc. with less integration code!
Check out this demo and see how to use connectors in Functions 👉 youtu.be/2___yElNigA
Andreu retweeted
Python 3.15 is out now.
Here's our overview of what's new, including lazy imports, a new statistical sampling profiler (Tachyon), sentinel types and more.
astral.sh/blog/python-3.15
Andreu retweeted
In the latest uv release, you can now install from a uv lockfile alone, without a pyproject.toml.
This is designed for efficient layer-caching: changes to the pyproject.toml no longer invalidate your dependency layers.
![FROM python:3.12-slim
COPY --from=ghcr.io/astral-sh/uv:0.12.23 /uv /bin/uv
WORKDIR /app
ENV UV_LINK_MODE=copy
# Install dependencies using only the lockfile.
RUN --mount=type=cache,target=/root/.cache/uv \
--mount=type=bind,source=uv.lock,target=uv.lock \
uv sync --frozen --no-install-project
COPY . /app
# Install the project itself.
RUN --mount=type=cache,target=/root/.cache/uv \
uv sync --locked
CMD ["/app/.venv/bin/uvicorn", "demo:app", "--host", "0.0.0.0"]](https://pbs.twimg.com/media/HT4kLgkXYAAix00.jpg?name=orig)
ALT FROM python:3.12-slim COPY --from=ghcr.io/astral-sh/uv:0.12.23 /uv /bin/uv WORKDIR /app ENV UV_LINK_MODE=copy # Install dependencies using only the lockfile. RUN --mount=type=cache,target=/root/.cache/uv \ --mount=type=bind,source=uv.lock,target=uv.lock \ uv sync --frozen --no-install-project COPY . /app # Install the project itself. RUN --mount=type=cache,target=/root/.cache/uv \ uv sync --locked CMD ["/app/.venv/bin/uvicorn", "demo:app", "--host", "0.0.0.0"]
Andreu retweeted
Just one command can help you stop leaking secrets into your public code.
Give your repositories essential security hygiene with gh-secure from the GitHub Security Lab. ✅
Install and use it in the Copilot app, Copilot CLI, or GitHub CLI.
gh.io/gh-secure
Andreu retweeted
FastAPI now has built-in OpenTelemetry support, natively 📈
No extra code needed.
See how your app behaves in production.
Go and upgrade to "fastapi[standard]" version 0.142.2 ⬆️
Read the docs: fastapi.tiangolo.com/advance…
Andreu retweeted
WSL containers is now generally available
msft.it/6014acIIa
Andreu retweeted
Also Cargo in 1.100:
* A cargo linting system with built-in unused deps check
* min-publish-age (cooldown) support
* new target directory layout that unblocks caching and gc development
…and many more fixes and small features!
Andreu retweeted
Today in Microsoft Foundry, we are advancing a model-agnostic agent platform, now including voice agents, that lets teams adopt better AI as it emerges: preserving the enterprise systems, knowledge, tools, and controls that make agents useful to customers.
Learn more: msft.it/6017a93Mz
Andreu retweeted
Entender el ADN humano solía ser como buscar una aguja en un pajar gigantesco. 🧬🔍
Hoy presentamos AlphaGenome Atlas, una nueva herramienta de Google DeepMind capaz de predecir el impacto de las 9 mil millones de mutaciones posibles en nuestro código genético. 🧵👇
ALT Ilustracion tridimensional abstracta de AlphaGenome mostrando una matriz de columnas verticales luminosas en tonos rosa y naranja que forman ondas y curvas sobre un fondo oscuro.
Andreu retweeted
Migrating the GitHub Copilot runtime to Rust, using Copilot by @stephentoub
github.blog/ai-and-ml/genera…
Andreu retweeted
We are thrilled to announce that RustFS has officially reached General Availability (GA) with the release of version 1.0.0! 🚀
Back in February 2024, we wrote our very first line of code. In July 2025, we officially went open source. And today, we are proud to go GA.
Along the way, we've achieved some incredible milestones:
⭐ Over 32K GitHub Stars
🐳 More than 10 million pulls on Docker Hub
🌍 Over 2.7 million installations worldwide
🤝 Contributions from 180+ global contributors
🏆 Honored to become a member of the NVIDIA Inception Program
The release of 1.0.0 marks a new beginning for RustFS. We look forward to receiving even more feedback from our global community to help us continue improving and evolving RustFS.
For more details, check out our GA blog: rustfs.com/blog/announcing-r…
#RustFS #OpenSource #ObjectStorage #S3Compatible #Rust #NVIDIA
Andreu retweeted
Introducing CUDA Rust!
CUDA Rust lets you write GPU kernels natively in Rust, not just launch them from it.
Two paths: cuda-oxide for SIMT kernels compiled to PTX, and cutile-rs for Tile-based programming on stable Rust. Both can catch aliasing errors at compile time.
Technical blog: nvda.ws/4hm1bHS
Andreu retweeted
After co-inventing ChatGPT, I kept asking myself: why have superhuman chat models not led to AGI?
I’ve spent the last 2 years in stealth building a new way to train models (RLCD), and a new type of frontier AI model that we are releasing today: Jev
• 20-200x faster
• 40-400x cheaper (w/ output tokens free)
• Frontier composable intelligence optimized for decisions
AFAICT the shortest path to AI-based economic revolution
Andreu retweeted
166,700 fruit fly neurons just took over 3 drones, and nobody taught them to fly.
Scientists mapped the full brain of 1 real fly, every neuron and all 25 million connections, and put it online for free.
Someone copied that brain 3 times and plugged each copy into a drone.
No flight code, no gesture presets, no "avoid the chair" rule, just a camera feeding the fly's eyes and neurons turning into throttle.
1 drone hovers, 1 slips past a chair, 1 drops to the floor and holds.
This brain spent 350 million years learning to stay in the air, and now it's back where it belongs.
No GPUs, no training run, no $100B data center, just a brain smaller than a grain of salt.
1 fly gives you 3 pilots, and 1,000 flies give you a swarm.
The fly is dead, but its brain just got a squadron.
166,700 fruit fly neurons are flying a drone around my bedroom.
1 camera watches my open hand and that's the whole input.
The panel in the middle is the brain running live 166,700 neurons, 25 million connections, the full reconstructed map of a fruit fly's head.
Camera reads the hand, the brain fires, the output becomes throttle.
Open palm and it climbs, fist and it holds, drop the hand and it comes down.
4 propellers the size of a coin hanging off a nervous system that belonged to an insect.
The honest part this is a computational model, not a resurrected fly, the wiring is biological, the drone is mine, I built the bridge between them.
I never wrote flight logic, no PID tuning, no gesture presets, I gave the neurons somewhere to send the signal and they found the ceiling.
11 seconds in, it holds altitude on its own.
The fly is dead and it's still flying.
Readers added context they thought people might want to know
The post exaggerates hobbyist demos of a simulated fruit fly connectome (a static wiring map) loosely controlling toy drones via custom input mappings and output decoding; it is not untrained biological neurons or literal "takeover."
blog.google/innovation-and…
github.com/dylankainth/fl…
x.com/SpikeCalls/sta…
Andreu retweeted
For the first time, scientists have mapped the complete brain and central nervous system of an adult male fruit fly — a key model organism in science. 🪰
Working alongside HHMI Janelia Research Campus and the scientific community, @GoogleResearch scientists and researchers used AI to combine millions of 2D images into 3D neural shapes, reconstructing a record-breaking 166,000+ neurons. This foundational map of the adult male fruit fly brain can help accelerate our understanding of the brain, and is a major milestone in neuroscience.
ALT Vibrant 3D digital reconstruction of a fruit fly brain against a white background, displaying a dense, intricate network of multicolored neural fibers and cell bodies in shades of blue, cyan, orange, and purple.
ALT A complex 3D visualization of a fruit fly brain, featuring a dense, symmetrical network of thousands of tiny, multicolored neurons and fine, interconnected fibers in shades of blue, magenta, orange, and green against a solid white background.