Yufan Lou articles - 38 total
Don't forget your --release flag when benchmarking
Saw this very old post comparing k-NN algorithm implemented in different languages, and for the love...
Adventure Migrating to Apple Silicon
Setting up my Apple Silicon Macbook Pro. It is really snappy! and quiet! I chose to jump on the new...
How To Exit Press-To-Test on TI Nspire CX (CAS)
This how-to is a description of the solution in this video. I don't remember clearly but I think I g...
The Usefulness of GPT-3 Deserves The Virality
This is a comment on Agustin Lebron's The case against the import of GPT-3, as quoted by Tyler Cowen....
A Merit of Learning a New Language
There are times when I find it hard to express my thinking in a certain way in the new language becau...
Implementation vs Specification
Specification is like a macroeconomics model. It describes the general purpose and trend of the syste...
Three Vim Features
To split a line at pattern: :5s/pattern/<c-v><cr>/g <c-v>, or Ctrl-v, in termin...
Sort in Linear Time, But Is It Worthy?
I know the fastest sorting algorithm is quicksort. It is even named accordingly. I also know that its...
Apple Silicon Is Also A Chance To Improve Security
Toward trusted sensing for the cloud: Introducing Project Freta - Microsoft Research The fact that...
Today I Learned Program and Coprogram
How to design co-programs | Patterns in Functional Programming On the tail of the last random though...
Today I Learned (Not) Reflection
An intuition for reflection | QA9 This reflection is not the one for metaprogramming, but the proper...
(Ok) Tagless Final in Rust
Rust nightly has Higher-Kinded Type! 🔥 OMG I still don't know what use this has but damn it felt mag...
(Maybe) Tagless Final in Rust
Why the biggest take away from Tagless Final has been the type class abstraction, I am kinda confused...
Tagless-Final is a Powerful Footgun
Read The False Hope of Managing Effects with Tagless-Final in Scala – John A De Goes. Some thoughts....
On Decentralization and "Next Gen Web" Wannabes
Decentralization is not a virtue per se. The Web did not become ubiquitous and successful because it...
Erlang Punctuations
-module(tut15). -export([start/0, ping/2, pong/0]). ping(0, Pong_PID) -> Pong_PID ! finished...
(Not) Finally Tagless in Rust
Tagless Final is a style of programming derived first by Oleg Kiselyov to be used in ML for embedding...
Lens in 2007
Making Haskell nicer for game programming | Luke Palmer Luke described in this 2007 blog post an Acc...
Template Haskell vs GHC.Generic
WARNING: This is not from experience, all hearsay. Template Haskell Pros Rela...
A-chip Mac
I am calling the new "Apple Silicon Mac" "A-chip Mac", to match "PowerPC Mac" and "Intel Mac". It tak...
Partition Samsung T5 SSD for Time Machine
UPDATE 2020-06-21 1: The backup has finally finished! ^w^ That took way longer than I expected. U...
Hey.com tackles Unsolicited Bulk Emails with Screening Feature
The Basecamp team has published a new application of their creation, Hey.com. It purports to fix many...
Change Destination Directory of AirDrop on macOS
You can't. But there is a workaround, that is moving the file received by AirDrop from Download to y...
Prefer Typeclasses over Records of Functions
From Lessons learned while writing a Haskell application • gvolpe's blog In the article above the au...
Look for Nuke Launchers in Haskell
Haskell programmers like to tell people that in other languages if you use some library and that libr...
PLFA
PLFA is both: Programming Language Foundations in Agda Phospholipid-derived fatty acids
Use Nix on macOS as A Homebrew User
Documenting my efforts following Salar Rahmanian's Moving from Homebrew to Nix Package Manager. Firs...
Clojure and Rust are Duals
Clojure is the experiment of how much benefit one can get with immutable data types and unenforced pu...
Generalizing Tree Traversal in Haskell with Typeclass
Tree is the most pervasive data structure in our lives. First, we see trees, green literal trees, eve...
Thoughts on Utility-first CSS and Tailwind CSS
Utility-first CSS, lead by Tailwind CSS, goes almost directly against the initial designing premise o...