сегодня написал больше кода похожего на компилятор, чем в любой другой день, прикольно.
I used to get this sensation when falling asleep in lectures
Suddenly everything would seem to make perfect sense
I'd wonder how I'd been struggling to follow something that was so obvious
And then I would jolt awake with the conviction that it all works because `x` is a pirate
a> But that's not microsoft fault. Let's not hurt their poor puppy feelings.
q> @a do you suggest to not blame `docker` ?
a> Oh no! I'd blame docker every day.
My car broke on the highway? Blame docker!
No bread for breakfast? Blame docker!
вот так в этих ваших европах, соберёшься себе куда поехать, а там снег выпал, и все искать хостел сидеть ждать..
Snow in Zurich, plan delayed, missed connection
а вроде и не пятница
g> TIL: There is a funeral doom metal band called "Monads". metal-archives.com @yves
n> TIL: There is a musical genre called "funeral doom metal" :stuck_out_tongue:
g> Someone should make a "metal subgenre name generator".
g> I am not a big fan of doom metal myself. But the idea of listening to monads does have some bucolic appeal. (edited)
n1> @g that kind of thinking might lead you to leibniz and Nietzsche
g> Why is that ?
a> I like that Leibniz and Nietzsche are considered similar in this sentence.
n1> nah, Nietzsche uses the concept of monads in "beyond good and evil"
n1> but I think it was borrowed from leibniz
a> Oh. Quite possibly. Leibniz's realism had something of the sort.
a> Like essential objects.
a> I should study more.
n1> essential, atomic things
g> So I just demonstrated my ignorance of philosophy :wink:
n1> by the way, while I can understand why Monad implies something irreducible/atomic (mono-), I have no clue why it applies to monoids in the category of endofunctors
n1> mh though it's in "monoid"
a> The initial name of Monads was Triple.
a> So there you have it: improvement.
a> The word « Category » in category theory is probably taken from Kant (_Critique of pure reason_). (edited)
a> (where it meant something very different than a reflexive and transitive graph, to be sure)
a> Though I don't know if McLane or Eilenberg are on record saying this.
a> It makes sense to pick your next random name from another German philosopher.
"I have been obsoleted by a Kmett library." "Yeah, I hear you..."
Medic! Man down over here. Will have to cancel meetings today.
@m you're lucky, there's an incredible amount of doctors in here
о сайте fpco:
oh dear I went to that page just to see what you were talking about
looks like a *****-enlargement advert
fuuzetsu: I return
fuuzetsu: seems zimbatm and me are same person
fuuzetsu: never in same room at once
d > I don't know what I hit on emacs but apparently: French: 15 Thermidor an 225 de la Révolution
g > Seems like you converted a date to the French revolutionary calendar
g > That must be current date actually
g > 1792 + 225 ...
g > makes sense
g > I am a bit worried, actually: is it what Emacs proposes when you ask for "today" in French ? :smile:
j > maybe he hasn't updated emacs since the revolution
heh yeah we're losing our engineers fast over here. Only PhD's left.
By the way, I strongly hate it when people say « we deliberately made our language unusable, because we wanted it to be simple ».
Oh. I'm actually curious: was it properly cut in tweetable sentences?
// про речь трампа
Ok so who do we clone to work on it?...
Yargh. We really need to hire more.
никто не хочет компиляторы на одеске попилить на окамлах?
а это нормально в ответ на письмо HR о вакансии — предлагать консальтерские услуги нашей фирмы, работающей именно в том направлении, в котором ищут людей?
ну вот теперь на работе только двое без PhD остались.
well, as the old adage goes about literate programming: doomed to fail because the intersection of people who write decent prose with the the set of those that write decent code is pretty tiny.
Oh, darn. This always happens. @qnikst I think I am coming to agree with you on <ticket-number> :disappointed:
С обсуждения диаграммы переходов между состояниями объектов
— this diagram looks like a pull-back in category theory.
— no. This arrow goes into wrong direction, let's fix it.
(Все ошибки в построении фраз добавлены мной, писал по памяти)