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
Mu now has a generic stream type: http://akkartik.github.io/mu/html/402stream.mu.html
Personality types ⌘ https://hack.org/mc/blog/personality.html
The revised Go generics draft ⌘ https://go.googlesource.com/proposal/+/refs/heads/master/design/go2draft-type-parameters.md
I believe trauma instills scientific-type knowledge that is factually false but locally adaptive. False beliefs need more protection to be maintained than true beliefs, so the belief both calcifies, making it unresponsive to new information, and lays a bunch of emotional landmines around itself to punish you for getting too close to it. This cascades into punishing you for learning at all, because you might learn something that corrects your false-but-useful model. Emotional Blocks as Obstacles to Learning | Hacker News
Mu now type-checking all function calls: https://mastodon.social/@akkartik/104366226332745069
Best setup yet: Books on iPad with voice control on; typing notes in a text editor on a separate device. Say “swipe left” to turn the page, with no command-tabbing needed.
tilde.club twtxt users: $ find /home -type d -name ‘public_html’ -exec find {} -type f \; 2>/dev/null | grep twtxt
@von@tilde.town once I read the manual and found out that the current line was the last line, all I needed to do was type «d\nw\nq\n». So glad I took the vim path instead of the emacs path.
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?
@dave@davebucklin.com Did you type that out with your knuckles, or did you use voice recognition, or…? ;)
tilde.club twtxt users: find /home -type d -name ‘public_html’ -exec find {} -type f \; 2>/dev/null | grep twtxt
Next stop: a type- and memory-safe compiled language that can occupy C’s niche. Manual memory management. AND manual register allocation.
Angels are a type of moth specifically drawn to the light of God
idea for a sense: decode emission/absorption lines of celestial bodies into smells so that one can identify atmosphere types at a glance/whiff, maybe make hot blackbodies smell like ovens and free oxygen like rain
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.
61: just one key labeled ‘sentience’. types out passable novels and essays when pressed, sometimes lewd chat messages. one time it was code in a language I didn’t recognize. locked it away after that.↵70: Egal was ich versuche, es kommt in der falschen Sprache raus.
17: visible but cannot be typed on, fingers hit emptiness.↵1?: invisible, produces characters indistinguishable from spaces. except when I try to run binary analysis tools on the output, which invariably crash.
KEYBOARDS FOUND IN DUMPSTERS:↵2: great to type on. return randomizes the keyboard layout.↵4: black and white keys in weird arrangement. produces sound but no letters. may not be a keyboard.↵7: has a ticklish ‘a’ key and tries to edge away when I come near it↵10: enochian alphabet
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
when gods commune, dimensional portals open in their worlds and in come ideas from the other’s mind: stalking tangles of crystal, shy ripples in space, sentient smells, just about every type of elf, the occasional human
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