Angelos
angelosmann.bsky.social
Angelos
@angelosmann.bsky.social
Software/ML Engineer
Wrote this webrtc aec3 lib, pretty sweet rewrite github.com/RubyBit/aec3...
GitHub - RubyBit/aec3-rs: Acoustic echo cancel based on aec3 written in rust
Acoustic echo cancel based on aec3 written in rust - RubyBit/aec3-rs
github.com
November 29, 2025 at 8:48 PM
Are diffusion language models the future?

www.seangoedecke.com/limitations-...
August 22, 2025 at 11:44 PM
Reposted by Angelos
"As roboticists and computer vision people [outside of big tech], do we have to just wait for the next foundation model?"

I share the frustration. It's disempowering when most major progress recently is downstream of "foundation models" that you don't have the compute or data to train yourself.
August 21, 2025 at 5:37 PM
Good insight in regards to what to algo to choose and its caveats when you want to do distributed networking

transactional.blog/blog/2024-da...
Data Replication Design Spectrum
transactional.blog
August 22, 2025 at 11:59 AM
Another cool article about system design. Something to learn everyday

www.seangoedecke.com/good-system-...
Everything I know about good system design
I see a lot of bad system design advice. One classic is the LinkedIn-optimized “bet you never heard of queues” style of post, presumably aimed at people who are…
www.seangoedecke.com
August 21, 2025 at 10:40 AM
Reposted by Angelos
🎉 Lean 4.22.0 is here! It represents the culmination of our Year 2 roadmap! Including:

🧠 New grind tactic (SMT-style automated reasoning)

🏗️ New compiler (major performance foundation)

Read the release notes: lean-lang.org/doc/reference/latest/releases/v4.22.0/

#LeanLang #LeanProver
August 15, 2025 at 7:40 PM
Ugh I want to work on a project but too lazy to pick something
August 16, 2025 at 9:16 PM
Interesting article that gives a bit of an intuitive sense of what curse of dimensionality means geometrically. What does it mean to be the "normal"/mean person?

observablehq.com/@tophtucker/...
There’s Plenty of Room in the Corners
I was astounded! How had I lived so long without knowing such a profound and basic truth? For like six years I’d been curious about the curse of dimensionality and Big Sky Theory, but didn’t realize i...
observablehq.com
August 14, 2025 at 8:10 PM