Skip to content
TILens What matters today in tech v0.3.0
Theme

Daily edition · Languages

The daily ledger

TILens turns technical updates into a focused daily brief: official releases, trusted reporting, and practitioner analysis, deduplicated and organized by topic.

20 Jul 2026 edition

19 articles · 7 sources ·

Top topics: JavaScript · Web · React

Rust

Two-way vs. one-way unification when resolving traits

I'm trying to understand how trait resolving in the code below works: enum Wrap<T> { W, WithVal(T), } struct Alt; trait Two<B> {} impl<T> Two<T> for Wrap<T> {} fn f<P, Q>(p: P, q: Q) where P: Two<Q> {} fn main() {…

Source: Rust Internals Forum osa1
Python

PEP 841: Adding Frozen Syntax to Make Immutable Types Optimizable

Hi all, @sobolevn and I would like to propose PEP 841, which adds frozen display syntax: f{1, 2, 3} creates a frozenset and f{'a': 1} creates a frozendict. Why we think Python needs this: frozenset and frozendict are…

Source: Python PEPs Donghee Na
OCaml

Notes from week 29

I was on holiday for most of week 29, so just a few high-priority issues to report on.

Source: OCaml Planet Mark Elvers

Mini-workers - Ship 26 NYC Workshop

How do you go from user code you've never seen and don't trust to tools an agent can call safely? Recorded live at Vercel Ship 2026 in New York City, Jonathan Clem (Software Engineer, Notion, previously GitHub Actions)…

Source: Vercel Vercel

Opening Keynote - Ship 26 NYC

Over half of all deployments on Vercel now come from coding agents, and increasingly, those agents are shipping agents of their own. Recorded live at Vercel Ship 2026 in New York City on June 30, this keynote introduces…

Source: Vercel Vercel