Search posts, papers, and topics
Hall of FameEdsger W. Dijkstra19681 min read
Edgar Dijkstra: Go To Statement Considered Harmful 1 Edgar Dijkstra: Go To Statement Considered Harmful Edgar Dijkstra: Go To Statement Considered Harmful 2 Aus: Communications of the ACM 11, 3 (March 1968). 147-148
A philosophical essay warning against attributing welfare or rights to LLMs, citing recent incidents, alignment research, and ethical debates, but offering no concrete engineering guidance.
Mustafa Suleyman warns against treating AI models as if they have feelings or rights, arguing that such thinking hinders alignment work. The quote cautions against model‑welfare narratives.
Typed Domain Grounding (TDG) embeds a DSL inside a mainstream language the LLM already knows (e.g., Kotlin) and uses the host compiler as an oracle. The author describes five building blocks—embedding, choosing a host language with high training‑data frequency, compiler‑driven type safety, a generate‑compile‑repair loop, and an on‑demand teaching tool—and shows measured results from kUML, a Kotli…
RiskChainBench is a new benchmark that pairs synthetic obfuscated message restoration inputs with human‑labeled local web environments, requiring models to both decode malicious instructions and investigate the linked site. Across ten models, restoration accuracy varies widely and web‑agent failures dominate the error budget.
Suspected sabotage involving pipes and cables placed on Dutch railway tracks caused the control system to think trains were present, halting traffic and disrupting major routes. Over 35 incidents affected central and northern Netherlands, leading to cancellations but no accidents, and a criminal investigation is underway.
