1681
The Stack Monoid
(Updated 2020-09-06 with pointers to related work and a bit more explanation)
1682
Design Principles Behind Smalltalk (1981)
The purpose of the Smalltalk project is to provide computer support for the creative spirit in everyone. Our work flows from a vision that includes a creative individual and the best computing hardware available. We have chosen to concentrate on two principle areas of research: a language of description (programming…
1683
1684
1685
Tech salaries are risk premiums
This blog post was supposed to come out two years ago in response to, I think, this article. Better late than never? After literally years of people
1686
Vim Creep (2011)
It all started out innocently enough. You experimented with it once or twice in your first year of college, but Nano and Pico were easier—closer to what you had already been using during high school on the Windows machines and Macs. But as time went on and you got more experience under your belt in the college-level…
1687
Dark Horse Discord
How a gaming chat platform is secretly connecting the internet, and defining the future of work
1688
Cost of a thread in C++ under Linux
Almost all our computers are made of several processing cores. Thus it can be efficient to "parallelize" expensive processing in a multicore manner. That is, instead of using a single core to do all of the work, you divide the work among multiple cores. A standard way to approach this problem is to create threads. ……
1689
JuliaCon2020: Julia Is Production Ready
Introduction
1690
A floppy-disk Walkman using a Raspberry Pi
I have built the most inconvenient way of playing music! It is lo-fi awfulness and cyberpunk grungy. Thanks! I hate it! Ingredients Raspberry Pi USB floppy drive Audio Cable / Headphones USB Battery WHY?!?! As I discussed yesterday, it's possible to fit half an hour of speech on a single floppy disk. The best band in…
1691
1692
Backdoors and other vulnerabilities in HiSilicon based hardware video encoders
Serious vulnerabilities (including a backdoor) in IPTV/H.264/H.265 video encoders based on HiSilicon hi3520d hardware.
1693
In search of 2.11BSD, as originally released
In Search of 2.11BSD, as released Almost all of the BSD releases have been well preserved. If you want to find 1BSD, or 2BSD or 4.3-TAHOE BS...
1694
1695
Turkey buys Delphi licenses for an estimated one million students
The ministry of education in Turkey recently announced that they will be offering Delphi free of charge to students of computer sciences. An estimated one million students will thus have access to …
1696
Things Markdown got wrong
John Gruber's Markdown is almost a perfect content authoring format. Here are 6 things it got wrong.
1697
Want to call C from Python? Use D
In my last blog post I wrote about the power of D’s compile-time reflection and string mixins, showing how they could be used to call D from Python so easily it might as well be magic. As ama…
1698
Your First THINK C Program
Welcome, child! Come in, come in! I have so few visitors to this little hut. Pull up a chair, and I’ll put on some tea.
1699
1700
Become a Better Developer by Reading Source Code
In this post, I share why I think that reading source code is an important technique which can be applied to become a better software developer.
1701
1702
Extreme Debugging
Debugging without source or symbols, alternatively, "Where there's a will there's a way"
1703
Faster than radix sort: Kirkpatrick-Reisch sorting
Radix sort sorts n w-bit integers by splitting them up into chunks of logn\log nlogn bits each, and sorting each chunk in linear time. Thus it achieves O(nw/logn)O(nw/\log n)O(nw/logn) time.
1704
All about Modelica: An equation-based language for modeling physical systems
Marco Bonvini’s personal website.
1705
1706
Implement with types, not your brain (2019)
When asked about the virtues of Haskell’s strong type system, most people will say the best part is that it lets you refactor with a zen-like tranquility, or that it stops your program from crashing at runtime. I mean, those are both great. But my favorite part is that having a strong type system means I don’t need to…
1707
The 2020 MacBook Air
Faster, cheaper, and now with a truly great keyboard.
1708
AWS and their billions in IPv4 addresses
Earlier this week, I was doing some work on AWS and wanted to know what IP addresses were being used. Luckily for me, AWS publishes this all here https://ip-ranges.amazonaws.com/ip-ranges.json. When you go through this list, you’ll quickly see that AWS has a massive asset
1709
Lawyers automate this, so why don't airlines?
My working title for this blog post was “Why I’ll Never Fly With easyJet Again”, but that was far too clickbaity. Also it’s probably worth prefixing this post with two things. The first being the caveat that whether or not i ever fly with easyJet again is immaterial to their business, given that the model of budget…
1710
Google, nobody asked for a new Blogger interface
I'm writing this post in what Google is euphemistically referring to as an improvement . I don't understand this. I managed to ignore New ...