00:08:48
##forth
<cleobuline>
forth: 1234567891234577 FPRIME2? .
00:09:08
##forth
<cleobuline>
mforth: LOAD "test.fth"
00:09:18
##forth
<cleobuline>
mforth: 1234567891234577 FPRIME2?
00:09:25
##forth
<cleobuline>
mforth: .
00:09:25
##forth
<mforth>
1
10:38:52
##forth
<veltas_>
GMP is cool isn't it
15:08:45
##forth
<cleobuline>
mforth: LOAD "test.fth"
17:00:24
##forth
<cleobuline>
mforth: " un montre poilu effrayant avec des tentacules et des gros yeux " IMAGE
19:30:54
##forth
<cleobuline>
mforth: : test
19:31:04
##forth
<cleobuline>
mforth: DUP
19:31:16
##forth
<cleobuline>
mforth: * . ;
19:31:24
##forth
<cleobuline>
mforth: 4 test
19:31:25
##forth
<mforth>
16
19:31:56
##forth
<cleobuline>
multilins definitions , an innovation on irc for a forth-bot
19:42:42
##forth
<crc>
cleobuline: my konilo bot also supports multiline definitions :)
19:43:35
##forth
<cleobuline>
koool !!!
19:44:10
##forth
<cleobuline>
but i do not speak the kolino langage yet :(
19:44:17
##forth
<cleobuline>
konilo
19:44:39
##forth
<cleobuline>
i will try
20:04:21
##forth
<cleobuline>
forth: LOAD "test.fth"
20:04:35
##forth
<cleobuline>
mforth: LOAD "test.fth"
20:04:42
##forth
<cleobuline>
mforth: QUIT
20:04:42
##forth
<mforth>
Environment for cleobuline has been freed.
20:04:50
##forth
<cleobuline>
mforth: WORDS
20:04:50
##forth
<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
20:04:56
##forth
<cleobuline>
perfect !
20:04:59
##forth
<cleobuline>
mforth: LOAD "test.fth"
20:12:31
##forth
<cleobuline>
mforth: ROLLDICES
20:12:31
##forth
<mforth>
<3> 4 5 6
21:00:50
##forth
<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
21:02:52
##forth
<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
21:04:53
##forth
<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
21:05:24
##forth
<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
21:15:13
##forth
<xentrac>
I think it's still true that some people claim they find the opposite presentation, general principle before specific examples, clearer
21:15:23
##forth
<xentrac>
maybe they do
21:15:40
##forth
<xentrac>
I don't have enough experience teaching to know