3061
Third-Party Audit of Rustls
In May and June 2020, Cure53 completed an audit of ring , webpki , and rustls . Their report ( PDF ) fully describes the audit, and makes for interesting reading.
3062
Climbing the cosmic distance ladder: Terence Tao book announcement
Several years ago, I developed a public lecture on the cosmic distance ladder in astronomy from a historical perspective (and emphasising the role of mathematics in building the ladder). I previous…
3063
3064
3065
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...
3066
“It'll all be over by Christmas” (Part 2)
On April 16—gosh, it feels like an entire year ago—I made some predictions about where we were going. How do they hold up?
3067
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)…
3068
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 ☹️
3069
Android’s IPv6 Is Still Broken
I got into some interesting discussions about IPv6 on Twitter. Then someone asked if Android is getting DHCPv6 support in version 11 of the OS.
3070
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…
3071
3072
3073
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 ...
3074
It's too late to collect sand
When I was 13, my family went to California. We walked along a beach near Mendocino. I’d never seen black sand before. I wanted to bring some home. So I got a ziplock bag from my mom, scooped some sand into it, and put it in my backpack. When
3075
Visions of Alt-Berlin in “Man in the High Castle” (2017)
An MIT urban planner looks at the alternative vision for a Berlin that was designed to last a thousand years, but never built.
3076
Building a Linux Desktop for Cloud Native Development
Find out how I use a Linux Desktop PC for Cloud Native Development and for business work. I'll cover everything from parts & peripherals to CLIs and SaaS.
3077
What Shell Am I Using?
I wanted to install the latest version of zsh on my MacBook Pro. This is usually the first thing I install when setting up a new machine. A brew install zsh and a chsh later and I'm good to go (well, technically I had to add the homebrew location of zsh to /etc/shells as well). Close out Terminal.app and reopen to…
3078
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…
3079
Learning How to Learn
I have been interested in cognitive science and effective learning methods for years. I’ve read multiple books and articles and put many ideas to test. In this post, I aim to synthesize my notes and provide references to scientific studies.
3080
First photo of HS2 tunnel boring machines
HS2 has released the first picture of one the two TBMs that will spend around three years digging the longest and deepest HS2 tunnels – from just inside the M25 to South Heath in Buckinghamshire.
3081
Should you Work Hard? (2019)
Software engineer, etc etc
3082
The Next Leap in Self-Driving: Prediction
Why prediction has overtaken perception as the biggest challenge in the field.
3083
3084
My Beef with RuboCop
Consider a hypothetical class that filters out unsafe HTML elements:
3085
Technical Copywriting:What Engineers Can Learn from Apple’s M1 MacBook Marketing
Notes on building, technology, health, and living deliberately by Ayush Kumar.
3086
3087
They told you not to reply (2008)
Breaking news, live coverage, investigations, analysis, video, photos and opinions from The Washington Post. Subscribe for the latest on U.S. and international news, politics, business, technology, climate change, health and wellness, sports, science, weather, lifestyle and more.
3088
Connecting a Macintosh SE to the Internet with a Raspberry Pi
How to connect a 68k Mac to the internet without an ethernet card!
3089
3090
A Developer Culture Test
See a shorter, and updated version of this test here: The Pragmatic Engineer Test: 12 Questions on Engineering Culture [https://blog.pragmaticengineer.com/pragmatic-engineer-test/]. I've talked with dozens of software developers about what they like and dislike about their workplace - team, and company …