 |
t April 2020 |
|
tSu Mo Tu We Th Fr Sa |
|
t 1 2 3 4 |
|
t 5 6 7 8 9 10 11 |
|
t12 13 14 15 16 17 18 |
|
t19 20 21 22 23 24 25 |
|
t26 27 28 29 30 |
|
|
|
2020-04-27T10:32+0200 |
|
Dropped in real arithmetic for the Scala code generator. Now shape domain just |
|
works. |
|
|
|
2020-04-20T18:13+0200 |
|
Hacked with George. Now got the shape domain with S0 and S1 running in the Java |
|
generator. |
|
Fixed an annoying bug, where tests needed to reify Strings but were not |
|
initialized to do so. |
|
|
|
2020-04-20T11:27+0200 |
|
Fixed backspace and delete keys in vim on server: |
|
|
|
set backspace=indent,eol,start |
|
|
|
Thanks to: |
 |
The Vim Fandom Wiki |
|
|
|
2020-04-20T10:49+0200 |
|
Added vim key <Leader>d for inserting the date in .gph files: |
|
|
|
au BufEnter,BufNewFile,BufRead *.gph noremap <Leader>d :read !date -Iminutes |
|
|
|
2020-04-20T10:45+0200 |
|
Merged expression problem generator back into master |
|
|
|
2020-04-20T10:37+0200 |
|
Figured out that lines starting with a "t" in .gph files need another t: |
|
|
|
ttthe line needs two ts |
|
|
|
2020-04-20T10:12+0200 |
|
Implemented abstract real number arithmetic (sqrt, pow, log, sin, cos, ...) for |
|
tthe expression problem generator and its java instantiation. Main stumbling |
|
block was English word "real", which is more precise than "floating point". |
|
|
|
2020-04-20T03:12+0200 |
|
Fixed the server timezone setting according to |
|
Sabotage Linux Wiki |
|
Had to do |
|
|
|
kiss b tzdata |
|
kiss i tzdata |
|
|
|
And then |
|
export TZ=Europe/Berlin |
|
in |
|
/etc/profile.d/timezone.boot |
|
|
|
|
|
2020-04-20T02:30+0200 |
|
Figured out how to do gopher links on geomyidae .gph pages. |
 |
Remember Example |
|
|
|
2020-04-20T00:51+0200 |
|
Setup of my gopher server is done. |
|
It is hosted by Netcup and uses KISS Linux: |
|
Netcup |
|
KISS |
|
