geckones

3 ms·

1.
How I see software dev in AI era(dhilst.github.io)
4 points by geckones 7d ago|0 comments
2.
I vibecoded a tool to shrink Golang codebase automatically(github.com)
2 points by geckones 8d ago|1 comments
3.
by geckones 8d ago
Hello! I am a developer, and you probably are too. If you do, you're probably working with AI, and probably there is an agentic coding tool spitting text somewhere in your compute while you read this. Something I noticed is that these
4.
by geckones 3mo ago
I updated the tutorial and the game; the most prominent update is that the editor now suggests fixes that solve copy/paste and mechanical editing. It makes the experience a lot better. I also refactored the tutorial to be more introduc
5.
by geckones 3mo ago
I improved the editor to allow auto-completion, and clicking on the errors almost always suggests a fix. wip -> qed always work. (:
6.
by geckones 3mo ago
Yeah, I guess I can fix this easily by using qed instead of wip in the templates, but I have to check if the error messages will persist, I believe the qed error suppress the helpful messages now. But this does not scale, there is a lot of
7.
by geckones 3mo ago
I didn't thanks for sharing It looks a cool project, definetely related
8.
by geckones 3mo ago
Yeah the game was thought to be an extension of the tutorial and an educational/grinding environment for the theory and the language. About interacting with text, in that case I think it is exactly the opposite. The purpose is to be a
9.
by geckones 3mo ago
Oh you just said "seed 0" I will try it
10.
by geckones 3mo ago
I fixed some bugs regarding the stairs. Can you share your seed? I can play the same game and try to reproduce it. It shows up in the top-right corner
11.
by geckones 3mo ago
done!
12.
by geckones 3mo ago
The developer here! Thanks for all the feedbacks, here are some more info There is a tutorial: https://dhilst.github.io/algae The project (algae) is a algebraic specification tool. This means it is intended to allow you to