Skip to main content
LTB's user avatar
LTB's user avatar
LTB's user avatar
LTB
  • Member for 5 years, 1 month
  • Last seen more than a month ago
  • Germany
Profile Activity

Stats

71
reputation
2k
reached
2
answers
5
questions
Communities

About

I teach computer science in high school, give workshops to other CS teachers and try to advance CS education in general.

I'm interested in (but have no experience with) functional programming and I'm trying to think of ways functional programming might facilitate teaching CS in high school.

Badges

This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
6
bronze badges

Top tags

0
Score
5
Posts
71
Posts %
0
Score
4
Posts
57
Posts %
0
Score
2
Posts
29
Posts %
0
Score
2
Posts
29
Posts %
0
Score
1
Posts
14
Posts %
0
Score
1
Posts
14
Posts %

Top posts

2
Is Dafny 4.10 too powerful for exercises in Leino's book "Program proofs"?
Mar 29, 2025
2
How does an Etherpad client learn the server's api key?
Jan 9, 2022
1
Why does Dafny verify this?
Jun 5, 2025
1
Possible side effects when several CommandLine instance "work" on the same instance of an annotated class?
May 6, 2022
0
Possible side effects when several CommandLine instance "work" on the same instance of an annotated class?
Jul 5, 2022
0
Using picoCLI to recursively parse configuration files?
Jul 5, 2022
0
Using picoCLI to recursively parse configuration files?
Jul 5, 2022