Algebraic Effects are a useful abstraction for reasoning about effectful programs by letting us leave the interpretation of these effects to callers. However, most existing literature discusses these in the context of a pure functional language with pervasive sharing of values. What restrictions would we need to…
Deploying modern web apps – with all the provisions needed to be fast and secure while easily updateable – has become so hard that many developers don’t dare do it without a PaaS (platform-as-a-service). But that’s ridiculous. Nobody should have to pay orders of magnitude more for basic computing just to make…
CVE-2023-6927 Keycloak vulnerability allows bypassing redirect URI validation which can be used as a vector for stealing authorization codes, access tokens and be used to redirect victims to arbitrary hosts.
In this post we take you on a walkthrough on how you can use DataFusion to build your own developer experience for databases.
As is probably apparent from the sequence of blog posts about the topic in the last year, I have been thinking about and working on integer optimizations in the JIT compiler a lot. This work was mainl
Since 2008, over a hundred billion apps have been downloaded from Apple’s App Store onto users’ iPhones or iPads. However, the technology and tools powering the mobile “app revolution” are not themselves new, but rather have a long history spanning over thirty years, one which connects back to the beginnings of…
We've been building a bridge from React Router to Remix, and we made it so good that we're going to merge the two projects.
Didn't even make it out of the gate.
The OpenMP ARB is pleased to announce Version 6.0 of the OpenMP API Specification, a major upgrade of the OpenMP language.
Rama is a platform with huge applicability, able to express all the computation and storage for a backend at any scale. Just like the UNIX philosophy of composing simple programs to do more complex…
Designing a notebook that can be shared as an app, run as a script, versioned with git, and more
I spent the last week looking for a memory leak in Postgres’s WAL Sender process. I spent a few days getting more acquainted with Valgrind and gcc/clang sanitizers, but ultimately got nowhere useful with them. Finally, I stumbled on the memleak program from the bcc tools collection which led me right to the source…
In this article we discuss the complexity of introducing concurrent operations on the client wuthout causal ordering on the server.
The official blog for the Vue.js project
This post gives a beginner’s introduction to Chapel’s GPU programming features
One of the interesting aspects of a concatenative language like Factor is that blocks of logic can be easily extracted and easily reused since they apply logic to objects on the stack .
How do git worktrees help you work on more than one branch at the same time, and how does that differ from virtual branches in GitButler?
Gather round the fire to hear the tale of how we built migration for stateful apps on a global public cloud without building a SAN.
Grab your biggest mug of coffee and learn how the open-source programming language Rust supercharges our development time of the breakthrough Sonair 3D ultrasonic sensor. Claim to fame: Sonair is on track to be among the first to deploy a safety-certified Rust implementation.
A comprehensive look at the design of Polar, and how we enabled it to operate over distributed data.
"Type-driven development"
We announced JMAP 10 years ago, here is an update on its progress
Twice per year I co-host the Lisp Game Jam: a 10-day game jam where participants create small games in their favorite Lisp dialect. Unlike classic game jams like Ludum Dare, which have an intensive 2-3 day long duration, the Lisp Game Jam is much more casual and spans two whole weekends to give busy people (most of…
F# is not just for math and big data, it's a general purpose language that will greatly reduce the amount of bugs in your code.
Download the latest releases of Zed, or view the changelog.
This document presents new time-based UUID formats which are suited for use as a database key. A common case for modern applications is to create a unique identifier for use as a primary key in a database table. This identifier usually implements an embedded timestamp that is sortable using the monotonic creation time…
An Architect model describes how to solve the coding problem, and an Editor model translates that into file edits. This Architect/Editor approach produces SOTA benchmark results.
