More

veqq · 2025-12-17T07:30:40 1765956640

> IMAP + CalDev + CardDev sat on-top of cPanel is getting a bit long in the tooth

Why so?

CuriousRose · 2025-12-18T01:08:11 1766020091

- Very irritating to setup on mobile clients (iOS profiles are not a good solution)

- Usually hosted on shared VPSs where IP reputation is decimated (wonder how this will be affected by pure IPv6 hosts)

- Patching is often manual and forgotten about (n = 1)

- Backups are often an afterthought

veqq · 2025-12-17T07:29:58 1765956598

Kagi is just an AI company. (That was always their stated goal...)

veqq · 2025-12-15T19:47:44 1765828064

It is a solved problem, Assimil or Michel Thomas (in person) have been making people conversational within a week of dedicated study. Plenty of language learners have reached C2 in 6+ languages including me. But it's not fun and certainly not appable (and these apps never offer anything beyond flashcards)"appable".

bollu · 2025-12-15T20:40:07 1765831207

how does one get to conversational level in a week? I would love to know!currently anki-flashcarding my way through italian...

veqq · 2025-12-17T03:59:55 1765943995

Torrent Assimil Italian and... look. Instead of doing 1 lesson per day, just do them 1 after each other. It's literally that easy.

veqq · 2025-12-15T03:52:46 1765770766

https://janetdocs.org/ is a community documentation site for Janet, a small but mature Clojurelike Lisp.

veqq · 2025-12-15T00:55:43 1765760143

It's very nice. Phones are evil.

veqq · 2025-12-15T00:27:52 1765758472

The Shen project is quite fascinating - and tedious to work with, as evidenced by this book of images across different pages etc.

veqq · 2025-12-13T03:22:58 1765596178

> not sure English is a bad way to outline

Human language is imprecise and allows unclear and logically contradictory things, besides not being checkable. That's literally why we have formal languages, programming languages and things like COBOL failed: https://alexalejandre.com/languages/end-of-programming-langs...

stinkbeetle · 2025-12-13T04:42:33 1765600953

> Human language is imprecise and allows unclear and logically contradictory things,

Most languages do.

"x = true, x = false"

What does that mean? It's unclear. It looks contradictory.

Human language allows for clarification to be sought and adjustments made.

> besides not being checkable.

It's very checkable. I check claims and assertions people make all the time.

> That's literally why we have formal languages,

"Formal languages" are at some point specified and defined by human language.

Human language can be as precise, clear, and logical as a speaker intends. All the way to specifying "formal" systems.

> programming languages and things like COBOL failed: https://alexalejandre.com/languages/end-of-programming-langs...

DonHopkins · 2025-12-13T05:02:38 1765602158

  Let X=X.
  You know, it could be you.
  It's a sky-blue sky.
  Satellites are out tonight.

  Language is a virus! (mmm)
  Language is a virus!
  Aaah-ooh, ah-ahh-ooh
  Aaah-ooh, ah-ahh-ooh

veqq · 2025-12-12T06:53:31 1765522411

His other project Fennel's more well known, but not discussed here

veqq · 2025-12-08T19:29:43 1765222183

Which of Gamow's do you recommend? Physics Foundation and Frontiers looks nice.

srean · 2025-12-08T19:58:37 1765223917

My favorite is one two three ... infinity.

veqq · 2025-12-06T19:25:52 1765049152

Like the k language!