1381
Metal for IntelliJ Platform
As you may already know, Apple deprecated the OpenGL rendering library in macOS Mojave and provided the Metal framework as a replacement. Metal better reflects the shift in CPU/GPU performance that ha
1382
What Is the Minimal Set of Optimizations Needed for Zero-Cost Abstraction?
Robert O'Callahan. Christian. Kiwi. Software guy. All content human-authored unless otherwise noted.
1383
Tools I use: argparse builder
argparse builder is a web based graphical interface for quick creation of the argparse commandline switches for your python scripts.
1384
1385
Rust for JavaScript Developers – Pattern Matching and Enums
Part 4 covers pattern matching, destructuring, and enums
1386
1387
Computation Graphs and Graph Computation
Research has begun to reveal many algorithms can be expressed as matrix multiplication, suggesting an unrealized connection between linear algebra and computer science. I speculate graphs are the missing piece of the puzzle. Graphs are not only useful as cognitive aides, but are suitable data structures for a wide…
1388
Everything Is an X
Analysis and examples of the popular high-level pattern of making all the things in your system conform to a common interface.
1389
Types as axioms, or: playing god with static types
A common perspective is that types are restrictions . Static types restrict the set of values a variable may contain, capturing some subset of the space of “all possible values.” Under this worldview, a typechecker is sort of like an oracle, predicting which values will end up where when the program runs and making…
1390
Three Types of Data
In my work I’ve developed a mental framework related to data modeling, which has helped greatly both when coming up with a model and when making decisions down the road about how to use that model. Here I will establish three different categories of data in software: Constants, State, and Cached Values. By “data” I…
1391
1392
Does C++ still deserve a bad rap?
Traditionally C++ has been seen by many (and you know who you are) as just plain bad: the code is unreadably verbose, error messages are und...
1393
The lack of namespaces on crates.io is a feature
Rust doesn’t have namespaces in its package management system. It’s often viewed as a bug. But it’s not a bug, it’s a feature! While there are negative aspects of a flat package registry, there are also real benefits. Stability, continuity, and unity (discourages forks and fragmented identity)…
1394
Computer science is not software engineering
Wow, college was such a waste of time ... when did you ever invert a binary tree outside of an interview? Honestly I never inverted a binary tree in college either ☹️
1395
In CPython, types implemented in C are part of the type tree
You're probably reading this page because you've attempted to access some part of my blog (Wandering Thoughts) or CSpace , the wiki thing it's part of. Unfortunately you're using a browser version that my anti-crawler precautions consider suspicious, most often because it's too old (most often this applies to versions…
1396
PEP 638 – Syntactic Macros
This PEP adds support for syntactic macros to Python. A macro is a compile-time function that transforms a part of the program to allow functionality that cannot be expressed cleanly in normal library code.
1397
1398
Writing a DSL in Lua (2015)
DSLs, or domain specific languages, are programming languages that are designed to implement a set of features specific to a particular problem or field. An example could be Make , the build tool, which is a specially designed language for combining ...
1399
A New Back End for Cranelift: Instruction Selection
This post is the first in a three-part series about my recent work on Cranelift as part of my day job at Mozilla. In this first post, I will set some context and describe the instruction selection problem. In particular, I'll talk about a revamp to the instruction selector and backend framework in general that we've…
1400
Ruby adds experimental support for rightward assignments
Previously ruby used to support only Rvalue to be assigned to Lvalue. Now, it adds support for Rightward assignment
1401
My Beef with RuboCop
Consider a hypothetical class that filters out unsafe HTML elements:
1402
The Slippery Slope of Docker Dev Environments
Explore the pros and cons of Docker for local development and learn how to set up a developer-friendly, container-based workflow. Perfect for DevOps enthusiasts and developers!
1403
1404
Forcing Functions in Software Development
Here’s an unavoidable fact: the software project you’re working on has some flaws that no one knows about. Not you, your users, nor anyone in your team. These could be anything from fau…
1405
Typed Lisp, a Primer (2019)
Exploring Lisp's fine-grained type hierarchy.
1406
GitHub CLI allows you to close, reopen, and add metadata to issues and PR
GitHub CLI now allows you to close, reopen, and add metadata to issues and pull requests.
1407
Emacs Lisp Animations
Emacs , a programmer's text editor with roots in the 1970s, is a great tool for animation. In Fall, 2010 I taught a digital art class at NYU's interdisciplinary Steinhardt art school. Clearly, the thing to do was to teach how to make animations in Emacs by programming it in Lisp.
1408
Shipping Const Generics in 2020
It’s hard to believe that its been more than 3 years since I opened RFC 2000 , which defined the const generics for Rust. At the same time, reading the RFC thread, there’s also been a huge amount of change in this area: for one thing, at the time the RFC was written, const fns weren’t stable, and consts weren’t even…
1409
Even in Go, concurrency is still not easy
You're probably reading this page because you've attempted to access some part of my blog (Wandering Thoughts) or CSpace , the wiki thing it's part of. Unfortunately you're using a browser version that my anti-crawler precautions consider suspicious, most often because it's too old (most often this applies to versions…
1410
Baremetal programming on the tinyAVR 0 micro-controllers
All you need is a text editor, a makefile and a USB-serial cable.