Stories by luu

The Yices SMT Solver

Understanding JavaScript Event-based Interactions

CVC4: the smt solver

Alloy: a language and tool for relational models (2012)

Polynomial Time and Extravagant Models

Why the web sucks (1995)

On Quantum Computing (2005)

Intel Introduces Custom Cloud Chip

FPGA Based POCSAG Decoder

New scientific markup language

The JSR-133 Cookbook for Compiler Writers

Disrupting the Data Center to Create the Digital Services Economy

Intel will offer a customizable chip to keep data center clients happy

Study Asserts Startling Numbers of Insider Trading Rogues

Energy Efficient Semiconductor and Computing Technology

Most claimed research findings in financial economics are likely false

3D Printing in the Classroom

Selection of the Advanced Encryption Standard

Runaway Starter

Rotor: open source embedded multi-core processor