1351
Mod and remainder are not the same
A remainder and a modulus look so very similar, but they are not the same thing and worse, are treated differently by different programming languages. Do you know how your language handles mod?
1352
Dostoyevsky's “Dream of a Ridiculous Man” (2014)
“And it is so simple… You will instantly find how to live.”
1353
Look ma, no locks
We describe a systematic approach for replacing locks with tasks. In this approach thread blocking is replaced by properly scheduling of tasks.
1354
1355
1356
1357
Stateful Experiments on AWS Lambda
In January 2017, we presented results to the European Commission on a FP7project called SyncFree, where we were tasked with a large-scale evaluationof the Lasp programming system. In this evaluatio...
1358
Post-apocalyptic life in American health care
Experiences navigating disintegrating American health care institutions, and what they might imply for life in 2037
1359
Should you Rust in embedded yet?
A transcript of the talk I given in 2018 about the state of embedded programming in Rust.
1360
Kelly Criterion (2007)
It’s fairly clear when one should buy a particular stock. One should buy stock when it is undervalued. What I have always wondered about is how much stock one should buy. A few months ago I stumbled upon the answer which is given by the Kelly criterion . It says that one should invest an amount to maximize one’s…
1361
Under River, Outside Time: The Woolwich Foot Tunnel Anomaly
When the Woolwich foot tunnel closed for repairs in 2011, it should have been a routine job. The pathway had been providing pedestrians with a quick route beneath the Thames since 1912. A century o…
1362
How I Write SQL, Part 1: Naming Conventions (2014)
"There are only two hard problems in Computer Science: cache invalidation and naming things."
1363
E-Mail Leaves an Evidence Trail
If you’re going to commit an illegal act, it’s best not to discuss it in e-mail. It’s also best to Google tech instructions rather than asking someone else to do it: One new detail from the indictment, however, points to just how unsophisticated Manafort seems to have been. Here’s the relevant passage from the…
1364
Slack on a SNES
I recently learned that in the mid 90s in Japan, the Super Nintendo had a peripheral called a Satellaview, which was a satellite modem that would receive data broadcasts from Nintendo.
1365
Programming the Linux Framebuffer
Previously , I installed Linux on a small ARM Chromebook and set it up without X.Org, using only the console. After neglecting that machine for quite some time, I came back to it because I wanted to try some pixel-graphics programming and the framebuffer seemed like it might be an easy target.
1366
1367
How long is that Bézier?
Blog of Raph Levien.
1368
The Missing Computer Skills of High School Students
It’s been just over fours years since I started mentoring high school students at work , and I recently began mentoring my fourth such student. That’s enough students for me to start observing patterns. Of course, each arrives with different computer knowledge and experience, but there have been two consistent and…
1369
Goodbye Python, Hello Go
Rumah taruhan online kelas dunia dengan pelayanan terbaik dan promo menarik : Welcome Bonus, Cashback, Bonus Rollingan & Referral setiap minggu. Aman & Terpercaya !!
1370
Notes on Idris (2017)
In a bid to expand my programming brain by learning something about “dependent types”, I recently bought the Idris book. (Idris is a pure functional programming language that is mostly …
1371
Browser-Wars History: MD5-Hashed Posts Declassified
Robert O'Callahan. Christian. Kiwi. Software guy. All content human-authored unless otherwise noted.
1372
The true power of regular expressions (2012)
As someone who frequents the PHP tag on StackOverflow I pretty often see questions about how to parse some particular aspect of HTML using regular expressions. A common reply to such a question is:
1373
Continued progress porting Emacs to Rust
The project to port all of the C code in Emacs to Rust has been going quite well of late, and a progress report is in order.
1374
Fixing bufferbloat on your home network with OpenBSD 6.2 or newer
My home network (which is also my work network) is a standard-issue Comcast cable hookup. In spite of a tolerable 120 megabits down, my experience of daily Internet use is regularly frustrating. Video streams and video chats drop in quality...
1375
Spectre Mitigations in Microsoft's C/C++ Compiler
This form of Spectre can be used to attack a broad range of software -- operating systems, device drivers, web APIs, database systems, and almost anything else that receives untrusted input and may run on the same computer as untrusted code. Because large programs can contain literally millions of conditional branches…
1376
Indirection Is Not Abstraction
The concept of abstraction in software development is frequently misunderstood and confused with indirection. This is partially because of the keywords abstract and interface in statically-typed la...
1377
Free SSL on Github Pages with a custom domain: Part 2 – Let's Encrypt
GitHub Pages has just become even more awesome. Since yesterday1, GitHub Pages supports HTTPS for custom domains. And yes, it is still free!
1378
Introducing Zink: OpenGL on Vulkan
For the last month or so, I’ve been playing with a new project during my work at Collabora, and as I’ve already briefly talked about at XDC 2018, it’s about time to talk about it to a wider audience.
1379
1380
Pseudo-bandlimited pixel art filtering in 3D: A mathematical derivation
Recently, I’ve been playing Octopath Traveler, and I’m very disappointed with the poor texture filtering seen in this game. It is PS1-level, with severe shimmering artifacts, which ruins the nice pixel art. Tastefully merging retro pixel art with 3D environment is a very cool aesthetic to me, so I want it to look…