There is a type of flourishing available to a cat that is only rarely available to us. A human is never simply what she is, but is always striving to become something she is, as yet, not. This is the result of a self-image – a conception of herself and what her life should be – which, when unrealised, can occasion frustration and despair. What the Cat Knows (2020) | Hacker News

I typed in “trenta” (Starbucks for “XL”) into my iPhone and it didn’t recognize it as a real word. Does Apple not understand its primary audience?

In reply to: GitHub - hoppecl/jamlang0001

A small dynamically typed programming language with first-class comments, where every value is explained by a comment. ⌘ Read more

Reflection in golang
Reflection in Go is a form of metaprogramming. Reflection allows us to examine types at runtime. It also provides the ability to examine, modify, and create variables, functions, and structs at runtime. The Go reflect package gives you features to inspect and manipulate an object at runtime. Reflection is an extremely powerful tool for developers and extends the horizon of any programming language. Types, Kinds and Values are three important pieces of reflec … ⌘ Read more

The Hardest Problem in Type Theory - Computerphile ⌘ Read more

Words I cannot type rightly at the first attempt: testimonial, accessibility, successful

“showing that you care” type signalling depends on the sunk cost fallacy; or, there was selection pressure against the sunk cost fallacy (modulo reputation effects)

Kaidan: Kaidan 0.8 released: Typing notifications & message synchronization ⌘ Read more…

http://cvsweb.openbsd.org/cgi-bin/cvsweb/~checkout~/ports/meta/gnome/pkg/README-main?content-type=text/x-cvsweb-markup gnome openbsd

https://www.la-becanerie.com/commodo-gauche-adaptable-type-origine-honda.html varadero

Types of Scientific Paper ⌘ Read more…

Netaddr - a new IP type for Go ⌘ Read more…

The advice about interviewing being exhausting is spot-on. Recruiting, interviewing, and hiring candidates is a very different type of work than most of us engineering types enjoy. Until you’ve developed a thick skin, it can also be emotionally draining to reject candidate after candidate. I’m an interviewer at my company and burnt out | Hacker News

@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.”

Image

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.

⌘ https://eli.li/2020/12/6/strubell-s-study-found-that-one-language-model-with-a-particular-type-of-neural-architecture-search

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