2025-04-11 00:08:48 <cleobuline  > forth:  1234567891234577   FPRIME2?   .
2025-04-11 00:09:08 <cleobuline  > mforth:  LOAD "test.fth"
2025-04-11 00:09:18 <cleobuline  > mforth:  1234567891234577   FPRIME2?
2025-04-11 00:09:25 <cleobuline  > mforth:  .
2025-04-11 00:09:25 <mforth      > 1
2025-04-11 10:38:52 <veltas_     > GMP is cool isn't it
2025-04-11 15:08:45 <cleobuline  > mforth:  LOAD "test.fth"
2025-04-11 16:10:53 <user51      > xentrac: Any further insight on this?  https://dercuano.github.io/notes/gelfand-principle.html
2025-04-11 17:00:24 <cleobuline  > mforth:  " un montre poilu effrayant avec des tentacules et des gros yeux " IMAGE
2025-04-11 17:00:37 <mforth      > https://i.ibb.co/KpWb4WyJ/mforth-image-ch-B4-FQ.png
2025-04-11 19:30:54 <cleobuline  > mforth:  : test
2025-04-11 19:31:04 <cleobuline  > mforth:  DUP
2025-04-11 19:31:16 <cleobuline  > mforth:  * .  ;
2025-04-11 19:31:24 <cleobuline  > mforth:  4 test
2025-04-11 19:31:25 <mforth      > 16
2025-04-11 19:31:56 <cleobuline  > multilins definitions , an innovation on irc for a forth-bot
2025-04-11 19:42:42 <crc         > cleobuline: my konilo bot also supports multiline definitions :)
2025-04-11 19:43:35 <cleobuline  > koool !!!
2025-04-11 19:44:10 <cleobuline  > but i do not speak the kolino langage yet :(
2025-04-11 19:44:17 <cleobuline  > konilo
2025-04-11 19:44:39 <cleobuline  > i will try
2025-04-11 20:04:21 <cleobuline  > forth:  LOAD "test.fth"
2025-04-11 20:04:35 <cleobuline  > mforth:  LOAD "test.fth"
2025-04-11 20:04:42 <cleobuline  > mforth:  QUIT
2025-04-11 20:04:42 <mforth      > Environment for cleobuline has been freed.
2025-04-11 20:04:50 <cleobuline  > mforth:  WORDS
2025-04-11 20:04:50 <mforth      > USERNAME .S . + - * / MOD DUP DROP SWAP OVER ROT >R R> R@ = < > AND OR NOT XOR & | ^ ~ << >> CR EMIT VARIABLE @ ! +! DO LOOP I WORDS LOAD CREATE ALLOT ." CLOCK BEGIN WHILE REPEAT AGAIN SQRT UNLOOP +LOOP PICK CLEAR-STACK PRINT NUM-TO-BIN PRIME? FORGET STRING " 2DROP IMAGE TEMP-IMAGE CLEAR-STRINGS DELAY EXIT MICRO MILLI
2025-04-11 20:04:56 <cleobuline  > perfect !
2025-04-11 20:04:59 <cleobuline  > mforth:  LOAD "test.fth"
2025-04-11 20:12:31 <cleobuline  > mforth:  ROLLDICES
2025-04-11 20:12:31 <mforth      > <3> 4 5 6
2025-04-11 21:00:50 <xentrac     > user51: well, I've been memorizing Chinese vocabulary recently, and it strikes me that it was a particularly poor example of Gowers's point.  not that the vocabulary isn't arbitrary and memorization-demanding, but if languages' vocabularies are on a spectrum from more arbitrary to more systematic, Chinese is way over on the systematic end of the spectrum
2025-04-11 21:02:52 <xentrac     > I've shifted my test-first development to use Hypothesis more often, which allows me to write tests for the general case instead of listing a bunch of examples, but I haven't abandoned writing specific example tests
2025-04-11 21:04:53 <xentrac     > in general I think it's still true that I find specific examples before general principles easier to understand, and that both are necessary
2025-04-11 21:05:24 <xentrac     > if for some reason you only had room to state one, stating the general principle would be better, because you can derive specific examples from it, but not vice versa
2025-04-11 21:15:13 <xentrac     > I think it's still true that some people claim they find the opposite presentation, general principle before specific examples, clearer
2025-04-11 21:15:23 <xentrac     > maybe they do
2025-04-11 21:15:40 <xentrac     > I don't have enough experience teaching to know