Blog &News
Discover our articles on IT performance, cloud, data science and industry best practices.
All articles
Cycle diurne de la température d'été à Lyon-Bron, par décennie
Météo-France publie ses données climatologiques de base horaires en open data sur data.gouv.fr. On les utilise ici pour tracer la température moyenne d'été (juin–juillet–août) à…
German-style strings in Apache Arrow
Version 1.4 of the Apache Arrow Columnar Format added a new way to store variable-length values, the Variable-size Binary View Layout. It comes in two types: BinaryView for raw…
PerformanceStudio: Better Query Store Analysis for SQL Server
PerformanceStudio is an open source GUI for SQL Server performance troubleshooting. It helps DBAs and developers inspect execution plans, identify heavy queries, and move faster…
Database Engines Trends Dashboard
Database Engines Trends DashboardDB Engines.com is a website that reference and rank hundreds of database engines, threw the most famous ones likes Oracle, MySQL, SQL Server,…
Running a private Qwen3.6 Coding Agent on Scaleway
This is the Scaleway sequel to two previous posts on self hosted coding agents: the AWS run where we deployed a 27B model on a g5.xlarge, and the consumer GPU experiment where we…
![Running a Local LLM on a Consumer GPU [8 GB VRAM]](/_next/image?url=%2Fblog%2F20260418_running-a-local-llm-on-a-consumer-gpu-8-gb-vram%2Fimg%2F04_gpu_poor.jpeg&w=3840&q=75)
Running a Local LLM on a Consumer GPU [8 GB VRAM]
Any spare VRAM? In a previous post, we ran Qwen3.5 27B on an AWS g5.xlarge with an NVIDIA A10G (24 GB VRAM). This follow up covers the same workflow on a consumer laptop GPU with…
Running a Local LLM Coding Agent on AWS
We deploy Qwen3.5 27B on a single GPU instance, serve it with llama.cpp, wire it to OpenCode as a coding agent frontend, and run ToolCall 15 to measure tool calling quality. The…
Summation of Floating-Point Numbers in Cython
Adding up a list of floating point numbers: S n = \sum {i=0}^{n 1} x i seems simple. IEEE 754 double precision floats ( float64 ) carry about 15 to 17 significant decimal digits,…
My First Lean 4 Proof: the Irrationality of √2
Formal verification uses computers to automatically check whether proofs are correct. Lean is a formal proof assistant where we write proofs as code, and it tells you if your…