Medicine is a type of engineering. Change my mind.
the concept of literally typed languages. as in, languages designed to be satisfying to type. #halfbakedideas
Common Star Types ⌘ https://xkcd.com/2360/
at the end of the day, I do like the stiffness of the tactile grey switches, even if it means I don’t get to type as fast, or as long. they just feel great to me. #mk
Personality types ⌘ https://hack.org/mc/blog/personality.html
tilde.club twtxt users: $ find /home -type d -name ‘public_html’ -exec find {} -type f \; 2>/dev/null | grep twtxt
Hey @mdosch@mdosch.de Yes, I do. That’s how all royals do this Twtxt thing, I am not the one to be mocked by Harry or Meghan because I have to type while they just yell at the butlers.
Hey @mdosch@mdosch.de Yes, I do. That’s how all royals do this Twtxt thing, I am not the one to be mocked by Harry or Meghan because I have to type while they just yell at the butlers.
@adiabatic@www.frogorbits.com the 0 indicates the txt file type in gophermaps. Gopherholes are made up of mostly plain text files. Does that answer your question?
Distinctions in Types of Thought | Otium https://srconstantin.wordpress.com/2017/10/10/distinctions-in-types-of-thought/
Parser types | rain-1.github.io https://rain-1.github.io/scheme-parse
Monday is Data Privacy Day. Celebrate by proving all those stock photos right about hackers wearing black ski masks when typing.
Convert Interface to Type: Type Assertion ⌘ Read more…
Bad idea of the day: Evangelion fanfiction in the form of Kaji’s hand-annotated copy of a Fire in the Valley style popular history of the development of Tokyo-3, casting Gendo as an Elon Musk type figure.
Type erasure and reification - Eli Bendersky’s website https://eli.thegreenplace.net/2018/type-erasure-and-reification/
Teleconferencing is like being on IRC, if everybody was a noob, two people typing at the same time made both of their posts into gibberish, and half the channel has a cat on their keyboard the entire time.
Structural typing (and its integration with prototype OO) might be one way to address the platypus… https://medium.com/@/structural-typing-and-its-integration-with-prototype-oo-might-be-one-way-to-address-the-platypus-c9663c362c26
Type inference - Eli Bendersky’s website https://eli.thegreenplace.net/2018/type-inference/
Dataspace 6: Terms as Types | Natepod http://natecull.org/wordpress/2017/07/10/dataspace-6-terms-as-types/
I wonder if the reason why the average quality of writing-advice articles is so much lower than other types is that it’s dominated by folks who are trying to write a certain number of words every day & have decided to publish all of them…
“A Little Taste of Dependent Types” by David Christiansen - YouTube https://www.youtube.com/watch?v=VxINoKFm-S4
Bad idea of the day: a NOT operation on types, such that a type can be define as the failure to qualify as some other combination of types or some other boolean type expression
The Tyranny of Personality Testing | The New Republic https://newrepublic.com/article/151098/personality-brokers-book-review-invention-myers-briggs-type-indicator
Hot take: when a type of work is no longer necessary, it becomes a hobby or luxury/artisinal work, & this is good for everybody involved.
Dataspace 6: Terms as Types | Natepod http://natecull.org/wordpress/2017/07/10/dataspace-6-terms-as-types/
Band name of the day: typed holes
Bad idea of the day: Get Annals of the Perrigues style themed corpora type output in your templates by adjusting probabilities by the semantic distance between a choice & some word that is the locus of a theme, with word2vec or something
Bad idea of the day: Put the ‘hyper’ modifier key back on the keyboard, but you hold it while typing to create hyperlinks, press it while clicking to open a hyperlink
Bad idea of the day: an irc-style chat interface for mastodon, where whatever you type is posted & you just see your home timeline
Bad idea of the day: an irc-style chat interface for mastodon, where whatever you type is posted
Bad idea of the day: an irc-style chat interface for mastodon, where whatever you type is posted
Why Did Some Countercultural Types Vote For Trump? - Mondo 2000 http://www.mondo2000.com/2018/05/10/why-did-some-countercultural-types-vote-for-trump/
“Propositions as Types” by Philip Wadler - YouTube https://www.youtube.com/watch?v=IOiZatlZtGU
The Five Types Of Nicolas Cage Movies | FiveThirtyEight https://fivethirtyeight.com/features/the-five-types-of-nicolas-cage-movies/
Discovering Types for Entity Disambiguation https://blog.openai.com/discovering-types-for-entity-disambiguation/
A list of 4510 different titles given to the exact same generic 9:59 self-affirmation pep-talk on Spotify http://www.furia.com/page.cgi?type=log&id=458
How Detect Content Type of a File ⌘ Read more…
@leveck@leveck.us I really want to use mastodon, but I just can’t seem to come up with a use case for me. Guess I don’t really do much Social Media type stuff
Fact Checks | Search https://developers.google.com/search/docs/data-types/factcheck
Print a Variable’s Type (e.g. Int, String, Float) ⌘ Read more…
The ATU Fable Index: Like the Dewey Decimal System, But With More Ogres - Atlas Obscura http://www.atlasobscura.com/articles/aarne-thompson-uther-tale-type-index-fables-fairy-tales?utm_source=Atlas+Obscura+Daily+Newsletter&utm_campaign=e507bdeb3f-EMAIL_CAMPAIGN_2017_06_16&utm_medium=email&utm_term=0_f36db9c480-e507bdeb3f-63252673&ct=t(Newsletter_6_16_2017)&mc_cid=e507bdeb3f&mc_eid=fb147c2f0d
Types of Writing Systems (correction in the description) - YouTube https://www.youtube.com/watch?v=U2TVRjK3aHc
@tx@0x1A4.1337.cx Hard to type and remember and to add insult to injury a dictionary word… mhhh… :)
HTML5, Input-Types, Form-Validierung und WordPress ?~L~X https://notiz.blog/b/140