Tags Table of Contents ada awk baduk c computing_science cycling design dotnet emacs foss haskell javascript life lisp maths meta meta_programming notes petpeeves photography programming reliability science security shorthand software_problems swedish sysadmin technology tp300la typography unix vim web writing ada 2018-04-08 The Expressive Ada 2012 Challengeada programming 2017-03-31 Reading Notes: Guide for Ravenscar in High Integrity Systemsada programming 2017-03-10 Selective Delays in SPARK and Ravenscarprogramming ada 2017-03-08 Unicode Strings in Ada 2012programming ada 2017-02-22 Timeout Blocking Requests in Adaada programming 2017-02-13 Guessing Game: Ada Style!programming ada awk 2018-01-17 Grep, sed and awk – The Right Tool For The Jobunix programming awk 2018-01-16 The AWK State Machine Parser Patternprogramming awk unix baduk 2014-12-27 A Year of Badukbaduk life c 2015-12-20 Using withPtr From inline-c in Haskellhaskell c programming 2015-07-02 The Mystery of the Deterministic Super Shotgunprogramming c computing_science 2018-05-29 Purely Functional AVL Trees in Common Lisplisp computing_science programming 2018-04-20 Intuition around NP-Hard and NP-Completecomputing_science notes cycling 2016-08-18 Why Cyclists Use Public Roadscycling 2016-08-13 Starting to Commute by Bicyclelife cycling design 2016-05-09 A Maze of Storage Cagesdesign dotnet 2019-11-03 Referencing Nuget Packages in F# Interactiveprogramming dotnet 2019-06-04 Standard Exception Hierarchy in .NET Coreprogramming dotnet 2019-05-15 .NET on Non-Windows Platforms: A Brief Historyprogramming dotnet emacs 2019-06-18 Centered Cursor Mode in Vanilla Emacsemacs 2019-06-14 Emacs Calc – Evaluate Expression For Multiple Valuesprogramming maths emacs 2018-03-05 Migrating Away From Use-Packageemacs lisp 2018-02-28 Emacs Magic: Simple Pastebinemacs lisp programming 2018-02-12 Ceasing Short-Lived Maintenance of Emacs Versoremacs 2018-01-02 Why You Should Buy Into the Emacs Platformemacs 2017-12-05 Variable Width Unicode Fallback Fonts in Emacsemacs typography 2017-11-29 Emacs Calendar with Fixed Width Fontemacs 2017-11-19 Emacs for Humans: Glossaryemacs 2017-11-17 New and Improved: Two-Wrongs Now Powered By Org Modemeta emacs 2015-09-11 On Escape Meta Alt Control Shiftvim emacs foss 2018-03-30 Matrix Is Everything I Want IRC To Befoss meta_programming haskell 2018-03-01 A Gentle Introduction to Monad Transformershaskell 2017-06-20 On Competing with C Using Haskellprogramming haskell 2017-05-21 Extendable Data in Haskell (part 2)haskell programming 2017-05-08 Dynamic Dispatch in Haskell, or: How Can I Make My Code Extendable?programming haskell 2016-12-06 My Experience Using Yesod for a “Quick Hack”haskell programming 2016-10-08 Pomohoro: Combine the Pomodoro Technique with hledger and Timeclock for Productivitylife haskell programming 2016-01-04 Parser Combinators: Parsing for Haskell Beginnershaskell 2015-12-20 Using withPtr From inline-c in Haskellhaskell c programming 2015-08-30 A Haskell Time Library Tutorialhaskell programming 2015-08-24 Static Generation with Haskellhaskell programming web 2015-08-23 Statically Generated Blogmeta haskell programming web 2015-08-05 The Case for Controlled Side Effectshaskell programming 2015-07-01 Web Scraping with Lenseshaskell programming web 2015-06-21 How Laziness Worksprogramming haskell 2015-01-01 The “What Are Monads?” Fallacyprogramming haskell javascript 2018-05-15 Update Bound Data Without Replacing It in D3programming javascript life 2019-06-22 Essay Recommendation: On Having Enough Sockslife programming 2018-03-03 Swedish Colemak Hacklife 2017-11-30 Reasons To Like Stockholm: Waterphotography life 2017-06-08 Sensor and Controller Chip in “Roxcore 720p” Action Cameralife photography 2017-04-13 Bayesian Statisticsmaths life 2017-04-12 Pairing Debian Laptop with Bluetooth Headphoneslife tp300la notes 2016-12-18 Basic Computer Security: Things I Want to Exploresecurity life sysadmin notes 2016-10-08 Pomohoro: Combine the Pomodoro Technique with hledger and Timeclock for Productivitylife haskell programming 2016-08-13 Starting to Commute by Bicyclelife cycling 2016-06-19 The Weekly Pure Bullet Journallife 2016-06-13 Is Learning Shorthand for Personal Note-taking Worth It?life shorthand 2016-05-29 Learning to Say No to Myselflife 2016-05-18 Melins system, övning och demonstrationlife swedish shorthand 2016-05-17 Why I’m Learning Shorthandswedish life shorthand 2015-09-06 The Joy of Manipulationphotography life 2014-12-27 A Year of Badukbaduk life 2014-12-09 Debian Linux On My Asus Transformer Book Flip (TP300LA)tp300la life lisp 2018-06-03 Debugging Common Lisp in Slimelisp 2018-05-29 Purely Functional AVL Trees in Common Lisplisp computing_science programming 2018-03-05 Migrating Away From Use-Packageemacs lisp 2018-02-28 Emacs Magic: Simple Pastebinemacs lisp programming maths 2019-06-14 Emacs Calc – Evaluate Expression For Multiple Valuesprogramming maths emacs 2017-04-13 Bayesian Statisticsmaths life meta 2018-03-06 Blogging With R and ggplot2 in Orgscience meta programming 2017-11-17 New and Improved: Two-Wrongs Now Powered By Org Modemeta emacs 2016-09-21 Fallback Font, Good Fonts and a General Font Recommendationmeta typography 2015-08-23 Statically Generated Blogmeta haskell programming web meta_programming 2019-11-26 Quality in Software Development, Part 1: Culture & Communicationmeta_programming reliability 2018-10-17 Code Review Checklist, Second Editionprogramming meta_programming 2018-03-30 Matrix Is Everything I Want IRC To Befoss meta_programming 2018-03-05 Top-down vs Bottom-up Programmingprogramming meta_programming 2015-02-10 Documentation: Reference Manual vs. Cookbookprogramming meta_programming 2015-01-27 How Much Does an Experienced Programmer Use Googleprogramming meta_programming 2014-12-05 Discoverability of Functions in Functional Languagesprogramming meta_programming 2014-11-12 Why Code Review Matters: Suble (Often Non-Breaking) Bugsprogramming meta_programming 2014-11-04 Say What You Mean, Not What Happens to Workprogramming meta_programming notes 2018-04-20 Intuition around NP-Hard and NP-Completecomputing_science notes 2017-07-09 Passwordless sudosecurity sysadmin notes 2017-04-12 Pairing Debian Laptop with Bluetooth Headphoneslife tp300la notes 2016-12-19 Basic Firewall Configuration (iptables)notes security sysadmin 2016-12-18 Basic Computer Security: Things I Want to Exploresecurity life sysadmin notes 2016-09-19 Fake Bold Small Caps in XeLaTeX with Fontspecnotes typography 2016-09-02 Connecting to KTH Eduroam on Debian Stretchsoftware_problems notes 2016-07-27 rtorrent missing from Homebrew on El Capitannotes software_problems 2015-05-20 IMAP/SMTP port numbers for Google mailnotes sysadmin petpeeves 2018-01-09 Pet Peeve: Tea, Tannins and Strengthpetpeeves photography 2017-11-30 Reasons To Like Stockholm: Waterphotography life 2017-06-08 Sensor and Controller Chip in “Roxcore 720p” Action Cameralife photography 2015-09-17 Darkroom Chemistry and Photogramsphotography 2015-09-06 The Joy of Manipulationphotography life 2015-06-10 Developing B&W Film at Homephotography 2015-02-18 Does My DSLR Have Dead Pixels?photography 2015-01-31 The Case for Shooting in Manual Modephotography 2015-01-17 Painting with Lightphotography programming 2020-06-26 Software Engineering: What Has Changed Since 1968?programming 2019-11-03 Referencing Nuget Packages in F# Interactiveprogramming dotnet 2019-07-23 My Currently Preferred Programming Languagesprogramming 2019-06-22 Essay Recommendation: On Having Enough Sockslife programming 2019-06-14 Emacs Calc – Evaluate Expression For Multiple Valuesprogramming maths emacs 2019-06-04 Standard Exception Hierarchy in .NET Coreprogramming dotnet 2019-05-15 .NET on Non-Windows Platforms: A Brief Historyprogramming dotnet 2018-10-17 Code Review Checklist, Second Editionprogramming meta_programming 2018-05-29 Purely Functional AVL Trees in Common Lisplisp computing_science programming 2018-05-25 Technical Writing: Learning from Kernighanwriting programming 2018-05-15 Update Bound Data Without Replacing It in D3programming javascript 2018-04-08 The Expressive Ada 2012 Challengeada programming 2018-03-14 Computing Science Dictionaryprogramming 2018-03-06 Blogging With R and ggplot2 in Orgscience meta programming 2018-03-05 Top-down vs Bottom-up Programmingprogramming meta_programming 2018-02-28 Emacs Magic: Simple Pastebinemacs lisp programming 2018-01-17 Grep, sed and awk – The Right Tool For The Jobunix programming awk 2018-01-16 The AWK State Machine Parser Patternprogramming awk unix 2017-06-20 On Competing with C Using Haskellprogramming haskell 2017-05-21 Extendable Data in Haskell (part 2)haskell programming 2017-05-08 Dynamic Dispatch in Haskell, or: How Can I Make My Code Extendable?programming haskell 2017-03-31 Reading Notes: Guide for Ravenscar in High Integrity Systemsada programming 2017-03-10 Selective Delays in SPARK and Ravenscarprogramming ada 2017-03-08 Unicode Strings in Ada 2012programming ada 2017-02-22 Timeout Blocking Requests in Adaada programming 2017-02-13 Guessing Game: Ada Style!programming ada 2017-02-01 Intuition for Time Complexity of Algorithmsprogramming 2016-12-06 My Experience Using Yesod for a “Quick Hack”haskell programming 2016-10-08 Pomohoro: Combine the Pomodoro Technique with hledger and Timeclock for Productivitylife haskell programming 2016-05-03 The Bug in the Physical Buildingprogramming 2015-12-20 Using withPtr From inline-c in Haskellhaskell c programming 2015-09-16 Bubble Sort: Not Even Onceprogramming 2015-08-30 A Haskell Time Library Tutorialhaskell programming 2015-08-24 Static Generation with Haskellhaskell programming web 2015-08-23 Statically Generated Blogmeta haskell programming web 2015-08-05 The Case for Controlled Side Effectshaskell programming 2015-07-02 The Mystery of the Deterministic Super Shotgunprogramming c 2015-07-01 Web Scraping with Lenseshaskell programming web 2015-06-21 How Laziness Worksprogramming haskell 2015-03-06 Parser Combinatorsprogramming 2015-02-14 Fast SQL for Inheritance in a Django Hierarchyprogramming web 2015-02-10 Documentation: Reference Manual vs. Cookbookprogramming meta_programming 2015-02-06 Why Web Apps Disappoint Meprogramming web 2015-01-27 How Much Does an Experienced Programmer Use Googleprogramming meta_programming 2015-01-01 The “What Are Monads?” Fallacyprogramming haskell 2014-12-19 Move Translations Between Django Appsprogramming web 2014-12-08 Myth of the Day: Functional Programmers Don’t Use Loopsprogramming 2014-12-05 Discoverability of Functions in Functional Languagesprogramming meta_programming 2014-11-14 What Optimisations Are Notprogramming 2014-11-12 Why Code Review Matters: Suble (Often Non-Breaking) Bugsprogramming meta_programming 2014-11-04 Say What You Mean, Not What Happens to Workprogramming meta_programming 2014-10-27 Crash-Only Software on the Desktop, Pleaseprogramming reliability 2019-11-26 Quality in Software Development, Part 1: Culture & Communicationmeta_programming reliability science 2018-03-06 Blogging With R and ggplot2 in Orgscience meta programming security 2017-08-16 Migrating From iptables To nftables – Link Collectionsecurity 2017-07-12 Temporarily Disabling iptablessecurity 2017-07-09 Passwordless sudosecurity sysadmin notes 2017-03-24 Securing a Debian Laptop with a Firewallsecurity 2017-03-23 Secure DNS on Laptop with Debiansecurity 2016-12-19 Basic Firewall Configuration (iptables)notes security sysadmin 2016-12-18 Basic Computer Security: Things I Want to Exploresecurity life sysadmin notes 2016-07-20 Gmail Passwords Trusted, Yet Not Trustedsecurity shorthand 2016-06-13 Is Learning Shorthand for Personal Note-taking Worth It?life shorthand 2016-05-21 Systemet i Melins systemshorthand swedish 2016-05-18 Melins system, övning och demonstrationlife swedish shorthand 2016-05-17 Why I’m Learning Shorthandswedish life shorthand software_problems 2016-09-02 Connecting to KTH Eduroam on Debian Stretchsoftware_problems notes 2016-07-27 rtorrent missing from Homebrew on El Capitannotes software_problems 2015-03-27 Monospaced Code Formatting in Skypesoftware_problems 2015-02-27 RecordMyDesktop Videos Going out of Syncsoftware_problems 2014-12-16 Text Selection Behaves as Swipe in WeeChatsoftware_problems 2014-11-27 Resize Video While Keeping Quality High with FFmpegsoftware_problems 2014-10-29 Calculator in Spotlight Not Doing Simple Arithmetic?software_problems swedish 2016-05-21 Systemet i Melins systemshorthand swedish 2016-05-18 Melins system, övning och demonstrationlife swedish shorthand 2016-05-17 Why I’m Learning Shorthandswedish life shorthand sysadmin 2017-12-22 Reading Notes: Understanding Nginx Location Selectionsysadmin 2017-07-09 Passwordless sudosecurity sysadmin notes 2016-12-19 Basic Firewall Configuration (iptables)notes security sysadmin 2016-12-18 Basic Computer Security: Things I Want to Exploresecurity life sysadmin notes 2016-06-17 rsync.netsysadmin 2016-05-20 A Checklist for Renewing GPG Subkeyssysadmin 2015-08-25 Redirect Every Subdomain to the Same Subdomain on a Different Host with Nginxsysadmin web 2015-05-20 IMAP/SMTP port numbers for Google mailnotes sysadmin 2014-12-22 An Update a Week Keeps the Hackers Awaysysadmin technology 2016-10-11 Rethinking Text Input on Touch Screenstechnology tp300la 2018-02-02 Withdrawn: False Alarm About the TP300LAtp300la 2018-01-25 Asus TP300LA After Three Years: Battery Troubletp300la 2017-11-20 Display Backlight Keys on TP300LAtp300la unix 2017-04-12 Pairing Debian Laptop with Bluetooth Headphoneslife tp300la notes 2015-08-27 The Touchpad On the Asus TP300LAtp300la 2014-12-21 Debian Linux On the Asus TP300LA, Bad News #1tp300la 2014-12-09 Debian Linux On My Asus Transformer Book Flip (TP300LA)tp300la life typography 2017-12-05 Variable Width Unicode Fallback Fonts in Emacsemacs typography 2016-09-21 Fallback Font, Good Fonts and a General Font Recommendationmeta typography 2016-09-19 Fake Bold Small Caps in XeLaTeX with Fontspecnotes typography unix 2018-01-17 Grep, sed and awk – The Right Tool For The Jobunix programming awk 2018-01-16 The AWK State Machine Parser Patternprogramming awk unix 2017-11-24 Touchpad Pointer Speed in Xorg on Debian Linuxunix 2017-11-20 Display Backlight Keys on TP300LAtp300la unix vim 2015-09-11 On Escape Meta Alt Control Shiftvim emacs 2014-12-12 Reasons to Know Vim – It’s Similar to edvim 2014-11-10 Custom Surrounding Text with surround.vimvim 2014-10-31 Email Quoting with Vim Visual Block Modevim web 2015-08-25 Redirect Every Subdomain to the Same Subdomain on a Different Host with Nginxsysadmin web 2015-08-24 Static Generation with Haskellhaskell programming web 2015-08-23 Statically Generated Blogmeta haskell programming web 2015-07-01 Web Scraping with Lenseshaskell programming web 2015-02-14 Fast SQL for Inheritance in a Django Hierarchyprogramming web 2015-02-06 Why Web Apps Disappoint Meprogramming web 2014-12-19 Move Translations Between Django Appsprogramming web 2014-11-06 Draw a Tree Structure With Only CSSweb writing 2018-05-25 Technical Writing: Learning from Kernighanwriting programming