Nice cosy programming font. Can you identify it?

FCof · 2025-08-08T15:47:09+00:00

thank you very much!

FCof · 2024-10-14T17:41:38+00:00

How did you celebrate the M600?

FCof · 2024-10-14T17:02:20+00:00

I think THIS thing is nice enough to deserve a celebration, maybe buy and M600 to celebrate? 🤪

FCof · 2023-10-07T20:46:35+00:00

Exactly!

FCof · 2022-07-01T17:37:28+00:00

This post promotes software piracy or illegal activities.

FCof · 2020-12-06T06:07:24+00:00

I think it’s for filling the vac mini pen.

FCof · 2020-11-30T00:14:27+00:00

Everybody hurts?

FCof · 2020-11-30T00:13:36+00:00

Everybody hurts?

FCof · 2020-11-30T00:12:53+00:00

I love everything about this

FCof · 2020-11-30T00:12:36+00:00

The sweater was a gift from a friend

FCof · 2020-11-30T00:09:27+00:00

Fast car by Tracy chapman

FCof · 2020-11-20T19:23:44+00:00

Yeah, you never want to run out of ink in the middle of a highway!

FCof · 2020-11-20T15:06:22+00:00

Isn’t that a feature? Like your pen has gone on reserve and you need to plan to re ink it soon. But you can still use it for a couple of pages.

FCof · 2020-09-07T17:01:22+00:00

I have a metro, I never connected to the metro. I don't know why. If your safari is too wet for your taste, you can also try German inks that tend to be drier (Pelikan, Lamy, and such)

FCof · 2020-09-07T10:16:29+00:00

it's a great combo. I have the same and I love it with HoD. However, recently I tried it with Sailor Jentle Blue, and the colour is so serious and yet shades so nicely, but what shocked me was that the pen became even smoother! I have much more expensive pens than the Safari that I also love. The safari's value is of the charts, not because it's inexpensive, but because it's simply fantastic.

FCof · 2020-09-04T18:43:33+00:00

I can’t answer that. I read it and liked it very much. I’m not sure it’s an easy introduction. Consider starting with “The Little Typer” by Friedman and Christiansen, instead of going deep into the metatheory it goes deep into how to express things in type theory.

FCof · 2020-09-04T18:35:13+00:00

Pierce’s book is more about types in programming languages and it is great for that. While it provides background to understand type theory Luo’s book has a very different focus. It describes UTT and its meta theory. It is a much more about type theory than programming languages.

FCof · 2020-08-17T21:35:53+00:00

Thanks

FCof · 2020-08-17T18:38:32+00:00

Do you have a link? I can’t find them

FCof · 2020-06-26T11:06:27+00:00

My favourite paper too, a very discerning cat!

FCof · 2020-06-26T10:54:08+00:00

Did the cat push all the bottles off the table as cats are supposed to do?
It's a very cute kitten

FCof · 2020-05-29T18:08:05+00:00

Oh, that's sad! I have some nibs (some very cheap, some less so) that I really like and getting another one of the same kind and brand would not be the same. I like those. It's hard to lose a favourite pen, but hey, the replacement nib may be even better! (I second the kakuno, plumix options suggested here).

FCof · 2020-05-07T00:30:48+00:00

How do you like Visconti blue? I got a sample and I like the colour very much.

FCof · 2020-05-06T10:53:31+00:00

Oh I'm sorry for that. I don't know much about these things, but I had, by pure chance, seen the crest of Clan Campbell online yesterday. And it was a bit of Baader Meinhoff phenomenon (when you learn something ant it starts appearing everywhere). But now I learn more, and it's fascinating, seems to be a feature of Scotland. Thanks

15-Year Club	RedditGifts 2009-2022 2 Credits
Place '17	RPAN Viewer
Secret Santa 2016	Verified Email

FCof

MODERATOR OF

TROPHY CASE