We describe a full implementation of algebraic effects and handlers as a library in standard and portable C99, where effect operations can be used just like regular C functions. We use a formal operational semantics to guide the C implementation at every step where an evaluation context corresponds directly to a…
Propositional logic was discovered by Stoics around 300 B.C., only to be abandoned in later antiquity and rebuilt in the 19th century by George Boole’s successors. One of them, Charles Peirce, saw its significance for what we now call logic circuits, yet that discovery too was forgotten until the 1930s. In the ’50s…
Posted by Michael Ringgaard, Software Engineer and Rahul Gupta, Research ScientistUntil recently, most practical natural language understanding (NL...
If and when you emerged from your happiness bubble to read the news, you’ll have seen (at least if you live in the US) that the cruel and reckless tax bill has passed the House of Representat…
Regulators in China imposed a blanket ban on ICOs over the long weekend. A number of people have reached out to me via email and Twitter asking me what I think about this. I think regulation of ICOs is inevitable and a good thing if done right (ie lightly). The SEC’s comments on ICOs back […]
This chart from eMarketer really brings it home. We have a digital advertising duopoly. The difference between second and third place is massive. I don’t want nor do I expect any governmental response to this market failure. I want to see the technology industry adopt new approaches to monetization, ideally not…
When is the output of a copyright-protected software program itself protected by copyright? This is a case of first impression for any court of appeals which is pending at the Ninth Circuit. The case is Design Data Corporation v. Unigate Enterprise, Inc., 14-16701. On 17 October, 2016, counsels for both parties…
This experiment was inspired by a light-hearted argument with my wife, a stylish but atrocious water filter, and the explosion of start-ups attempting to turn everything you purchase into a subscription service.
Docker is a founding member of the Blueprint Alliance, a 12-company reference architecture for securing AI agents, built around four governance questions.
It ain’t what you don’t know that gets you into trouble. It’s what you know for sure that just ain’t so. - Mark Twain
This paper was published in the American Mathematical Monthly 102 (1995), 139-154.
There are striking similarities between Microsoft today and IBM in the Lou Gerstner era, but today’s IBM should be a warning to Redmond.
Ideas and perspectives from Bird on communications, AI agents and the work of making business radically simpler.
This post covers essentially the same material as a 5-minute presentation I gave at RC .
This post is a slightly edited version of my November presentation to the San Francisco chapter of Papers We Love.
Ever since the original iPhone came out, I’ve had several ideas about how they managed to achieve such fluidity with relatively mediocre hardware. I mean, it was good at the time, but Android still struggles on hardware that makes that look like a 486… It’s absolutely my fault that none of these have been implemented…
Visit the post for more.
Making Photos Smaller Without Quality Loss Stephen Arthur, Software Engineer Jun 1, 2017 Yelp has over 100 million user-generated photos ranging from pictures of dinners or haircuts, to one of...
I wrote a todo app. Unlike TodoMVC (where I took the design from) it doesn’t use JavaScript and instead all interactions are driven by CSS.
Babylon.js is an open source framework that allows you to create stunning 3D experiences in your browser. Built with simplicity and performance in mind, it is the engine that fuels the Remix3D site or the Xbox Design Lab. Today, I’m thrilled to announce the availability of Babylon.js’s biggest version ever: Babylon.js…
Some of my favorite practices and ideas from almost four years at Heroku.
There was a shocking moment in this week’s Senate Commerce Committee hearing on the Stop Enabling Sex Traffickers Act (SESTA). Prof. Eric Goldman had just pointed out that members of Congress should consider how the bill might affect hundreds of small Internet startups, not just giant companies...
In 2017, the toolbox for making sure your web page loads fast includes everything from minification and asset optimization to caching, CDNs, code splitting and tree shaking. Understanding what goes ...
Over the years we’ve heard from Google News users that our efforts to label stories ranging from local to satire to user-generated have helped expand their view of what …
Herewith some reportage on the most interesting cameras in the world, with opinions to provoke er entertain people who are up on this stuff, and a basic survey of the landscape for people who like pictures and wonder about cameras.
