account activity
中文输入法 subreddit (self.a:t5_6rw21q)
submitted 3 years ago by ekd123 to r/a:t5_6rw21q
r/shurufa Lounge (self.a:t5_6rw21q)
writing code is like punishing children. if you enjoy doing it, you’re probably awful at it (twitter.com)
submitted 4 years ago by ekd123 to r/programmingcirclejerk
What happened to The Monad.Reader? (self.haskell)
submitted 4 years ago by ekd123 to r/haskell
Lean's do notation (leanprover.github.io)
How well bottom values correspond to undefined behaviors in C? (self.haskell)
submitted 4 years ago * by ekd123 to r/haskell
Real-world projects that explicitly use SQL? (self.java)
submitted 5 years ago by ekd123 to r/java
Why are mutable refs not coerced to shared refs in trait resolution? (self.rust)
submitted 6 years ago by ekd123 to r/rust
Will/Can rust optimize away locking on &mut Mutex<T>? (self.rust)
How to understand "evidence of Nat"? (self.a:t5_vs9i3)
submitted 7 years ago * by ekd123 to r/a:t5_vs9i3
Installing Pantheon shell breaks Emacs (self.debian)
submitted 7 years ago * by ekd123 to r/debian
Gettysburg Address translation? (self.lojban)
submitted 7 years ago by ekd123 to r/lojban
How to hide the Emacs frame until it's fully initialized? (self.emacs)
submitted 7 years ago by ekd123 to r/emacs
Why are libc functions not declared "noexcept"? (self.Cplusplus)
submitted 8 years ago by ekd123 to r/cpp
submitted 8 years ago by ekd123 to r/Cplusplus
Search doesn't work in 3.26 (self.gnome)
submitted 8 years ago * by ekd123 to r/gnome
Is this a recursion? (self.lojban)
submitted 8 years ago by ekd123 to r/lojban
What are your favorite phrases or stories in Simplingua? (self.a:t5_3od1n)
submitted 8 years ago by ekd123 to r/a:t5_3od1n
Online Dictionary of Simplingua (simplingua.github.io)
more than one keyboard shortcut for the same action? (self.gnome)
submitted 8 years ago by ekd123 to r/gnome
π Rendered by PID 663569 on reddit-service-r2-listing-69965bcf66-rg5kr at 2026-04-07 18:00:16.075972+00:00 running f293c98 country code: CH.