1141
Homoiconic Python
McCarthy's Lisp in Python lists
1142
FOSDEM 2024: my experience, some notes and tech tips
I'm sleep-deprived, completely exhausted, but incredibly excited about the whole experience. Here are my notes, impressions and a lot of pictures about FOSDEM 2024.
1143
What happened to BERT and T5?
A Blogpost series about Model Architectures Part 1: What happened to BERT and T5? Thoughts on Transformer Encoders, PrefixLM and Denoising objectives
1144
OpenTelemetry Tracing in < 200 lines of code
Distributed Tracing is scary and complicated... right?
1145
Gleam Is Pragmatic
I’ve spent the past several years working with functional programming languages in my free time – primarily Haskell and OCaml. I love both languages but also find aspects of each frustrating. Haskell is terse and elegant with type classes providing a powerful mechanism for ad-hoc polymorphism. However, it can also be…
1146
60 kHz (2022)
It’s WWVB, the station that the National Institute of Standards and Technology uses to broadcast the current time, tuned to the 60 kHz frequency. Day and night, this station diligently continues broadcasting.
1147
AlphaProof's Greatest Hits
Here I’ll try to explain the coolest ideas in each of AlphaProof’s IMO 2024 solutions. AlphaProof produces proofs in Lean, and each Lean proof is composed of a series of tactics. So I’ll pick out the tactics that correspond to these ideas in the proofs for problems 1, 2 and 6 (the three problems that AlphaProof…
1148
A useful productivity measure?
In my new role as VP of Engineering , there was one question I was dreading more than any other: “How are you measuring productivity?”
1149
I worry our Copilot is leaving some passengers behind
Why I worry about the effect GitHub Copilot is having and will continue to have on the accessibility of the web at scale.
1150
Here comes the Muybridge camera moment but for text
Posted on Friday 31 May 2024. 2,785 words, 28 links. By Matt Webb.
1151
South Pole Water Infrastructure
Fresh water from snow, at 70 below!
1152
GGUF, the Long Way Around
What are ML artifacts?
1153
Clang vs. Clang
This is a blog post about an experiment with Clang. I need to explain some context first.
1154
Why bother with argv[0]?
The first argument of a program’s command line, typically reflecting the program’s name/path and often referred to as argv[0], can in most cases be set to an arbitrary value without affecting the process’ flow. Making the case against argv[0], this post demonstrates how it can be used to deceive security analysts…
1155
The Insecurity of Debian
The difference in security defaults between Debian and Red Hat.
1156
Making Rust binaries smaller by default
Have you ever tried to compile a helloworld Rust program in --release mode? If yes, have you seen its binary size? Suffice to say, it’s not exactly small. Or at least it wasn’t small until recently. This post details how I found about the issue and my attempt to fix it in Cargo.
1157
Evidence of price-fixing in the oil industry?
The FTC just found evidence that American oil companies colluded with the Saudi government to hike gas prices, costing the average family $3,000 last year. The question is, what can we do about it?
1158
A Eulogy for DevOps
The DevOps movement has died out. What went wrong?
1159
Google banned me from Google Voice
After 15 years, Google banned me from Google Voice . This post is a summary of what happened, with the hope that it might help someone in the future who runs into the same situation. At the end , I have some thoughts about the latent danger of being banned from Google at any time with no notice.
1160
Beating the L1 cache with value speculation (2021)
If we have a heuristic to guess some value cheaply, we can remove a data dependency in a tight loop using the branch predictor. This allows the CPU to run more instructions in parallel, increasing performance. If this explanation does not make much sense to you, keep reading to learn about some of the magic making…
1161
Balancing engineering cultures: Debate everything vs. just tell me what to build
Lessons from leaders at New Relic, Credit Karma, Reforge, Hubspot, Trulia, Intercom, VSCO, and more
1162
Coroutines and effects
For the past few months I’ve been mulling over some things that Russell Johnston made me realize about the relationship between effect systems and coroutines. You can read more of his thoughts on this subject here , but he made me realize that effect systems (like that found in Koka) and coroutines (like Rust’s async…
1163
Things I don't know about AI
The more I learn about AI markets, the less I think I know. I list questions and some thoughts.
1164
How Does Bluesky Work?
One of the reasons I am enthusiastic about BlueSky is because of the way that it works. So in this post, I am going to lay out some of the design and the…
1165
Counterintuitive Properties of High Dimensional Space (2018)
Our geometric intuition developed in our three-dimensional world often fails us in higher dimensions. Many properties of even simple objects, such as higher dimensional analogs of cubes and spheres, are very counterintuitive. Below we discuss just a few of these properties in an attempt to convey some of the weirdness…
1166
Win for copyright user rights in Canada: Digital locks do not trump fair dealing
The Federal Court has issued a landmark decision (Blacklock’s Reports v. Attorney General of Canada) on copyright’s anti-circumvention rules which concludes that digital locks should not trump fair dealing. Rather, the two must co-exist in harmony, leading to an interpretation that users can still rely on fair dealing…
1167
The Performance Impact of C++'s `final` Keyword
If you're writing C++, there's a good reason (maybe...) as to why you are. And probably, that reason is performance. So often when reading about the language you'll find all sorts of " performance tips and tricks " or " do this instead because it's more efficient ". Sometimes you get a good explanation as to why you…
1168
An interview with AMD CEO Lisa Su about solving hard problems
An interview with AMD CEO Lisa Su about her path to AMD, turning around the chip maker, the AI opportunity, and competing with Nvidia.
1169
Guix on the Framework 13 AMD
wingolog: article: guix on the framework 13 amd
1170
Tree-shaking, the horticulturally misguided algorithm (2023)
wingolog: article: tree-shaking, the horticulturally misguided algorithm