![Uberto Barbini @ramtop.bsky.social Profile](https://pbs.twimg.com/profile_images/1234743064465412101/CTi3Pzi4_x96.jpg)
Uberto Barbini @ramtop.bsky.social
@ramtop
Followers
3K
Following
25K
Statuses
15K
Passionate programmer. Kotlin GDE https://t.co/pZS0qBJxUJ #TDD #FP #Kotlin
Fukuoka
Joined August 2009
Finally, after more than 3 years of work, my book about writing application with Kotlin in functional style is out: I'm super happy, thanks to all who helped me (too long a list!) It's still not finished but you can read it in Beta from @pragprog
14
35
188
@_JamesWard with the current state of LLMs I won't trust their "formal verification". Still there is a lot of value in making them write good code. As Hoare said: write code so simple there are obviously no bugs in it, or write code so complex that there are no obvious bugs in it.
1
0
2
RT @MatthewPope: New Year, New Job! RT. Last call. Applications close at the end of the 5th Jan, Sunday. Come & work with us bringing your…
0
15
0
enabling "run tests on gradle" is really a big slowdown
Another great video by @duncanmcg in which he gets to the bottom of #IntelliJ test runners' timings. There are too many IDE UX WTFs to mention and sadly most of them come down to #Gradle integration 😢
0
0
1
@ayuninotayutu @DanielW_Kiwi I'm visiting once in a while but much better on the other place...
0
0
1
RT @SkyYaldaHakim: 1159 days since the Taliban banned teenage girls from school. 699 days since the Taliban banned women from going to univ…
0
179
0