@georgetakei Wonderful.
Notices by dwardoric (dwardoric@chaos.social)
-
Embed this notice
dwardoric (dwardoric@chaos.social)'s status on Wednesday, 10-Jan-2024 06:21:13 JST dwardoric -
Embed this notice
dwardoric (dwardoric@chaos.social)'s status on Saturday, 23-Sep-2023 18:27:05 JST dwardoric @necrosis @kaia Quidquid latine dictum sit, altum sonatur. 😄
-
Embed this notice
dwardoric (dwardoric@chaos.social)'s status on Saturday, 23-Sep-2023 18:14:51 JST dwardoric @necrosis Vermutlich erleben wir eher Latein oder Situationen wie "Wie? Sie sprechen kein Altgriechisch?" ;-)
-
Embed this notice
dwardoric (dwardoric@chaos.social)'s status on Thursday, 25-May-2023 15:14:12 JST dwardoric @vascorsd @feld Haven't touched it in ages but good to see that there is still momentum. I can recommend dipping your toe in it, I always enjoyed it. A bit verbose but nice.
Also good to see where refined types are coming from. But be warned: you'll likely miss them instantly in other languages. ;-) -
Embed this notice
dwardoric (dwardoric@chaos.social)'s status on Thursday, 25-May-2023 15:14:09 JST dwardoric @sotolf @vascorsd @feld *falling down the APL/K/J/Q rabbit hole* ;-)