Abstract, the Ethereum layer-2 built by Pudgy Penguins parent Igloo Inc., announced it will cease operations on Dec. 15, 2026, giving more than 144 deployed apps roughly two months to migrate. Users must move funds via Abstract's Migration Hub or Native Bridge, which has a three-hour delay, and any funds not bridged by the deadline will be lost. Igloo CEO Luca Netz said the company spent tens of millions over two years without achieving product-market fit.
techreport.com
· 2026-10-09
An LWN.net article recounts a talk explaining why undefined behavior exists in C and how the language's standard, dating back to C89, was built around an abstract machine model to accommodate diverse historical hardware. The speaker outlined C's enduring strengths—portability, fast compilation, predictable binaries—while detailing how the standard only guarantees 'observable' behavior, leaving much else open to compiler implementers.
lwn.net
· 2026-10-09
Gleam version 1.19.0 introduces a new Erlang code generator that outputs Erlang abstract forms instead of source code. This change enhances build performance, improves metadata accuracy for debugging, and raises code quality standards within the compiler. The update reflects a significant shift in how Gleam integrates with the Erlang ecosystem, focusing on efficiency and precision.
gleam.run
· 2026-10-06
A user posted an 'Ask HN' thread soliciting recommendations for research paper abstracts that readers found memorable or well-written. The poster explained they want inspiration for writing a compelling introduction to their own paper rather than a generic one.
news.ycombinator.com
· 2026-09-24
At Black Hat USA, security researcher Chris Domas told David Bombal that compilers can legally strip out security-critical operations like memory-clearing code, even when source code follows best practices. He demonstrated how subtle factors such as data size, register pressure and structure layout can determine whether an optimized binary is safe or exploitable, with some byte sizes producing secure code and nearby sizes producing vulnerable output.
davidbombal.com
· 2026-09-12
While formalizing Dummit and Foote's algebra textbook in the Rocq proof assistant, a Recurse Center participant found that the book's first proof exercise—claiming a function is injective if and only if it has a left inverse—fails when the domain is empty and the codomain is not. In that case the empty function is vacuously injective but has no left inverse, since no function can map from a nonempty codomain to an empty domain. The author later confirmed the issue is already listed in the book's published errata.
kallus.org
· 2026-09-04
GoKawiil