Ty – A fast Python type checker, written in Rust
#HackerNews #Ty #Python #Type #Checker #Rust #Fast #Programming
Typechecking is undecideable when 'type' is a type (1989) [pdf]
https://dspace.mit.edu/bitstream/handle/1721.1/149366/MIT-LCS-TR-458.pdf
#HackerNews #Typechecking #undecidability #type #theory #1989 #MIT #research #pdf
Julio J.
boosted
Comparto esta linda tipografía modular (libre!) hecha por Fundidora incompleta, compas de la ldcv-fadu-udelar.
"D6 es una tipografía modular que nace de la obsesión con los dados de seis caras y encontrar en lo cotidiano herramientas expresivas. Es un archivo digital pero también letras que se pueden fabricar con dados."
Consta de dos versiones, el dado con puntos y los puntos por separado, permitiendo un juego continuo entre ambas expresiones.
Es de uso libre, pueden descargarla y ver más en su web: https://incompleta.cargo.site/
#type #tipografia #typography #typo #fonts #librefonts #diseño #diseñografico #graphicdesign
EL ALFABETO Y LAS LETRAS CONSTRUIDAS CON DADOS
"Todo esto está dado" construído con la tipografía de dados
"El jugador entrecerró las manos, les susurró unas palabras y añadió un pequeño soplo. Luego lanzó los dados". Construido con la tipografía de dados, sólo de puntos
dado - tipografía libre modular hecha con dados
Comparto esta linda tipografía modular (libre!) hecha por Fundidora incompleta, compas de la ldcv-fadu-udelar.
"D6 es una tipografía modular que nace de la obsesión con los dados de seis caras y encontrar en lo cotidiano herramientas expresivas. Es un archivo digital pero también letras que se pueden fabricar con dados."
Consta de dos versiones, el dado con puntos y los puntos por separado, permitiendo un juego continuo entre ambas expresiones.
Es de uso libre, pueden descargarla y ver más en su web: https://incompleta.cargo.site/
#type #tipografia #typography #typo #fonts #librefonts #diseño #diseñografico #graphicdesign
EL ALFABETO Y LAS LETRAS CONSTRUIDAS CON DADOS
"Todo esto está dado" construído con la tipografía de dados
"El jugador entrecerró las manos, les susurró unas palabras y añadió un pequeño soplo. Luego lanzó los dados". Construido con la tipografía de dados, sólo de puntos
dado - tipografía libre modular hecha con dados
Alex, the Hearth Fire
boosted
Apologies for the plug, but I hope you find our new Kickstarter of interest - TYPERACTIVE, 30 Years of Device Fonts: http://kck.st/4o08Oot #typography #fonts #logo #design #fontdesign #type
Apologies for the plug, but I hope you find our new Kickstarter of interest - TYPERACTIVE, 30 Years of Device Fonts: http://kck.st/4o08Oot #typography #fonts #logo #design #fontdesign #type
Michael Dexter
boosted
fzf is a general-purpose command-line fuzzy finder.
It’s an interactive filter program for any kind of list; files, command history, processes, hostnames, bookmarks, git commits, etc. With its novel “fuzzy” matching algorithm, you can quickly type in patterns with omitted characters and still get the results you want.
🧑💻 https://github.com/junegunn/fzf
#fzf #FuzzyFinder #Findfiles #terminal #cli #linux #filter #fuzzy #match #linux #opensource #type #git #commandline
fzf is a general-purpose command-line fuzzy finder.
It’s an interactive filter program for any kind of list; files, command history, processes, hostnames, bookmarks, git commits, etc. With its novel “fuzzy” matching algorithm, you can quickly type in patterns with omitted characters and still get the results you want.
🧑💻 https://github.com/junegunn/fzf
#fzf #FuzzyFinder #Findfiles #terminal #cli #linux #filter #fuzzy #match #linux #opensource #type #git #commandline
Anke
boosted
I recently found out - completely by accident - that a friend of mine opened a type foundry (sadly we have not been in touch much for a long time).
The first font she published there... is named after me. My goodness 
Here's a link to the shop https://libraryofnarrativetypes.xyz/fonts/lnt-natalia-mono
Do check out her works at https://libraryofnarrativetypes.xyz/. Nóra is the most talented, thoughtful and hard working designer I'm honored to be friends with 🤍
