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
The Five Types Of Nicolas Cage Movies | FiveThirtyEight https://fivethirtyeight.com/features/the-five-types-of-nicolas-cage-movies/
Simplicity
That is a screenshot of my macOS desktop. It could be simpler, but as it is it does what I need, and want. When I need to use an app, I simply hit command (⌘) space and start typing the app name to launch it. That is, I use Spotlight.
Wouldn’t it be great that iOS could be customized like that too? Preferably it would be a setting, that would allow to turn off the visibility of all, or any app on the phone. Then, to open an app, one would use the [Spotlight]( … ⌘ Read more
One day we may figure out not just genetics but wholesale biosphere design, and then it won’t be “What does it mean to be human” but “Should there be a place for humans”, “What if we used another type of chemistry”, “Why should it be our native biosphere that survives”
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
One of the rarer rainbow types is the nova bow: A dying star’s scouring light, refracted by rocks that it vaporized
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… :)
Learn to read and type Chinese ⌘ Read more…
clear dark: dreamless type 0, highest $$↵white swirls: common & popular↵tortured faces: junk.↵rainbow glimmer: rare, strongly hallucinogenic
A tap to the donor’s temple collects what’s ideally a clear dark fluid. Else, the wrong dream type may cause severe memetic immune response.
There’s a type of flightless angel you can find in New Zealand: Not haughty and aloof but small, brown, round, jolly ladies with wing stumps
A walker learns to taste the type of vacuum with time.↵Voids that never contained anything: fresh and stale at the same time
The mechanical storyteller whirrs, clicks, spits out a slip of paper: “animal made of gravity”↵I envision a star cluster and start typing.
sentient snails that store up to ten types of ink in their houses as they age, with a highly refined tradition of slime trail calligraphy
Ideally, the affected parts will lie along the same callpath. (Depends on the type of debug information, yadda yadda, much work in practice)
A catalog of fictional and real monsters, indexed by the type of human part they eat.↵Blood - vampires, mosquitoes.↵Joy - dementors, ?↵etc
Enticement
Someone decided to entice us to fill out a survey, by sending us a “lucky” two dollars bill with it. Normally we do not fill out any type of surveys, unless proper remuneration is provided. Two dollars isn’t really worth the effort, and normally would not be accepted as a fee. Yet, since there is no way to send it back with assurances it will reach the original sender, we have a small dilemma on hands.
Thus, as the survey is only two page … ⌘ Read more
I loathe emoji
I despise Emoji and emoticons, specially graphical emoji, or people who continuously abuse them, and interject them in every single sentence they type, sometimes even more than once. I thought that I hated “LOL,” which I do, but I would rather see LOL — when justified, not the moronic “LOL” without reason you see often — than see the utter idiotic smiles, winks, etc., continuously, all the time. “ _I am an elitist asshole, but here, have an Emoji! That way you will perceive me differently. … ⌘ Read more