Search the archive

PREDICTION: AI WILL MAKE FORMAL VERIFICATION GO MAINSTREAM

AI-generated code needs formal verification to automate the review process and counteract the imprecise and probabilistic nature of LLMs.

HORSES

Horses took two decades to phase out - AI probably won't give us that long.

LLMS MAKE LEGAL ADVICE LOSSY

Lawyers can tell when clients paste their advice into chatbots for summaries rather than reading what they write for them.

AGENT DEVELOPMENT KIT (ADK) FOR RUST

adk_rust is a flexible and modular framework for developing and deploying AI agents in Rust.

STRATEGY BUYS $963 MILLION MORE BITCOIN

Strategy purchased an additional 10,624 BTC for approximately $962.7 million at an average price of $90,615 per bitcoin between December 1 and 7, bringing its total holdings to 660,624 BTC, worth around $60 billion and representing over 3% of Bitcoin's total 21 million supply with approximately $10.6 billion in unrealized gains. The acquisition, funded through at-the-market sales of MSTR shares ($928.1m) and STRD perpetual preferred stock ($34.9m), is part of Strategy's "42/42" plan targeting $84 billion in capital raises through 2027, while the company also established a $1.44 billion USD Reserve to cover dividend payments and debt obligations for approximately 18 months. Despite the continued accumulation, Strategy's stock has declined 61% from summer peaks and trades at a market cap-to-net asset value ratio of 0.86, prompting CoinShares to warn that the digital asset treasury model is being re-evaluated as "the bubble deflates" amid concerns about shareholder dilution and token-per-share growth strategies.

CFTC LAUNCHES DIGITAL ASSETS PILOT

CFTC Acting Chair Caroline Pham launched a pilot program allowing Bitcoin, Ether, and USDC as collateral in US derivatives markets for approved futures commission merchants with strict weekly disclosure requirements for the first three months and enhanced custody oversight. The agency withdrew 2020 guidance that blocked crypto collateral and issued a no-action letter permitting FCMs to hold digital assets in segregated customer accounts. Coinbase Chief Legal Officer Paul Grewal called it "precisely what the Administration and Congress intended the GENIUS Act to enable." The program extends to tokenized real-world assets like US Treasuries that meet enforceability, custody, and valuation standards under technology-neutral rules.

TETHER EXPANDING TO NINE NEW CHAINS

Tether's USDT received regulatory recognition as an accepted fiat-referenced token across nine blockchains in Abu Dhabi Global Market, including Aptos, Celo, Cosmos, Kaia, Near, Polkadot, Tezos, TON, and TRON, adding to earlier approvals for Ethereum, Solana, and Avalanche. ADGM-licensed institutions can now conduct regulated activities involving USDT across nearly all networks where the token circulates, forming a multi-chain foundation enhancing liquidity and interoperability for trading, settlement, and decentralized applications. The announcement coincides with Binance securing full ADGM authorization to operate Binance.com starting January 5, through three separately licensed entities mirroring traditional financial-market architecture for exchange, clearinghouse, and broker-dealer functions.

VITALIK BUTERIN PUSHES FOR TRUSTLESS GAS FUTURES MARKET

Vitalik Buterin has proposed a trustless onchain gas futures market that allows users to prepay for specific gas quantities in defined time intervals, but Flashbots strategist Hasu argued the market lacks a natural short side as many want to hedge gas exposure, but no one is long gas at scale. Buterin suggested the protocol itself could auction basefee claiming rights to move from long to neutral while users shift from short to neutral, though Gnosis co-founder Martin Koppelmann countered that Ethereum's burn mechanism eliminates validators as natural sellers who would otherwise hedge without significant risk premiums.

SOLANA AND BASE “TWIN CONTRACT” BRIDGE

The new Solana, Base bridge actually works. Tokens move by a standard lock/mint model on the origin chain, while native tokens are locked (or foreign tokens burned). On the destination chain, native tokens are unlocked (or foreign tokens minted). Any SPL token can get its own deterministic ERC-20 on Base via a factory contract, and Base tokens can likewise be deployed on Solana.

THE THIRD PILLAR OF DIGITAL GOLD

Privacy represents the third pillar of digital gold alongside Bitcoin's sovereignty and Ethereum's programmability, and Zcash is positioned as the underpriced rallying point for private money that could activate self-reinforcing incentive mechanisms virally spreading cypherpunk ideals. ZEC pioneers created foundational ZK innovations like Sonic and Halo that enabled Ethereum's first rollup prototype, Ignis, built on Zcash's Bellman code seven years ago. Naval's thesis frames Bitcoin as "insurance against fiat" and ZCash as "insurance against Bitcoin."

A WORLD OF 1,000 STABLECOIN NEOBANKS

The current explosion of “stablecoin neobanks” isn't happening because we suddenly got brilliant product ideas, but because infrastructure has gotten good enough that anyone can stitch together a bank-like app. These apps lean on a tiny set of centralized providers and optimize for perks instead of reliability. When any of those infra providers fail, the neobank breaks, trust evaporates, and users retreat back to CEXs and TradFi. We don't need 1,000 flashy stablecoin banks that “usually” work, we need one built on rock-solid, redundant infra that always works.

TOKENIZED DEPOSITS VS STABLECOINS

The Tokenized deposits vs. stablecoins debate is a false fight as banks create credit, stablecoins move money, and the future system needs both. Tokenized deposits keep corporate funds inside banks so they can borrow cheaply against them, while stablecoins are fully reserved, cash-like dollars that can move permissionlessly, 24/7, across borders. The real unlock is on-chain interoperability. Instant swaps between bank deposits and stablecoins so a company can tap cheap bank credit and pay anyone globally in seconds. In this framing, deposits = regulated credit rails, and stablecoins = universal settlement rails.

BITMINE PUSHES TOWARD 5% OF ETH SUPPLY

BitMine now holds 3.86M ETH (~3.2% of total supply) plus ~$1B cash.

BINANCE POST CONFIRMS INSIDER TRADING SCANDAL, SENDS MEMECOIN HIGHER

Binance says an employee abused access to official social media accounts to shill a just-launched meme coin seconds after it was created on BNB Chain.

MESSARI & THE INSTITUTIONALIZATION OF CRYPTO DATA

Messari started in 2018 to make crypto projects more transparent through standardized reporting and analytics.

YIELD BASIS ACTIVATES FEE SHARING

Yield Basis activated its fee switch and distributed 17 Bitcoin worth $1.6 million to tokenholders over four weeks after accumulating $130 million in deposits since September.

THE NEW CNBC LOGO IS ALREADY CONTROVERSIAL

CNBC is set to retire its iconic peacock logo in favor of a minimalist wordmark with a fused N and B and a blue upward arrow, reflecting the network's financial focus and design language. The redesign, launching December 15, has sparked criticism for appearing disjointed, personality-free, and confusing. It has been compared to controversial rebrands like Cracker Barrel and the GAP logo, highlighting the risks of extreme minimalism in logo design.

ADOBE AND AMAZON FORGE DEEPER AI PARTNERSHIP TO TRANSFORM CREATIVITY

Adobe and Amazon are deepening their partnership. AWS infrastructure will be used to power AI features across Adobe Express, Acrobat Studio, and Firefly. The collaboration extends to marketing through Adobe Experience Platform on AWS and GenStudio integration with Amazon Ads, enabling faster campaign launches and real-time customer personalization. Both companies are also developing autonomous AI agents through Amazon Bedrock AgentCore to manage content creation and marketing workflows independently.

AI FINDS ITS WAY INTO APPLE'S TOP APPS OF THE YEAR

Apple has announced its 2025 App Store Award winners. Visual AI planner Tiimo was named iPhone app of the year, and Pokémon TCG Pocket won iPhone game of the year. While Apple avoided naming a dedicated AI app or chatbot as the top winner, AI features were prominent across several honorees, including iPad app Detail's auto-editing and Apple Watch app Strava's workout insights. The 17 winners span iPhone, iPad, Mac, Vision Pro, Apple Watch, Apple TV, and Apple Arcade categories, plus Cultural Impact awards for apps that promote inclusivity and offer helpful tools.

HOW TO REDUCE COGNITIVE LOAD IN UX

Reducing cognitive load in UX isn't about oversimplifying complex interfaces. Expert software must match real-world complexity to be effective. Designers should break tasks into smaller steps, avoid forcing users to remember information across screens, and support decision-making through chunking options and clear labeling. The key is understanding how users actually work with a product rather than judging interfaces by appearance alone.

DESIGN TOKENS GOVERNANCE

Design tokens require careful governance since designer-led approaches preserve brand intent but may miss technical constraints, while developer-led approaches optimize for performance but can lose design meaning. The biggest challenge is keeping design tools and code in sync, mainly when emergency fixes, platform-specific adjustments, or technical constraints create a gap between what designers envision and what ships in production. A bidirectional sync strategy using CI/CD pipelines, drift detection, change classification, and regular audits can help mature teams maintain consistency while letting each side work in their preferred tools.

WHY YOU NEED DESIGN MATURITY IN A PRODUCT ORGANISATION, AND HOW TO GET IT

Design maturity is key for high-performing product organizations, enabling them to navigate uncertainty and create future value rather than just manage usability. Narrowly focused design limits creativity and strategic impact, while mature design surfaces opportunities, translates insights into experiences, and complements product management, engineering, and other disciplines. By involving design early and strategically, teams can explore multiple futures, iterate effectively, and operate as adaptive, innovative systems capable of shaping what comes next.

INSTANT DESIGN CRITIQUE

Get instant critique from 10 AI personas spanning 100 common design pitfalls.

EXCEPTIONAL PORTFOLIOS

A curated collection of the best portfolios, from indie creatives to world-class studios. Updated regularly to keep your inspiration fresh.

8-BIT STYLED COMPONENTS

8bitcn is an open source set of 8-bit styled components and a code distribution platform.

USABILITY TESTING PROCESS EXPLAINED IN COMIC STRIPS

Jakob Nielsen created three comic strips using Nano Banana Pro to illustrate his systematic 12-step usability testing process, applying it to different product types: a plant care app, a grocery e-commerce site, and a toaster. Each strip uses a distinct visual style—from the default comic style to a realistic digital airbrush approach with character sheets, to a children's comic featuring animal characters. Nielsen recommends following all 12 steps for teams new to user research, though experienced teams may shorten some steps depending on their project.

PUBLIC DESIGN SYSTEMS ARE WORTH IT

Public design systems serve as a "marketplace of ideas" that benefits the entire community, with each shared system raising the bar and helping others learn. Closing these systems is shortsighted, as public visibility acts as a quality forcing function, aids recruiting, boosts team morale, and trains future designers. Despite the challenges of maintaining public systems, the trend toward privatization threatens a valuable shared resource that the design systems community has taken for granted.

THINGS I REPEAT OFTEN ENOUGH ABOUT SURVEYS THAT IT WAS TIME TO WRITE THEM DOWN

Well-designed surveys are powerful research tools when done thoughtfully, but they require practice and attention to the respondent's experience. Avoid asking for information you already have, unnecessary or required questions, ambiguous phrasing, lengthy or matrix-style questions, and predictions about future behavior. Always explain the survey's purpose, write clearly and conversationally, provide inclusive and edge-case answer choices, and include a catch-all question for additional insights. Surveys work best to signal trends, recruit people for deeper research, and foster team collaboration, rather than as a replacement for direct user engagement.

WHY DO APPLE DESIGNERS KEEP LEAVING?

Apple's head of UI design, Alan Dye, the executive behind Liquid Glass, is reportedly leaving to join Meta.

PANTONE'S 2026 COLOR OF THE YEAR FINALLY ADMITS WE'RE ALL EXHAUSTED

Pantone's 2026 Color of the Year, Cloud Dancer, is a soft white that acknowledges widespread cultural exhaustion rather than pushing aspirational energy like recent selections.

developers down. The latest Docusign for Developers release

simplifies agreement processes, surfaces insights, and helps developers deploy faster.

REACT ROUTER'S TAKE ON REACT SERVER COMPONENTS

React Router is introducing experimental support for React Server Components (RSC), which improves performance by allowing UI to be rendered on the server. Developers can now return pre-rendered UI directly from loaders or make entire routes server components, reducing client-side hydration and payload size. The integration also supports server functions for component-level data mutations and client components for interactive elements.

93% FASTER NEXT.JS IN (YOUR) KUBERNETES

Watt made Next.js 93% faster in K8s (182ms → 11.6ms) by ditching PM2's ~30% IPC tax and letting the Linux kernel distribute connections directly via SO_REUSEPORT. Traditional approaches aren't great because PM2 adds coordination overhead, and single-CPU pods can't self-heal when their event loop gets blocked.

HOW EXCHANGES TURN ORDER BOOKS INTO DISTRIBUTED LOGS

Order books are distributed logs of market events. This architecture guarantees fairness through deterministic ordering. Modern exchanges behave like ultra-low-latency log processors. The sequencer defines the timeline, the matching engine reduces that timeline into a book, and replication keeps the log durable without slowing the fast path.

HAS THE COST OF BUILDING SOFTWARE JUST DROPPED 90%?

Agentic coding with AI is poised to drop the cost of building software by up to 90%. This reduction is due to AI agents automating traditionally labor-intensive tasks like testing, API development, and infrastructure setup, reducing implementation time and project overhead. This shift is expected to increase latent demand for software.

DEPRECATIONS VIA WARNINGS DON'T WORK FOR PYTHON LIBRARIES

urllib3 v2.6.0 contained removals for several APIs that have been known to be problematic since 2019 and have been deprecated since 2022. The deprecations were marked in the documentation and changelog, but the team still received feedback that the removal was unexpected and was breaking dependent libraries. This incident makes it clear that DeprecationWarning in its current state doesn't work for deprecating APIs, at least for Python libraries.

Start with a free YugabyteDB account

VIBESDK

Cloudflare VibeSDK is an open-source, full-stack AI web application generator that allows users to create and deploy applications using natural language prompts. It has AI code generation with error correction, live previews in sandboxed containers, interactive chat, and one-click deployment to Cloudflare Workers for Platforms.

MERMAID TO MOTION

Fanfa is a tool that turns Mermaid into a cinematic SVG animation. Users can choose from several themes, edit arrow types, and control the animation speed. They can then export the diagram as a PNG, SVG, or PDF document. A live, editable example is available on the site.

THE HIGHEST QUALITY CODEBASE

This developer ran an experiment where they looped an agent over a codebase for 36 hours to see what it did. The experiment resulted in more code to be maintained, most of it largely useless. The agent added tons of tests, but removed the tests that mattered the most. The resulting app still worked, but with a few new bugs.

A BRIEF HISTORY OF SPECIFIERS AND PROTOCOLS

Node.js introduced the node: protocol in 2021. Deno intro dude https imports in 2018, and then the npm: protocol in 2022. Deno then introduced package.json support in 2023 and the jsr: protocol in 2024. Also in 2024, Deno started moving away from HTTP imports. The current landscape is a messy state of affairs.

GOAL SETTING FOR PRODUCTIVE ENGINEERS

Engineers often struggle to achieve long-term career goals due to chaotic work environments. To combat this, this article proposes two goal-setting approaches: top-down goals for clear outcomes and bottom-up "tiny experiments" for ambiguous situations.

compromise to quality. Check out TestNitro by QualityLogic

IBM TO ACQUIRE CONFLUENT

IBM is acquiring Confluent in an all-cash deal for $31.00 per share to unify enterprise data and scale AI across organizations by using Confluent's real-time data streaming platform.

SCALA 3 SLOWED US DOWN?

Libraries can behave very differently between Scala versions, especially when they rely on meta-programming.

MICROSERVICES SHOULD FORM A POLYTREE

To avoid the common complexities and failures of microservices, dependency structures should form a "polytree,” a directed acyclic graph whose underlying undirected graph is a tree, to guarantee clear ownership, predictable behavior, and easier system evolution.

Download the free eBook