Eagle-eyed folks may have noticed that I made a few wee changes to this website.
The biggest, and most noticeable one is that I’ve filtered out all of the like
type posts from appearing on the main feed, from rss, and in the archives. There were waaaaay to many, so filtering them out makes the entire website a lot more navigable. They are not gone, though, and I’ll probably keep sharing like
type posts, but now they ar … ⌘ Read more
I just went to type the phrase “I avoid Linux like the plague” but then remembered that we’ve all learned that most people won’t actually go much out of their way to avoid the plague.
平凯星辰获评《金融电子化》2021 金融业新技术应用创新突出贡献奖
近日,《金融电子化》杂志社发布了 “2021 第十二届金融科技应用创新奖” 评选结果,平凯星辰(北京)科技有限公司(以下简称 “平凯星辰”)榜上有名,这是对平凯星辰在金融科技领域的创新成果与能力的充分肯定。

go 1.18 泛型初体验
go 1.18 泛型初体验go.1.18beta 版发布,众所周知这个 go.1.18 版本会默认启用 go 泛型。这个版本也号称 go 最大的版本改动。
初识 golang 的泛型我们写一个 demo 来看看 go 的泛型是长啥样
”`
package main
import (
<span class="s">"fmt"</span>
)
type OrderTypesRead more”`
On the blog: Amateur Stenography https://john.colagioia.net/blog/2021/11/28/steno.html #education #technology #opensource #typing
** Operators in C **
Following up my notes on Data Types and Variables in C here are notes on operators in C.
An operator is a symbol that represents a mathematical or logical operation. An operator effects operands.
C provides a number of operators.
Some arithmetic operators include,
”`hljs plaintext
+*
/
%
”`
%
is the most exciting of the list, it is called modulo and it returns the remainder after division. Of note, modulo c … ⌘ Read more
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
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 傍晚可以看直播
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
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)
@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.” https://i.imgflip.com/1ppi4p.jpg
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
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
Personality types ⌘ https://hack.org/mc/blog/personality.html
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…? ;)
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.
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
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/
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
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… :)
HTML5, Input-Types, Form-Validierung und WordPress ?~L~X https://notiz.blog/b/140