"Inching one's way along a steep cliff in the dark: on reaching the highway, one breathes a sigh of relief. Just when one can't take any more, one sees the moonlight. Beauty that seems to inuse itself into the heart: I know about that." B.Y.

jao boosted

For the holidays, you could say thank you to some of the people who write free software you use, especially software that isn't hugely popular.

Those of us who write little-known software may go for months without hearing from a user, and it can be a little de-motivating.

Hearing from someone who actually uses one's software gives an energising jolt that can carry one through several weeks of darkness and cold and wet.

jao boosted

just discovered melnyk. not at all bad.

Standard joke: “What question should I ask, oh wise master, and what is its answer?”  “The question you should ask me is the one you just asked, and its answer is the one I am giving.”

'LaTTe : a Laboratory for Type Theory experiments (in clojure)' -- github.com/latte-central/LaTTe

jao boosted

Me: "I wish I had time to read books still!"

Me: (reads easily 100,000 words of blog posts and forum posts per week)

Me: "Sigh, I am just too busy, alas"

jao boosted

The young woman thought carefully before speaking to the Genie.

"I wish to understand anything I read, no matter the language."

"Your wish is granted."

"I wish for the ability to summon any written work."

"Your wish is granted."

"And I wish to be able to transcribe all that I learn."

"Your wish is granted."

Alexandria took a deep breath. It's not every century a library is reborn with a will of its own. There was so much to rebuild.

jao boosted

Me: I'm sure I've seen the worst of Haskell operators by now
DAG library: (:@->$$$)
Me: *softly* don't.

'The Little Typer With Dan Friedman and David Christiansen - CoRecursive Podcast' -- corecursive.com/023-little-typ

jao boosted

Location:Kyoto JAPAN🇯🇵
Autumn leaves of Kyoto prefecture "Toji"


Show more

Follow friends and discover new ones. Publish anything you want: links, pictures, text, video. This server is run by the main developers of the Mastodon project. Everyone is welcome as long as you follow our code of conduct!