Skip Navigation

Posts
6
Comments
625
Joined
4 yr. ago

  • I guess it could be some language with a totality checker where the total keyword goes between the type and the name? Idris has a total keyword but it comes before

  • I'm curious: is there any operating system where a program can somehow inherently trust it via some form of verification?

  • Read this in Wheatley's voice

  • Bugger!

    Jump
  • It actually is,

    enterology (English) -> entero- (Latin prefix) -> ἔντερον (Greek) -> h₁énteros (PIE) -> intrō (Latin) -> enter (English)

  • You could say... I'm some king of gaster...

  • Grinch

    Jump
  • I got concerned here before I realised it was referring to the animal ("bird" here is a misogynistic term for woman)

  • Who asked about America

  • I've heard ICE is closer to the SA than ths Gestapo, since the Gestapo was mostly intelligence while SA was brute force

  • Haskell also tends to have really small main functions, since the functional paradigm encourages splitting it up

  • The "intransitive" verb form is still transitive, just expressed in the passive voice

    "Fuck" can be used as an intransitive verb though: "John fucks"

  • Clever

    Jump
  • mać

  • I actually have a usecase for virtual keyboards - being able to easily change the layout on-the-fly (which is obviously impossible with a physical one)

  • My thoughts depend on what I'm thinking about

    If I'm talking/writing in English I'm obviously thinking in English

    Same with Polish

    However, I tend to think of programming and computing stuff in English and maths stuff in Polish

  • It's time for a nushell

  • Deleted

    Permanently Deleted

    Jump
  • Yeah there's a weird assumption that everyone is American here

    I think it got brought over from Reddit it sucks

  • I see "'ve" used in the possessive context, it's not super rare but it's not super common

    I think it's more common in some places

    "I've no idea what you two are doing" is a valid sentence

  • Yritän oppia suomen, mutta unohdin harjoitella kuukausin ajan

    (If I made a mistake tell me)

  • When I went to look up the gane I accidentally typed verloren.net instead of veloren.bet and got a weird German website about the author losing something so that explains it

  • Correct