PyPy v5.8 released
The PyPy team is proud to release both PyPy2.7 v5.8 (an interpreter supporting Python 2.7 syntax), and a beta-quality PyPy3.5 v5.8 (an inte...
Every blog post that took off on Hacker News, ranked by the votes of its best submission. 21,834 posts.
The PyPy team is proud to release both PyPy2.7 v5.8 (an interpreter supporting Python 2.7 syntax), and a beta-quality PyPy3.5 v5.8 (an inte...
Async/await, or "async IO", is a new-ish Rust added async/await in 2019. For comparison, C# added it in 2012, Python in 2015, JS in 2017, and C++ in 2020. language feature that lets our programs do more than one thing at a time. It's sort of an alternative to multithreading, though Rust programs often use both…
After immersing oneself in a research area for several years, it’s easy to feel like the heir to a way of looking at the world that is criminally underrated: why don’t more people want what I want? This can be a useful motivation, but it can also lead to ignoring the changing context in which most research sits. So…
When I read that Google is forcing developers to migrate from Google Sheets API v3 to v4, I was mad. Here's why.
Division is quite an expensive operation. For instance, latency of the 32-bit division varies between 10 and 15 cycles on the Cannon Lake CPU, and for Zen4 this range is from 9 to 14 cycles. The latency of 32-bit multiplication is 3 or 4 cycles on both CPU models.
My March 2011 developer income report is here. As you will see there are no much changes but the eBook sales (one more time thank you to all of you for your great feedback!). As promised to those w…
Leonardo de Moura — Creator of Lean and Z3
My main project is to create an executable spec of the Intel Architecture but, every now and then, I get to take a broader look at ISA specifications and think about the strengths and weaknesses of other ISA specs: what makes them work well; and what techniques they could borrow from other specifications. Earlier this…
What did you do at work today? How about last week? I spent a couple of days in quarterly business reviews, and wrapped up yearly planning activities for AWS Data Exchange and AWS Marketplace. I also added some unit tests to a project that I am onboarding into.
I’m pleased to announce the availability of the first release of SIMD Everywhere (SIMDe), version 0.5.0, representing more than three years of work by over a dozen developers.
Rocket is a web framework for the Rust programming language that makes it simple to write fast web applications without sacrificing flexibility or type safety.
In this article we take performance of the SSD300 model even further, leaving Python behind and moving towards true production deployment technologies: TorchScript, TensorRT and DeepStream. We also identify and understand several limitations in Nvidia’s DeepStream framework, and then remove them by modifying how the…
Today, we are excited to open several repos on GitHub, and invite everybody to join us on GitHub.
Diesel (http://diesel.rs) is an ORM (Object-relational mapper) and Query Builder written in Rust. It supports Postgresql, Mysql and SQLite…
Cyrille Rossant's small ray-tracer is an nice self-contained Python program (using NumPy) that renders this 400×300 image in about 15 seconds on a fast PC:
A detailed analysis of our iterations to implement a Parser for Postgres
Learn about rate limiting algorithms with interactive apps, including Token Bucket, Leaky Bucket, Fixed Window, and Sliding Window methods
I imported the entire Linux kernel git history into pgit's PostgreSQL-backed storage. 1,428,882 commits, 24.4 million file versions, 20 years of development. Here's what the kernel looks like when you can just ask.
We've put together an index of testing terms and articles, covering many of the basics of testing and definitions for common searches.
Meteor, say hello to cross-platform native app-development. Qt, say hello to a modern, reactive web back-end. TL;DR You can write a nativ...
TL;DR I wrote a .NET library that can compile C/C++ code into a byte code that it can also interpret. It is used in my app iCircuit to simulate Arduinos. You can use it yourself with the nuget package CLanguage.
UPDATE July 2021: 6 years later, there’s a game and also an updated explainer video .