2025.02.08
Some notes and links
I’ve been coding like a madman all week, working on a prototype that will be the basis for all our future updates and improvements.
Also, I was wondering if anyone would mind if I vent about how much I dislike the UK’s winter. It’s freezing! 🥶
Today, I had an awesome time at Bletchley Park with my family. It was really fun watching my daughter dive into those cipher quizzes— I probably would have a hard time doing the same.
Here's another link list for you to devour:
Karabiner-Elements
Karabiner-Elements A powerful and stable keyboard customizer for macOS. Download v15.3.0 Toggle Dropdown Download v15.3.0 For macOS 15 Sequoia For macOS 14 Sonoma For macOS 13 Ventura Download v14.13.0 For macOS 12 Monterey For macOS 11 Big Sur Download v13.7.0 For macOS 10.15 Catalina (10.15.6 or later) Download v12.10.0 For macOS 10.15 Catalina For macOS 10.14 Mojave For macOS 10.13 High Sierra For macOS 10.12 Sierra Download v11.6.0 For macOS 10.11 El Capitan Download v10.22.0 For macOS 10.11 El Capitan For macOS 10.10 Yosemite For macOS 10.9 Mavericks Learn more Privacy Supported systems macOS 15 Sequoia
macOS 14 Sonoma
macOS 13 Ventura
Both Intel-based Macs and Apple Silicon Macs are supported. Predefined rules by community Release notes GitHub Sponsor Easy to use You can configure simple key mappings from GUI.
In case you have not known about it. This little tool is very useful. See the video below for how powerful it could be.
IDEs with GenAI features that Software Engineers love
AI-first IDEs like Cursor, WindSurf, Zed and others, are challenging Visual Studio Code’s dominance. What’s making devs switch over?
Gergely Orosz
Awesome Django
A curated list of awesome things related to Django. Maintained by William Vincent and Jeff Triplett
My first steps with Playwright
In my previous company, I developed a batch job that tracked metrics across social media, such as Twitter, LinkedIn, Mastodon, Bluesky, Reddit, etc. Then I realized I could duplicate it for my own ‘persona’. The problem is that some media don’t provide an HTTP API for the metrics I want. Here are the metrics I want on LinkedIn: I searched for a long time but found no API access for the metrics above. I scraped the metrics manually every morning for a long time and finally decided to au
Nicolas Fränkel
