GoKawiil
Tech News
A developer released lambda-microegg, an e-graph library extending Max's microegg with built-in variable binders, higher-order Miller pattern matching, and capture-avoiding substitution. The tool is available on GitHub along with a WebAssembly browser demo, and includes example benchmarks such as sum-rewrite rules and AC-10 saturation tests compared against the existing egg library.
A developer released AttaLambda, a small experimental programming language whose core computation is built purely from unary functions and application in untyped lambda calculus. It layers on readable syntax, exact rational number support, and runtime type checks, while keeping input and output handled through a separate host boundary.
A developer describes building two lightweight 'modes' inside Spotify's Portal platform to offload routine, low-reasoning coding tasks—like reading multiple files or generating repetitive test files—from Claude Code to a cheaper model, Gemini 2.5 Flash. The setup required no infrastructure, API keys, or new subscriptions, just declarative agent configurations run on Portal's serverless-style runtime, and reportedly slashed token usage by 90%.
The BESIII Collaboration measured the decay of lambda hyperons, in which a strange quark converts into an up quark, by exploiting quantum entanglement between the particle and its antimatter counterpart to 'tag' the event. This technique allowed them to determine a decay parameter that had eluded precise measurement for 35 years, and their result matches predictions from established physics theory.
AI cloud provider Lambda has secured $1 billion in private, short-dated debt arranged by JP Morgan Chase to purchase Nvidia AI chips it plans to lease to Microsoft, according to Bloomberg. This follows a $1 billion secured credit facility Lambda closed in May and a $926 million loan this week for Nvidia GB300 GPUs tied to a separate contract with Nvidia itself.