Programming Languages — Entidade

engrxiv.org·há 2 dias

Executable but Wrong: Verifier-Grounded Contracts and Counterexamples for LLM-Generated Music Programs

A generated program can compile, execute, and still be wrong in the only way its user cares about. This is common in creative domain-specific languages: the artifact is partly subjective, yet requests

wadler.blogspot.com·há 3 meses

Smaller, cheaper Plutus scripts with the UPLC command-line tool

If you want to see a use of Agda in real life, to provide certificates validating the correctness of compiler passes, check out this blog post from my colleague Ziyang Liu at Input Output. A simplifie

softwaremill.com·há 4 meses

Adapter Pattern in Rust: Overcoming the Orphan Rule with Newtype and Extension Traits

Some time ago, we were talking about the Newtype pattern in the Rust programming language. For that pattern, we used a single-field tuple struct to either alter the inner type semantics or to hide the

wadler.blogspot.com·há 4 meses

Wet Sidewalks and Odd Numbers

Phil Crissman explains Propositions as Types with a dialogue between Achilles and the Tortoise, in the style of Douglas Hofstadter (who in turn was inspired by Lewis Carrol). Lambda Man makes an appea

newsroom.eclipse.org·há 11 meses

Why Bloomberg Chose Vendor-Neutral Java Over Big Tech

Bloomberg's move to Eclipse Temurin shows why foundation governance and vendor independence matter more than ever in enterprise open source strategy.

anil.recoil.org·há mais de 1 ano

About | Anil Madhavapeddy

Professor Anil Madhavapeddy's research combines computer science and conservation at the University of Cambridge

wadler.blogspot.com·há mais de 2 anos

Wadler's Blog: May 2024

I'm looking forward to speaking in Lisbon. On June 4, Professor Philip Wadler will give an INESC-ID Distinguished Lecture organized in the scope of the BIG ERA Chair Project, titled “(Programming Lan

wadler.blogspot.com·há mais de 2 anos

INESC-ID Distinguished Lecture, Lisbon

I'm looking forward to speaking in Lisbon. On June 4, Professor Philip Wadler will give an INESC-ID Distinguished Lecture organized in...