Search
Select tagsā¦
literature
permanent
resource
stream
Achieving totality in functions
An org clock with a good history
Awesome stars collection
Basic GTD Workflow
Basic resource management with Bracket in cats-effect
Boosting your self confidence
Both fiction and non-fiction books have a place in our lives
Braindumping as a writing, thinking and relaxing exercise
Call package vs import in Nix
Closh - a bash and clojure hybrid
Create a productivity habit with a fixed days challenge
Creating microsites for your Scala projects
Daily journaling resource
Daily journaling to clear your mind
Debug printing in Haskell
Driving can help with headaches
Essential Effects Book
Extensible effects
Extensible effects to manage side effects in functional programs
Finding what you love to do
Five minute journal and idea journal
Functional resource management with Bracket
Getting clients for freelance work
Github pages feeds with osmosfeed
Given and Using Clauses in Scala 3
Givens in Scala 3 as behaviours injected into functions
Givens in Scala 3 as proofs of existence of types
Gopass - a nice password manager
Have a to don't list
Hierarchical note taking
How do you in Emacs
How to install a shell script with Nix
How to learn a language on your own
How to USE Productivity Advice (Instead of Just Consuming It)
Nimor's zettelkasten
Information vs Knowledge
Inherit tags in Org mode
It's nice to be able to relate to people and things
It's ok not to be at peak productivity all the time
Journaling and note taking by Tim Ferriss
Keep successful values instead of throwing them away when validating
Keep track of what you don't want to do as well
Lambda Case GHC Extension
Languages are tools
Learn just enough about linear types
Learning a language, speak it like you're playing a video game
Linear types allow us to build specific flows in APIs
Logseq - an open source roam research alternative
Make language learning independent, goal focused and personal
Morning pages
Naming in Scala case class pattern matching
Note title as sentences in my Zettelkasten
Optimal Living Daily Podcast
Org log into drawer
Organize your reading list with Org mode
Parse don't validate
Permanent notes in a Zettelkasten
Prioritise tasks with the Eisenhower matrix
Quick overview of my dev machine setup
Schedule recurring tasks with org-mode and ease
Self confidence is strongly tied to self worth
Simplistic view of Zettelkasten workflow
Simulate input to interactive elisp functions
Small and big goal steps
Start with other people's systems
Stop comparing yourself to others
Stream
Stream notes introduction
Tabwave - a delightful productivity browser plugin
Take a break from your brain by focusing on the body
The Effect Pattern in Functional Programming
The initial definition of confidence
The Law of Attraction
The law of attraction is conciously exploiting our brain's ability to focus
The main concepts of functional reactive programming
The mind can be our most valuable asset and our greatest enemy
The Nix package manager
The Parallel typeclass in Cats
The parallel typeclass pattern
There's not enough hours in a day
Tips for getting clients as a freelancer
Tmux up for easy dev environments
Topics in a zettelkasten
Total functions and how they are useful to us
Totality in functional programming
Use permutation parsers when your fields can be in any order
We might not need confidence to begin
What I am currently working on
Where can we introduce partiality in functions
Zettelkasten fundamentals
Zettelkasten overview