@thewismit@twtxt.psynergy.io @jlj@twt.nfld.uk in old school terminal jargon the ^H means control H or the sequence used in some terminals to indicate backspace. The “joke” is that the term failed to interpret it correctly and you can see the partially typed word before they changed it.
@prologic@twtxt.net its the puny code for the yarn emoji. Though you would want the type-able version to redirect so its not hard to type on non mobile.
java makes my head hurt. to be fair, every strongly typed lang makes it hurt.
@iolfree@tilde.club “I just typed in ‘censorship’ on pinterest and that is also completely banned.”
I just typed in ‘censorship’ on pinterest and that is also completely banned.
Large type legacy celebrated in 80 lines of go ⌘ Read more…
with !zet and !zetdo, I find myself constantly needing to type out UUIDs. thing is, they aren’t the easiest thing to type. might invent an intermediate typer-friendly intermediate UUID format that can then convert to the regular UUID format. #halfbaked
Are you able to coax your webserver to add the charset to the content type header? Browsers are having a hard time thinking you are sending latin-1
content-type: text/plain; charset=utf-8
@prologic@twtxt.net as promised! https://github.com/JonLundy/twtxt/blob/xuu/integrate-lextwt/types/lextwt/lextwt_test.go#
the lexer is nearing completion.. the tough part left is rooting out all the formatting code.
I may or may not have become involved in yet another blogging type thing, only this time it’s for writing fiction. Links will soon follow everywhere.
There are two types of computer programmers: Those who think that computers are the problem, and those who think that programmers are the problem.
@prologic@twtxt.netd so.. convert the 4 attributes in the struct to private, add getters plus some the other methods that make sense.
type Twt interface {
Twter() Twter
Text() string
MarkdownText() string
Created() time.Time
...
}
@prologic@twtxt.net I have some ideas to improve on twtxt. figure I can contribute some. 😁 bit more work and it will almost be a drop in replacement for ParseFile
Kinda wish types.Twt was an interface. it’s sooo close.
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