Index
Projects
Ema
Announcing Ema - Static Sites in Haskell
Composability and generic routes in Ema 0.8
Emanote
Neuron
Announcing Neuron - Zettelkasten in Haskell
Cerveau, a future-proof web app for notes
Neuron 0.4 released
Neuron 0.6 released
Neuron 1.0 released
Pretty URLs in Neuron
Use Neuron, get RSS for free
Using Prism for syntax highlighting
haskell-template
Adding tests
Flake checks for Haskell
Adding Garnix CI
Philosophy
Removing
relude
Getting started
haskell-flake
haskell-flake
Experimental
emanote.obelisk Project
ka Project
💾
Software
A brief F# exploration
Agda
Blockchain
Coding
Dhall
Elm
Emacs
Emacs Xwidgets
Org Mode
Haskell
A concise introduction to generics-sop
Ema
Announcing Ema - Static Sites in Haskell
Composability and generic routes in Ema 0.8
Emanote
ka Project
Neuron
Announcing Neuron - Zettelkasten in Haskell
Cerveau, a future-proof web app for notes
Neuron 0.4 released
Neuron 0.6 released
Neuron 1.0 released
Pretty URLs in Neuron
Use Neuron, get RSS for free
Using Prism for syntax highlighting
Scaffold a Haskell project w/ IDE support + Nix
Decouple GitHub Pages build from Nix using Docker
Edit XMonad configuration with IDE support
Haskell Gotchas
Haskell from the ground up
Heist mini-tutorial
My release process for Haskell libraries
Reflex-FRP
ka Project
Obelisk
emanote.obelisk Project
Cerveau, a future-proof web app for notes
Obelisk tutorial, Markdown preview with Reflex
Relude
Removing
relude
ghcid
haskell-language-server
Haskell Language Server and Coc
haskell-template
Adding tests
Flake checks for Haskell
Adding Garnix CI
Philosophy
Removing
relude
Getting started
haskell-flake
hlint
Building Static Haskell binaries using Nix
Nix derivation dependency graph
Nix recipes for Haskellers
haskell-flake
PureScript mini-tutorial using Nix
XMonad
Edit XMonad configuration with IDE support
XMonad Tips
Helix
Linux
Clear Linux
Encrypted Virtual Folder
Linux logs from previous boot
NixOS
Installing NixOS on X1 Carbon Gen 7
Edit XMonad configuration with IDE support
A NixOS container for ProtonVPN
Blocking social media in NixOS
Lightweight Linux VMs on NixOS
NixOS Woke Invasion
Have NixOS Mods Become Radicalized?
“Moderation Team Accountability Issues” thread
RFC 0098 (Nix)
Recording screencasts
Nix
Scaffold a Haskell project w/ IDE support + Nix
Decouple GitHub Pages build from Nix using Docker
haskell-template
Adding tests
Flake checks for Haskell
Adding Garnix CI
Philosophy
Removing
relude
Getting started
haskell-flake
Building Static Haskell binaries using Nix
Nix derivation dependency graph
Nix recipes for Haskellers
Nix-ifying Rust projects
flake-parts
haskell-flake
haskell-flake
Pass with GPG
Recording screencasts
XMonad
Edit XMonad configuration with IDE support
XMonad Tips
Nix
Scaffold a Haskell project w/ IDE support + Nix
Decouple GitHub Pages build from Nix using Docker
haskell-template
Adding tests
Flake checks for Haskell
Adding Garnix CI
Philosophy
Removing
relude
Getting started
haskell-flake
Building Static Haskell binaries using Nix
Nix derivation dependency graph
Nix recipes for Haskellers
Nix-ifying Rust projects
flake-parts
haskell-flake
haskell-flake
No JavaScript
Reflex-FRP
ka Project
Obelisk
emanote.obelisk Project
Cerveau, a future-proof web app for notes
Obelisk tutorial, Markdown preview with Reflex
Nostr
Pass with GPG
ProtonMail
PureScript
PureScript mini-tutorial using Nix
Rust
Nix-ifying Rust projects
Rust Community
Syncthing
Syncthing data loss
Urbit
VSCode
Scaffold a Haskell project w/ IDE support + Nix
Nix-ifying Rust projects
Windows
XMonad
Edit XMonad configuration with IDE support
XMonad Tips
XMonad Tips
Make CLI Great Again 🚀
Install Neovim on using Nix
Add a neovim plugin: telescope.nvim
Haskell Language Server and Coc
Modular neovim plugin configuration
Command-line email
macOS
M1 Macbook Pro 16
💻
Hardware
LG Ultrafine 5k
M1 Macbook Pro 16
P71
X1C7
AC600M USB WiFi Adapter
Installing NixOS on X1 Carbon Gen 7
Thinkpad X1 Carbon Gen 7 review
X1C7 - Moderate Performance
X1C7 WiFi issue
AC600M USB WiFi Adapter
X1C7 - Moderate Performance
X1C7 WiFi issue
AC600M USB WiFi Adapter
X1E
iPad
PDFs
A concise introduction to generics-sop
README
📖 Ref
🚴
Calisthenics
🥩
Carnivore diet
Non-stick pan slow cooks meat
Recipes
Ground meat “cereal”
Vegan Propaganda
Climate Alarmism
Coffee ☕️
Dietary Guidelines Misinformation
Mastodon
Tools
Mailbrew
Twitter / X
📓
Zettelkasten
emanote.obelisk Project
ka Project
Neuron
Announcing Neuron - Zettelkasten in Haskell
Cerveau, a future-proof web app for notes
Neuron 0.4 released
Neuron 0.6 released
Neuron 1.0 released
Pretty URLs in Neuron
Use Neuron, get RSS for free
Using Prism for syntax highlighting
🧠
Thoughts
Cynical non-pioneers
Hybrid rewrite-refactor
Refactor postmortem
Stay niche
Harmlessness Code of Conduct
CV
Personal
PCE reports
Humanity Unorthodox
'I' am 'my' feelings and 'my' feelings are 'me'
Actualism Method
Awareness-Cum-Attentiveness; Aware-Cum-Attentive
Diminishment
How am I experiencing this moment of being alive?
On-the-job real-time experiencing
Seeing the silliness
keep your hands in your pockets
Affective Awareness
Affective Vibes
Altruistic ‘self’-immolation
Apperception
Armchair philosophising/ psychologising
Autonomic Shutdown
Autonomy
Basic Resentment
Boredom
Being here now
Being the doing of what is happening
Belief
“Believing in itself”
Benevolence
Caring
Courage of your convictions
Curiosity
➡️
Fascination ➡️ Obsession
Death
Diligence and perseverance
Excellence Experience
Felicity and Innocuity
Delight
Feeling good (mood)
“Good” feeling
Authority
Gratitude
Hope
Love
Righteousness
Sexual Desire
Trust
Harmlessness
Harmlessness Code of Conduct
S.N.A.G.
malice
malice
Grace’s scale of different ways of being
Hypnopompic state
Identity
Identity Building
Instinctual Treadmill
It doesn't really matter
Loner
Loser
Meaning of Life
Naive Optimism
Naiveté
Native intelligence
Out-from-Control, Different Way of Being
Pure Consciousness Experience
Procrastination
Pure Contemplation
Rememoration
Responsibility
Security
Sensitivity
Sensuousness
Seriousness
Sincerity
Social Identity
Community
NixOS Woke Invasion
Have NixOS Mods Become Radicalized?
“Moderation Team Accountability Issues” thread
RFC 0098 (Nix)
Rust Community
Filial duty
Peasant Mentality
Gender Ideology
Spontaneity
This Moment
Conventional Time
Never not this moment
No next moment
Stillness of time
What is time?
Your own best friend
Actualism is a DIY business
Equity and parity
living in the world as it is with people as they are
Humanity Orthodox
Modern Physics
Modern Rationality
Neurosis
Spirituality
Wiliness of the wild
Gullibility
Luxury beliefs
Polite but malicious
Wokeism
COVID-19
Gender Ideology
Woke arrogation of Paradox of tolerance
Vegan Propaganda
Wikipedia is not neutral
Unearthing heterodox views from Wikipedia
Anti-crypto
Climate Alarmism
Censorship
Wikipedia is not neutral
Unearthing heterodox views from Wikipedia
Unearthing heterodox views from Wikipedia
Government Censorship Regime
“Misinformation”
Dietary Guidelines Misinformation
Climate Alarmism
Critical Race Theory
Undoing Woke Invasion
Harmlessness Code of Conduct
Woke Hypocrisy
Luxury beliefs
Woke Invasion
NixOS Woke Invasion
Have NixOS Mods Become Radicalized?
“Moderation Team Accountability Issues” thread
RFC 0098 (Nix)
Woke Inveigling
Psychology behind wokeism
S.N.A.G.
Luxury beliefs
Gender Ideology
Woke Hypocrisy
Luxury beliefs