Introducing Grok 4.5
Grok 4.5 is SpaceXAI's smartest model built for coding, agentic tasks, and knowledge work.
Grok 4.5 is SpaceXAI's smartest model built for coding, agentic tasks, and knowledge work.
Don't hide yourself from others.
Recently, while I was working on an optimized Quicksort implementation, I came across a rather interesting quirk. Modern compilers (especially Clang) optimize loops using fast, branch-free instructions - provided you use the right programming style.
This article is about the advantages and disadvantages of using cons cells when implementing a Lisp-like programming language.
rqlite is a lightweight, open-source, distributed relational database built on SQLite and Raft. After my initial experience with Fable, it got me thinking. I created rqlite, I maintain it. Why won't Fable help me find and fix bugs in the software? Why does it …
Fifteen years building software, and now I work among lawyers. Field notes on uniforms, truth and egos, and the difference underneath: in court there is no second chance.
One year ago today, Pocket shut down. The read-later category scattered – and the real gap isn't saving articles, it's the context to understand what you read.
The AI race focuses on intelligence. History suggests we should focus on organization.
gjmveloso's personal blog. The opinions expressed here are my own and do not necessarily represent those of current or past employers.
EU now one step away from reviving private message scanning rules
The European Parliament has approved an urgent procedure to fast-track legislation that would revive the expired "Chat Control 1.0" rules.
How Tri-State Relay Service grew from queued audio updates into Live mode, and why per-line voices make agent work easier to follow.
A sign does not communicate because it exists: it communicates when its meaning arrives, stays clear, and lets someone act.
Today we are proud to announce the availability of TypeScript 7, a 10x faster native port of TypeScript! Since its early days, TypeScript has promised to
I know AutoIt is not the most modern programming language. It is not trendy, it is not something people usually mention next to Rust, Go, Python, or C#. But I still use it, and for the kind of small Windows tools I build, it still makes a lot of sense.
Originally published 2026-07-05.
AI coding tools change how engineering organizations allocate attention more than they compress project timelines.
I built an MCP server that lets Claude create, edit, and comment on real hosted pages. There is no screen, so every UX decision lives in a tool schema, an error message, or a single line of returned text, and measuring whether any of it actually works needed t…
121.1s cold build, 15.7s fully cached — all 432 executable actions served from the remote cache. Measured, committed as JSON, reproducible with Docker.
Stop the unit test spam
When the official WhatsApp Android to iPhone transfer failed, I migrated 325,647 messages myself with open source tools by rebuilding the legacy database schema WhatsApp abandoned years ago.
Funding open-source software is a challenge, especially for projects without a large existing community. While various approaches exist, they all come with their own drawbacks. For example, asking for donations is by far the most commonly used approach but als…
14 prompting techniques that work because AI chats aren’t what you think.
The snappiest chat application you've ever used is now available for self-hosting.
Introducing Robostral Navigate: 8B model achieving 76.6% on R2R-CE with just a single RGB camera. No depth sensors, LiDAR, or multiple cameras needed.
A new generation of voice models for natural human-AI interaction, now powering ChatGPT Voice.
IP, technology & commercial law
TL;DR: Noma Labs discovered a critical prompt injection vulnerability within GitHub’s new Agentic Workflows, allowing an unauthenticated attacker to silently pull data from private repositories by posting a crafted GitHub Issue in a public repository belonging…
The 'Special Value' Pi 4 pictured above is probably the rarest Raspberry Pi I own—even rarer than my blue special edition Pi. A Raspberry Pi reseller briefly listed a special 'value edition' Pi 4. But the product page 404's now. While it was up, my curiosity g…
Imagine being worth $2 billion. Would you give away $550 million? That's a quarter of your wealth, more money than I could spend in several lifetimes. Yet that's how much Evan Spiegel, the CEO of Snap
Free, open-source, fully native. Run Linux containers on Apple silicon with Apple's container platform — no Docker Desktop required.
Your AI-built product works, but past 100,000 lines every change breaks two things. Three senior engineers make your codebase maintainable again. One week, fixed price, guaranteed.
Even closed and without permissions to run in the background and send notifications, WhatsApp remained one of the most energy-consuming applications on my phone.
Jul 7, 2026 Tags: oss, python, security
Fleurons, and other printer's ornaments are decorative elements used in typography. Many of these have made it into fonts in the digital age, with Unicode supporting classic fleurons like ❦ and ❧, but also additional symbols-turned-visual indicators ranging fr…
I move data through pipelines for a living. Then I built the transformer stack from scratch, from autograd to attention. Five places my instincts pointed the wrong way, and three bugs that never crashed.
Learn how I implemented browser and server-side tracking on a Shopify store using GTM, GA4, and Meta CAPI, including debugging, deduplication, and event optimization
The API is a landlord. Weights on your own disk are a deed. Sovereignty now includes your intelligence supply.
Wispr Flow made voice the primary way I work. Three weeks, 35,574 words, and my whole thought process feels more natural.
Fable is very good
Astonishment.
A field guide to authentication and authorization in the Model Context Protocol: OAuth 2.1 with PKCE, dynamic client registration, client ID metadata documents, machine-to-machine flows, and what changes when an MCP gateway sits in the middle — token passthrou…
You can't be derivative if you don't create at all
GitHub caught 39M leaked secrets in 2024. Here's how I store API keys on my Mac: Keychain, 1Password CLI references, and direnv -- no plaintext .env files.
A blog about software craft and quality
Joel Spolsky once called it "the single worst strategic mistake that any software company can make", and not for nothing: "When you throw away code and start from scratch, you are throwing away all that knowledge. All those collected bug fixes. Years of progr…
How I got Qwen3.6-27B running locally on a DGX Spark with tools, reasoning, and MTP - and used it to ship real code.
Bragging about your Claude is easy. Proving the behavior you deploy into agents keeps working is harder. Runme v3.17 brings local task evals into the repo, so AI workflows can be rerun, compared, and promoted with evidence.
Buying used to be a human process of searching, comparing, filtering, and deciding. As more customers arrive through AI assistants, the sale increasingly happens before they ever reach your website.
Around 2000 I took an AI course at the University of Guelph. I don’t think I learned too much. We didn’t talk about neural networks, as far as I can remember. My end of term project was, I think, a pathfinding algorithm wearing an AI costume. There were certai…
A short story about two coworkers, one tool, and the difference between using a machine and building with one.
Just a few years ago, realistic local speech generation seemed unimaginable. Today, its quality is exceptional and, crucially, it delivers these results without compromising privacy.
How statisticians split a bill
This blog post was written by me, a human (as evidenced by how long it takes to explain a simple idea). If you want to skip straight to the main idea, scroll to The Point.
A practical deep dive into UUIDs, ULIDs, and Sqids, from generation models and sorting behavior to database storage, public IDs, and security trade-offs.
Orphaned subagents keep running and billing after their parent moves on. The fix isn't a smarter model — it's a lifecycle contract Unix shipped in 1985.
I’ve had a small homelab, mainly of older desktops and workstations for a while now, but I have always dreamed of creating a high availability setup for my lab. I’ve also always wanted to try out Ceph and recently got very interested in high speed networking i…
Recently I’ve been learning Assembly language. Specifically focused on x86-64, using the GNU Assembler (GAS), in Intel syntax. I guess it’s my way of rebelling against AI: the higher-level they try to take me, the deeper down the stack I dive. If I get pushed …
I have a secret. Don’t tell anyone, but after majoring in Computer Science and Data Science at Berkeley’s College of Letters and Sciences I somehow ended up with a Bachelor of \({\color{#dd2222}\mathcal{A}}{\color{#dd8800}\mathfrak{r}}{\color{#00aa00}\mathfrak…
writing about my projects, experiments and ideas