PEP 673: Self Type
This PEP introduces a simple and intuitive way to annotate methods that return
an instance of their class. This behaves the same as the TypeVar-based
approach specified in PEP 484
but is more concise and easier to follow. ⌘ Read more

line in question: https://git.mills.io/yarnsocial/yarn/src/branch/master/types/lextwt/ast.go#L793

line in question: https://git.mills.io/yarnsocial/yarn/src/branch/master/types/lextwt/ast.go#L793

My nutritional supplements aim should be:

• 1 or 1.5 cups of lentils (or any beans you might like better).
  
• 2 or 2.5 cups of bitter greens.
  
• 1 cup of your favourite protein (or an egg), grilled, or fried with a little of olive oil.
  
• 1 or 2 tomatoes, or a handful if of the cherry type.
  
• No added sugars. If it is sweet, make it have fibre.
  
• No added salt (or very little and ionised), as salt is everywhere.
  

Related, I tried wild rice for the first time yesterday. It was different, in a good way.

@stackeffect@twtxt.stackeffect.de

now Apache also announces content-type: text/plain; charset=utf-8

Well, that fixed things. 🥳

** Data Types and Variables in C **
I’ve been writing a heap of Lua lately — this has lead to my becoming interested, again, in C. Here are some ancient notes I dug up on the most basics of data types and variables in C.

All of a computer’s memory is comprised of bits. A sequence of 8 bits forms a byte. A group of bytes (typically 4 or 8) form a word. Each word is associated with a memory address. The address increases by 1 with each byte of memory.

In C, a byte is an object that is as big as t … ⌘ Read more

Mozilla Firefox now shows advertisements as you type in URLs
Reason #7,852 why I recommend people stay far away from Mozilla. ⌘ Read more

Looking for a Docker Alternative? Consider This.
Docker recently announced updates and extensions to our product subscriptions. Docker CEO Scott Johnston also posted a blog about the changes. Much of the discussion centered on what the licensing changes mean for users of Docker Desktop, which remains free for small businesses and several other user types, but now requires a paid subscription — starting […]

The post [Looking for a Docker Alternative? Consider This.](https://www.doc … ⌘ Read more

Gajim: Development News September 2021
September brought many updates under the hood. With big changes coming up in Gajim 1.4, many parts of the code have to be touched. These changes remain mostly invisible for users, but make Gajim more robust. In some cases, this results in visible improvements as well: Both Add Contact and Start Chat windows are now detecting the type of chat behind an address.

Since development on Gajim 1.4 started, a lot has changed under the hood. … ⌘ Read more

https://www.elastic.co/elasticon/global/agenda?solutionProduct=null&type=null&technicalLevel=null&day=day-0&sol=null&typ=null&lev=null 看來 ElasticON 有些議程是排在 CEST 時區白天的。這樣至少在 JST 傍晚可以看直播

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

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…

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.

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

@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

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

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.

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

@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

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

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.

@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

The Five Types Of Nicolas Cage Movies | FiveThirtyEight https://fivethirtyeight.com/features/the-five-types-of-nicolas-cage-movies/

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… :)

@tx@0x1A4.1337.cx Hard to type and remember and to add insult to injury a dictionary word… mhhh… :)

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.