Brewing — https://teapaw.org/t.co/anAz5fowvJ Brewing software slowly — https://teapaw.org/t.co/vU5pUceUe4 Leading the Greek Elixir community — https://teapaw.org/t.co/Ao89BJjmIr
Thessaloniki, Greece
Joined March 2008
- Tweets11.4K
- Following1.9K
- Followers2.3K
- Likes6.6K
Pinned Tweet
Every tech related gathering has to give away stickers. It's a tradition. Greece |> Elixir could not have come short. A little 🌟 created by Amignosis #MyElixirStatus #GreeceElixir
What I don't understand is why Agents keep on measuring software development estimates in human terms. The other day, Claude told me a PR would take 5 days, but we both knew it would be a 1 hour back and forth. Weird.
Petros Amoiridis retweeted
Small announcement: ✅ formal-git
As an experiment, over the last 2 months we've modelled ~30% of Git in Lean 4, making heavy use of coding agents, and proved >8000 theorems of varying usefulness about the implementation.
In the process of doing this we've uncovered >100 potential defects in Git v2.55, at least two of which may constitute security vulnerabilities. We've also built a DRT (differential random testing) harness and the biggest corpus of relevant pinned differential test cases for Git implementations with >10k unique tests at the moment.
We've used the test cases to test our own small internal implementation of Git in TypeScript. The next step will be to differentially test all notable public Git implementations against this corpus of tests to help improve their correctness and security 🫡 We'll be reaching out to library maintainers in due course.
If you have a Git implementation you'd like us to help you test, please reach out and let me know. We'll open-source all this eventually, after potential security issues that were uncovered are responsibly disclosed and fixed.
ALT Infographic: Reads: formal-git, Git, rebuilt in Lean 4, with machine-checked proofs
Petros Amoiridis retweeted
A private, local dashboard for everything you’ve done with Claude Code.
What you’ve worked on, what ran, what’s installed and how many tokens it’s used.
Free & Open source at: github.com/staceb/claude-ses…
Petros Amoiridis retweeted
It is amazing how quickly things can change for you if you manage to just get a single “yes.” In 2019, bored on summer break from college, I randomly emailed a book proposal to @pragprog. Miraculously, they said yes
After the book was published, I was introduced to @josevalim who crazily said “yes” to sponsoring some early work on ML in Elixir, from somebody who had zero OSS experience and very little professional experience
Both of these things basically kickstarted my entire career. Because of a couple of people saying “yes” I have been able to work on many cool things, and hopefully many more! It is important to remind yourself that a single “yes” benefits you far more than 1000 rejections hurt you
I respect you and am inspired by your work. But I have to say you are wrong on this one. You need zero tests to say Rust is faster than most GC/dynamic languages. That's not the debate. The debate is in the context of a whole system whether that matters. And that test needs more care and time to produce conclusive results. Because you are influential, it is important to also share any caveats to your conclusions. If working properly with something like Elixir or Ruby, matches the final system built in Rust, then saying Rust is faster, which we already know, is pointless.
This was supposed to be a quoted reply. Not sure what happened here. I am referring to @dhh's recent Rust comparison benchmarks with Campfire.
I am surprised Elixir isn’t the winner here honestly. If this about testing speed of a process, we don’t need tests. Rust clearly wins. But what about speed and load handling of a properly architected Elixir system?
Do you have the prompts or threads publicly available?
The agent clearly chose to follow Rails compatibilty more closely in the Elixir version. So a few of Rails limitations got ported to the Elixir one. Here is an example from the README itself:
> Elixir retains Redis and Resque-compatible jobs, while Rust uses integrated queues and a different frontend/server implementation.
The agent knows, it just chose to prioritize something else, which will always happen if you are not steering.
I am certain coding agents can spot those issues and bring the numbers up for both Elixir and Go with no troubles whatsoever (although I don't expect them to beat Rust).
I love this article from @josevalim
Petros Amoiridis retweeted
If we're not going to write or read the code anyway, use a technology that scales vertically and horizontally with as few moving parts as possible, like Phoenix and Elixir.
Because when you have no clue what is happening, managing Phoenix+DB will be easier than App+DB+AuthService+Functions+Redis+Whatever
Ayreon radio on Spotify is my favorite new programming background music. Or whatever's left of programming.
Petros Amoiridis retweeted
Language doesn’t matter when running your app on one machine
Language matters a LOT in a distributed system
- @chris_mccord
(Ahem, Elixir)
I have already used @heyhey CLI via Claude Code to automate a monthly expense process that was really annoying. Good times.
I love asking Claude Code to use Elixir for helper scripts instead of Python when building custom skills for my own use 😅.
Petros Amoiridis retweeted
Hooray! Now you can ask Tidewave to record a video of the feature it just implemented and attach it to your pull request automatically!
Sometimes it's easier to show than tell. We're sure this update will help with that. 👀
GitHub CLI now has a repeatable --attach flag that uploads a local image or video. Reference it inline in an issue, pull request, or comment body.
Available now to all users on GitHub across all plans. 🎉
github.blog/changelog/2026-0…
Internet be like. Eat white rice. Don't eat white rice. Fast, don't fast. Eat only meat. Don't eat only meat. Take 14532374 supplements, don't take any just focus on eating right. Do an afternoon siesta. Never sleep during the day. Drink coffee. Don't drink coffee. STFU.
Petros Amoiridis retweeted
@github Hey friends. ICYMI, there is a bug with emoji reaction to comments. When adding one, it isn't instant — I have to refresh the page to see it. I can recreate this in latest Chrome and latest Safari.