@carpetbomberz@mastodon.online @igb@mastodon.hccp.org @jay@macaw.social
I know nothing about Clojure and even less about writing code for the JVM, that said if I'll ever had or want to, I'd most probably start from Clojure. They got my attention.
Remote
Alex
@alex@fosstodon.org
mastodon 4.7.30 Followers
0 Following
25 Posts
Joined July 23, 2018
Website:
Micro blogging:
I have to thank Instagram dearly for finally adding annoying adds and thus putting an end to my unfrequent but hard to die doomscrolling.
Nothing could have been more effective 🥰
I Left Port 22 Open on the Internet for 54 Days. Here's Who Showed Up.
https://arman-bd.hashnode.dev/i-left-port-22-open-on-the-internet-for-54-days-here-s-who-showed-up
I wasn't satisfied with the quality of available "Awesome Lists" for Pi coding agent (https://pi.dev) so I started to work on my own:
Contributions welcome!
Today I learn that the IndieWeb can be very addictive
With latest release I can now interact with Pi from within PRs reviews and review comments, personally I don't have any more feature requests for https://github.com/shaftoe/pi-coding-agent-action for now but feel free to add your own if you have ideas ✌️
Very happy with my new nerdy workflow
1. go to the pool ⛱️
2. choose existing/create new issue in GitHub mobile app
3. have https://pi.dev/ work on it triggered by `/pi` comment
4. review/iterate on created PR with more `/pi` comments
5. LGTM (or close PR)
6. back to 1
https://github.com/shaftoe/pi-coding-agent-action is underrated
Finnally found the will to rebuild my personal blog/website, dropped Hugo in favour of Astro, let's see how long this setup will survive...
Also took the chance to update the style because I feel like retro.
Let me know what you think!
I decided to try out https://pi.dev/ and I missed the GitHub integration from OpenCode so here we go:
Usually I get lost half way through episodes but I really enjoyed all of the last one from PBS Space Time
Agents are lazy, mine quickly learnt how to add `//nolint` whenever fixing the problem gets tough.
Relatable, but I pay you for NOT being lazy 💸
> This is a fantastic project mapping the global surveillance industry
https://www.schneier.com/blog/archives/2024/08/surveillance-watch.html
We just released the beta of the new Windows desktop client 🥳
https://platoteam.medium.com/plato-for-windows-beta-49b5d85c9e60
Replying to
@cybrpop@mastodon.social @Tutanota@mastodon.social
looks good, unfortunately all the content creators I follow are currently on YT so I'm stuck there. Kind of the same as what happens with GitHub
Replying to
@cybrpop@mastodon.social @Tutanota@mastodon.social
I'll check them out, tnx. Yeah I hope more people will take the leap out of YT eventually but I'm not optimist about it, see how many users are still on Twitter even when better alternatives like Mastodon exist.
Replying to
@cybrpop@mastodon.social @Tutanota@mastodon.social isn't it called the network effect? the risk of losing followers jumping on a different platform is percived as too high, even if the other platform is more attractive for whatever reason (functionalities, etics, cosmetics, etc)
Replying to
@cybrpop@mastodon.social @Tutanota@mastodon.social
actually I'm usually quite happy to jump on a better platform once it's available. E.g. I've been using Proton Mail since... well, many years, can't remember exactly. Same for leaving Twitter for Mastodon, Dropbox for Resilio Sync, and others.
The problem is mainly with GitHub and YouTube. Alternatives are technicaly very good but, being these content platforms, the actual content is what makes the "relationship", not the brand/platform.
Replying to
@cybrpop@mastodon.social @Tutanota@mastodon.social
yeah I'm not saying I like the status quo, quite the opposite, especially because the enshittification process many services went through, I don't have a solution though. I'm especially worried about GitHub, I wish more projects would do what eg Zig did (migrate to Codeberg) but I'm not optimist.
Replying to
@Tutanota@mastodon.social Google search is unusable since years and once one tries DuckDuckGo or any other decent search engine there's no way back.
I wish I could ditch YouTube as I did for every other Google product already but currently a replacement doesn't really exist afaik