Show more
lyxia boosted

I am free! Until the next deadline!

lyxia boosted

Unicode subscript digits are a godsend for renaming variables in a compiler IR. The results (lst₀ lst₁ lst₂ etc) are so much more readable than lst_0 lst_1, especially when you have common variable names like x0 y0 x1 y1 ...

lyxia boosted

Je n'ai pas vu passer ça sur le fediverse, malgré la communauté typophile/libriste, alors je partage :
L'ANRT a publié, il y a plus d'un mois, 15 fontes redessinées à partir de documents du XVe siècle, marquant la transitions entre le Gothique et le Romain. C'est sous licence libre !

gotico-antiqua.anrt-nancy.fr/

#design #fonte #typographie #designlibre

lyxia boosted
One day, I'm gonna defect and open a counter instance called vigne.space.

@TheAspiringHacker
Values are unlifted, computations are lifted.
In strict languages variables bind values, and in nonstrict languages they bind computations.

In strict (let x = failwith "") the whole computation just stops before binding x to anything, that's why you don't need lifting in the denotation of variables.

Expressions still denote computations either way, so lifting is needed there.

@abs
People want to know how related work is related to your work :ablobwink: "They use idea X to solve problem Y, and I use X' to solve Y', which is similar but different"

The official documentation for creating a package for , now updated to Opam 2.0: coq.inria.fr/opam-packaging.ht

lyxia boosted

Space Nerd time!

Regardez moi cette flamme !
Ce matin une Soyouz a lancée le satellite Meteor M2-2 ainsi qu'une trentaine de micro-satellites en charge secondaires depuis le centre spatial sibérien de Vostotchny, et les photos fournies par Roscosmos sont just... Wow.

lyxia boosted

On me fait remarquer que l’on est en train de perdre le concept de page : lorsque l’on écrit sur du papier, on divise ce dernier en pages, et il faut couper le texte, mettre un numéro de page, etc. Sur une page web, on s’en fiche : on peut tout mettre à la suite. En un certain sens, la #page web est une surface de l’ordre du décamètre en largeur, et (semi-)infinie en longueur.

C’est marrant parce qu’on est déjà passé par là : fr.wikipedia.org/wiki/Rotulus (pensez aux ”scroll” des magiciens dans les univers fantastiques — remarquez l’étymologie de “to scroll” au passage ☺)

lyxia boosted

@abs
I recently read gunnm for the first time. 10/10 would do it again.

Haskell, Freer monads 

lyxia boosted

@MartinShadok
J'avais jamais pensé à cet aspect du blind review, qu'on risque involontairement de se souvenir des auteurs des très mauvais papiers.

lyxia boosted

The thing I've been working on recently is now open source! Namely, Sorbet, a standalone static type-checker for Ruby: sorbet.org/blog/2019/06/20/ope

Show more
niu.moe

Welcome to your niu world ! We are a cute and loving international community O(≧▽≦)O !