Inspired by two projects of github:schildep I start to explore what can be expressed in Lean and make coding agents implement and prove the implementation at the same time.
@kapankatsuragiprofilefollowI may know more about Disney History and trivia than you. Maybe, I dunno.
I write about pop culture on Super Review Time.wrote:
trying to revive the blogging golden days. recommend some blogs with rss feed about game, movie reviews, and animation. or comic strips, traditional or webcomic.
𐑲𐑝 𐑚𐑰𐑯 𐑦𐑯𐑕𐑐𐑲𐑼𐑛 𐑑 𐑒𐑫𐑒 𐑥𐑹 ·𐑡𐑨𐑐𐑩𐑯𐑰𐑟 𐑓𐑵𐑛 𐑤𐑱𐑑𐑤𐑦 𐑕𐑴 𐑓 𐑛𐑦𐑯𐑼 𐑲 𐑥𐑱𐑛 𐑕𐑨𐑥𐑩𐑯 𐑑𐑧𐑮𐑦𐑘𐑭𐑒𐑰, 𐑥𐑰𐑕𐑴 𐑕𐑵𐑐, 𐑮𐑲𐑕, 𐑯 𐑐𐑦𐑒𐑩𐑤𐑟.
I’ve been inspired to cook more Japanese food lately so for dinner I made salmon teriyaki, miso soup, rice, and pickles.
So we can't use em dash anymore — lest we anger the mob. Truth be told though, English teachers have always discouraged em dash overuse because it is a subtle art and very easy to get wrong.
The funny thing is that in the UK, we don't really use the em dash anyway. We use the hyphen (I guess en dash?) with a space each side. So the em dash has always looked a bit odd to us... 😊
There are dashes (-), as well as en dashes (–), and there are em dashes (—), not to miss the mighty center dot (•) that looks like a perky boob when surrounded by brackets haha
@asmund🥷profilefollowFather, getting older every day, technologist, enterprise architect @ work, like to explore tech. Like to keep it simple and work in the shell, write in vim, prefer Debian if I have the choice. Plays saxophone and clarinet. Enjoy motorcycle riding, photography, hiking. Christian.replied to@ku🤔profilefollowHai I am ku:
Just get and read Chicago Manual of Style, or Oxford Style Manual if you so prefer, and you’re all set to use the various dash’es (and many other things).
The anti-slop mob is tiresome. With a careful and appropiate use of ai it is possible to make a lot of interesting stuff. And I hate even more when the mob "profs" that the text is ai using those ai detectros that can't detect ai.
Collected my helper functions to lozenge.el package, e.g. (◊duckduckgo
"textlog") opens ddg. Lozenge is ◊ character. Others are
(◊find-file), (◊grep), (◊github-search), (◊show-commit) etc.
You've hit the nail on the head. But here's the mindblowing part—writing isn't just about text on a page.
It's not about listing a bunch of facts to memorize.
Writing is about human connection.
And here's where it gets even more fascinating...
[parody, not AI]
Some writing yes, If you want to write a post saying why your company has a position yes; if you are documenting an API, does the average swagger page have a human connection factor?
If you are in X/FB, is any of your followers a "human connection"?
Then, in some spaces, say big corp communications, the terse, direct communication is desired, for example the quarter earning communication?
What about software?, what part of your browser gives you the "human connection"?
If writing (incl X/FB posts) is meant to convey "some human being did/saw/thought this and found it worth writing about", then AI undermines human connection and will annoy people. API docs, earnings reports, &c never conveyed that to begin with, so nobody will care about AI use.
I think slop is not taking the time to refine and polish and simply publishing something as it was handed to you by the #AInotesfollow. You use AI but the decisions should be yours. Otherwise it's #slopnotesfollow.