421
Notebooks as reusable Python programs
Designing a Python notebook that blends the best parts of interactive computing with the sanity of code
422
Pg_ClickHouse: A Postgres extension for querying ClickHouse
Today, we’re pleased to release pg_clickhouse, an Apache 2-licensed PostgreSQL extension to transparently execute analytics queries on ClickHouse directly from PostgreSQL.
423
What Are Traces and Spans in OpenTelemetry?
Understand OpenTelemetry traces and spans with real code examples. Instrument Node.js/TypeScript apps for distributed tracing and faster debugging.
424
Heroku Support for .NET 10
Deploy .NET 10 apps on Heroku with day-one support. Learn about the new LTS release , file-based apps , and SLNX solutions.
425
Xerox Alto Source Code (2014)
Depending on your age, your first computer might have been an Apple II, a Radio Shack TRS-80, an IBM PC, an Apple Macintosh, or another of the early personal computers. If you missed these early machines the first time around, perhaps you have seen them in the Personal Computer section of the Revolution exhibit at the…
426
MCP on AWS Lambda with MCPEngine
A virtual feature store for the modern AI stack
427
High-performance computing, with much less code
The “Exo 2” language allows programmers to write “schedules” that explicitly control how the compiler generates code. This allows performance engineers to transform simple programs into complex programs that do the same thing as the specification, but faster.
428
Ada and SPARK enter the automotive ISO-26262 market with Nvidia
AdaCore and NVIDIA have decided to publish this reference process freely as an open-source and evolving document, allowing the industry at large to adopt…
429
A Complete Guide to Meta Prompting
Check out our deep dive on the latest meta prompting methods, like DSPy and TEXTGRAD, and the best prompt generator tools out there.
430
Grease: An Open-Source Tool for Uncovering Hidden Vulnerabilities in Binary Code
We take pride in personally connecting with all interested partners, collaborators and potential clients. Please email us with a brief description of how you would like to be connected with Galois and we will do our best to respond within one business day.
431
Lessons from Mixing Rust and Java: Fast, Safe, and Practical
This article provides a hands-on guide to integrating Rust and Java through the Java Native Interface (JNI).
432
Deterministic multithreading is hard (2024)
Hello, While a lot of time of 2.0 development has been spent on new features and quality of life, we still take care of the smaller details and technical improvements.
433
Django 6.0 beta 1 released
Posted by Natalia Bidart on Oct. 22, 2025
434
10 Years of Betting on Rust
I wrote my first line of Rust in June 2015, a month after Rust 1.0 landed. Coming from C, Python, and JavaScript, I never looked back. Two Rust-based startups and 500k lines of Rust later, here are some reflections on the milestone.
435
When if is just a function
what does this mean and does it matter
436
SQLite's Use of Tcl (2017)
The design of SQLite was inspired by the design of TCL, both in the way it handles datatypes and in the formatting of its source code. The index use case for SQLite was in a Tcl/Tk application for an industrial company. From its inception, SQLite has always depended heavily on TCL. These days, SQLite no longer uses…
437
438
GPT-5.1 for Developers
GPT-5.1 is now available in the API, bringing faster adaptive reasoning, extended prompt caching, improved coding performance, and new apply_patch and shell tools.
439
Castle Game Engine: Web target – big progress, first 3 demos to try
We are proud to present the first 3 working applications developed with Castle Game Engine for the web! Check them out — just open the links below, in any web browser (Firefox, Chrome…)…
440
Should I choose Ada, SPARK, or Rust over C/C++? (2024)
At AdaCore, we’re in the business of supporting people who develop high-integrity software, in particular for embedded systems. In terms of programming…
441
Solveit – A course and platform for solving problems with code
You can now sign up for ‘How to Solve It with Code’, which is a course in how to solve problems (including coding, writing, sysadmin, and research) using fast short iterations, and also provides a platform that makes this approach easier and more effective.
442
Why we still build with Ruby
Why we still choose Ruby on Rails in 2025: Learn how Lago scales millions of API events with Rails, Go, and Rust, balancing developer speed, concurrency, and performance.
443
Locality of Behaviour (2020)
Carson Gross explores the Locality of Behaviour (LoB) principle, which emphasizes making the behavior of code units obvious on inspection to enhance maintainability. He discusses the tradeoffs between LoB and other software design principles like DRY and SoC, offering insights on balancing clarity, abstraction, and…
444
Weaponizing Dependabot: Pwn Request at its finest
Your trusty Dependabot (and other GitHub bots) might be an unwitting accomplice. Through "Confused Deputy" attacks, they can be tricked into merging malicious code. This doesn't stop here. It can escalate to full command injection via crafted branch names and even bypass branch protection rules. Plus, we disclose two…
445
Run Nix Based Environments in Kubernetes
Run reproducible, immutable environments in Kubernetes without container images. Faster deploys, SBOMs-by-default, and zero drift with Flox.
446
Voyage-code-3
TL;DR – Introducing voyage-code-3, our next-generation embedding model optimized for code retrieval. It outperforms OpenAI-v3-large and CodeSage-large by an average of 13.80% and 16.81% on a suite …
447
Rust: Investigating an Out of Memory Error
TL;DR: We discovered the hard way that when backtrace is enabled, the anyhow library is capturing a backtrace on every error. Only when printing this error in debug format!(”err: {:?}”, error) backtrace’s symbols are resolved to human-friendly names, thus leading to a significant memory increase for your application…
448
Conformance checking at MongoDB: Testing that our code matches our TLA+ specs
Testing code fidelity with TLA+ specs at MongoDB. Explore conformance checking experiences and agile modelling in distributed systems.
449
PaperBench
We introduce PaperBench, a benchmark evaluating the ability of AI agents to replicate state-of-the-art AI research.
450
Zig / C++ Interop
Learn how we use macros to make it less painful to use Zig structs in C++ (and vice versa)