The latest blog posts to take off on Hacker News. 4,416 posts.
tl;dr: online TLA+ manual/advanced techniques/examples here. TLA+ is a tool for testing abstract software designs. I first stumbled on it in 2016 and found it so useful I wrote a free online guide to help others learn it. Then I decided the guide wasn’t good enough and wrote Practical TLA+ in 2018. Then I decided the…
I'll show you what good logging is with real-life examples. Most people don't know what to log, so they end up creating just noise....
From the highly eclectic blog of Mark Dominus
Sometimes you need info about hardware, and you probably lost your invoice, spec list or a password to a store website. Maybe you did an upgrade and this info isn't accurate anymore. It's an easy case for home users, but what to do is you have many machines
I’ve done plenty of these, when I wanted to switch half my brain off but still do something time-consuming and fiddly, but still kind of productive. Very therapeutic!
I've seen all these studies that show how a 100ms improvement in page load time has a significant effect on page views, conversion rate, etc., but I'd never actually tried to optimize my site. This blog is a static Octopress site, hosted on GitHub Pages. Static sites are supposed to be fast, and GitHub Pages uses…
I figured out how to run a SQL query directly against a CSV file using the sqlite3 command-line utility:
A cursory review of all the non-metasearch, indexing search engines I have been able to find.
The Wirecutter’s review of the IKEA air purifier is a mishmash of scientific errors, shoddy testing, and self-contradictory logic.
Learn how to setup and use vale, a syntax-aware prose linter with neovim for technical writing be it personal blogs or technical documentation.
I spotted a new (to me) pattern which I think is pretty interesting: projects are bundling compiled binary applications as part of their Python packaging wheels. I think it’s really …
Here are 4 tricks that I’ve found to make my life easier and help me communicate better with my co-workers.
Working on my old ThinkPad x220 feels easy because I’ve used the same software for over a decade.
It was a dreary afternoon in Milan last year when, procrastinating on studying, I was struck by a flash of genius. “What would happen if I made a banana-powered random number generator?“. I immediately went to tell my roommate, who was also an electronic engineer.He looked me in the face and burst out laughing. At ……
Hello, I’m Michael Sliwinski, founder of Nozbe - to-do app for business owners and their teams. I write essays, books, work on projects and I podcast for you using #iPadOnly in #NoOffice as I believe that work is not a place you go to, it’s a thing you do.
Derek Sivers official site. Thoughts on philosophy, culture, self-improvement. Author of Useful Not True, How to Live, Hell Yeah or No, Anything You Want.
Emacs's buffers are so much more than their name implies. They're not just a vessel for you to read or write from. Buffers in Emacs host network processes, shells, and transient data. They're also a key part to understanding why Elisp is designed the way it is.
I like plain text. I also like doodling while I write. Some things are just easier to explain with a picture. But if I need to draw a picture today, I need to stop writing plain text, pick an app, dismiss a couple of dialogs or tours of new features in front of my face, think about all the ways it's acting for its…
Here’s a scenario. First, you download an app for a service that has some sort of in-person component, like picking up an order or meeting a driver at the curb. When using that app for the goal, be it that order or that meeting, it’s very helpful to have notifications, since they give you the current status and it can…
Dear Spotify. I tried to search for podcasts on your Desktop app. I know you're into fancy cross-platform Electron framework. I've come to terms with it. It's fine. It'll do. But, your understanding of interface design seems like it needs a bit of a history
A tutorial how to use a monorepo architecture in frontend JavaScript and TypeScript with tools like npm/yarn/pnpm workspaces, Turborepo/NX/Lerna, Git Submodules, ...
an interactive comic on the art & science of memory
Automating Verizon number searches to find rare phone numbers with repeating digits.
