Skip to main content
Game Development
ice1000's user avatar
ice1000's user avatar
ice1000's user avatar
ice1000
  • Member for 7 years, 3 months
  • Last seen more than 1 year ago
Profile Activity
Stats
286
reputation
9k
reached
3
answers
7
questions
Communities
View all
About

I'm into univalent type systems. Worked on Agda and Arend, working on Aya.

Visit count (since 23 Feb 2023):

Badges
View all badges
This user doesn’t have any gold badges yet.
3
silver badges
19
bronze badges
Top tags
View all tags
5
Score
10
Posts
100
Posts %
2
Score
1
Posts
10
Posts %
2
Score
1
Posts
10
Posts %
1
Score
5
Posts
50
Posts %
0
Score
2
Posts
20
Posts %
0
Score
2
Posts
20
Posts %
Top posts
question
4
Swing KeyListener doesn't work when pressing Shift X Z and directions at the same time
Dec 6, 2017
question
2
How do I get text width and height in Swing/AWT?
Dec 7, 2017
answer
2
BufferedImage canvas is null
Nov 26, 2017
answer
2
Best way of implementing custom UI objects jawa.awt.Graphics
Nov 26, 2017
question
1
How can I `draw` something on a JavaFX WritableImage?
Nov 26, 2017
question
1
How to implement pixel level collision detection?
Nov 28, 2017
question
1
Is there a common library for key listener for Java?
Dec 4, 2017
question
1
How can I implement audio stop/pause/resume in Java?
Dec 5, 2017
answer
1
FillRecatangle set Opacity?
Nov 28, 2017
question
0
How can I play audio instantly in Java?
Dec 7, 2017
Top network posts
View all network posts
43
What are different ways of handling runtime errors?
41
Why do some PL choose to have a dedicated keyword for elseif instead of like in C?
41
IntelliJ: changing color of an unused variable
36
How to implement this Java interface in Kotlin?
32
What are the drawbacks of using indentation for code blocks?