About LPython is a Python compiler that can compile type-annotated Python code to optimized machine code. LPython offers several backends such as LLVM, C, C++, WASM, Julia and x86. LPython features quick compilation and runtime performance, as we show in the benchmarks in this blog. LPython also offers Just-In-Time…
The Database Toolkit for Python
Web components can dramatically loosen the coupling of JavaScript frameworks. To prove it, we're going to do something kinda crazy: build an app where every single component is written in a different JavaScript framework.
In which I tell you that you're overcomplicating things and you should throw everything behind a single git repository.
It is no secret that I am not a fan of logs; I’ve baited (rapala in work lingo. Rapala is a Finnish brand of fishing lure, and used to mean baiting in this context) discussion in our work chat with things like: If you’re writing log statements, you’re doing it wrong. This is a pretty incendiary statement, and while…
Here's a quick tip on how to manage multiple Git identities (e.g. personal, work, client1, client2).
Why I joined my company's CI team to fix Jenkins, the two options we weighed, and what I learned about developer-productivity work.
Polly the Frog by ...
Island management is a fundamental low level feature of physics engines and can have a big impact on solver design and performance. This was one of the first problems I decided to work on for Box2D version 3 (v3). Since I began working on v3 I’ve been comparing several algorithms for island management. My goal has…
A fully commented disassembly of Video Chess
A discussion of the minimal version of Make included in 'The AWK Programming Language', as well as a Python port of the AWK program.
I was curious to explore how long a program takes to run, how much memory is used over time, and what processes/threads are spawned. To provide answers I wrote a tool, which I named st . Here are a few things I looked into.
From the Zed Blog: A deep-dive into the graphical underpinnings of GPUI, the hardware-accelerated framework that powers Zed's user interface.
The official home of the Erlang Programming Language
Early in my research career, I had a chance to work with some of the best system researchers1 in the world on a number of really interesting system designs. One of the enjoyable aspects of research was the particular process used by researchers (particularly in the SOSP/OSDI community) to come up with novel yet…
Push notifications were standardized in 2016 with the release of the Push API and the Notification API, which are part of the W3C's Web Applications Working Group. These APIs provide the necessary functionality for web developers to incorporate push notifications into their web applications and for users to receive…
Recently, I found myself returning to a compelling series of blog posts titled Zero-cost futures in Rust by Aaron Turon about what would become the foundation of Rust’s async ecosystem and the Tokio runtime. This series stands as a cornerstone in wri…
The Internet is the first thing that humanity has built that humanity doesn’t understand, the largest experiment in anarchy that we have ever had.
From the PyTorch Lightning creators. Own your AI, don't rent it. Lightning is the AI cloud to build, train, and deploy your own models on 36,000+ NVIDIA GPUs.
Should you be scared of Unix signals?
Andy Pavlo - Carnegie Mellon University,
Little things you'll notice and need to learn when learning Zig
There's more than one way to write an IP address: decimal, hex, octal, overflowed octets and omitted zeroes all resolve to the same host. A fun trick to mess …
Early stage technology decisions must be, uncomfortably, a means to an end.
