Giorgos Georgiadis
@beyond.bsky.social
Distributed systems & algorithms expert, joined the Dark Side (=Mgmt). Previously philosopher-activist in flat org culture, currently guerilla bureaucrat.
I’ll admit my first reaction was “ugh, academics…” 😊 But this is not half-bad. LLMs are great at translating fuzzy language into formal structure, and reducing that into something like 3-SAT (NP-complete, sure, but with mature, standardized solvers that work well in practice) is 🤌. Awesome work ❤️
www.stephendiehl.com/posts/smt_an... turns out, these language models can actually be good for something ;) good post @www.stephendiehl.com !
Interfacing MCP with Combinatorial, Convex, and SMT Solvers
Personal Blog
www.stephendiehl.com
June 4, 2025 at 5:42 AM
I’ll admit my first reaction was “ugh, academics…” 😊 But this is not half-bad. LLMs are great at translating fuzzy language into formal structure, and reducing that into something like 3-SAT (NP-complete, sure, but with mature, standardized solvers that work well in practice) is 🤌. Awesome work ❤️
This thread. And the essay which (I guess) prompted it: bsky.app/profile/jame...
See: genocide.
For years we argued whether genocides - the holocaust, Rwanda, former Yugoslavia - could have been prevented if more people saw, if more people unarguably *knew* it was occurring. Now we know the answer.
For years we argued whether genocides - the holocaust, Rwanda, former Yugoslavia - could have been prevented if more people saw, if more people unarguably *knew* it was occurring. Now we know the answer.
May 27, 2025 at 10:32 AM
This thread. And the essay which (I guess) prompted it: bsky.app/profile/jame...
Reposted by Giorgos Georgiadis
"Absolute Mode". For when you're tired of sycophancy.
May 10, 2025 at 4:07 PM
"Absolute Mode". For when you're tired of sycophancy.
I’m really enjoying this thread. The topic’s pretty bleak - but then again, what isn’t these days? Still, when it comes to ‘dancing on the wreckage,’ this is top-tier🥇
chairman trump, the people yearn for a great leap forward. we will revitalize american manufacturing with a fleet of garage 3d printers that stretches from sea to shining sea.
April 8, 2025 at 5:30 AM
I’m really enjoying this thread. The topic’s pretty bleak - but then again, what isn’t these days? Still, when it comes to ‘dancing on the wreckage,’ this is top-tier🥇
Indeed it does
that punchline slaps hard
Guys, I’ve just seen the worst job advert in the world. Absolute state of this.
February 6, 2025 at 6:18 AM
Indeed it does
Absolutely! Yet, reshaping the network’s structure to influence the flows of power is no small feat. It requires intentionality and collaboration to redefine those dynamics.
'Minds thinking alike' moment w/ @jfoss117 : bsky.app/profile/jfos...
'Minds thinking alike' moment w/ @jfoss117 : bsky.app/profile/jfos...
Hm. Hadn't heard of the term "freedom of reach" before, but it's interesting. Implies more about the right to a network SHAPE, rather than a right to push an arbitrary CONTENT signal into the network. I deeply vibe w that. Feels like the 2nd-order requirement for being #agentic in the human network
Et c'est clairement le même concept qui est derrière "droit de l'amplification" / "permis d'amplification" / "freedom of reach" oui :)
December 12, 2024 at 4:40 AM
Absolutely! Yet, reshaping the network’s structure to influence the flows of power is no small feat. It requires intentionality and collaboration to redefine those dynamics.
'Minds thinking alike' moment w/ @jfoss117 : bsky.app/profile/jfos...
'Minds thinking alike' moment w/ @jfoss117 : bsky.app/profile/jfos...
Reposted by Giorgos Georgiadis
Hm. Hadn't heard of the term "freedom of reach" before, but it's interesting. Implies more about the right to a network SHAPE, rather than a right to push an arbitrary CONTENT signal into the network. I deeply vibe w that. Feels like the 2nd-order requirement for being #agentic in the human network
Et c'est clairement le même concept qui est derrière "droit de l'amplification" / "permis d'amplification" / "freedom of reach" oui :)
December 11, 2024 at 7:06 PM
Hm. Hadn't heard of the term "freedom of reach" before, but it's interesting. Implies more about the right to a network SHAPE, rather than a right to push an arbitrary CONTENT signal into the network. I deeply vibe w that. Feels like the 2nd-order requirement for being #agentic in the human network
This is both inspiring and unsettling, but thought-provoking nonetheless.
December 3, 2024 at 6:37 AM
This is both inspiring and unsettling, but thought-provoking nonetheless.
Reposted by Giorgos Georgiadis
If you're looking for ppl doing interesting work w pol.is & #PolisLike #democracy tools (aka #wikisurvey #consensus), please do skim this starter park! #bridgingsystems #civictech (Slowly curating from the Twitter list I've been maintaining for a few years)
Suggestions welcome!🙏🏻
go.bsky.app/Ftj3nqW
Suggestions welcome!🙏🏻
go.bsky.app/Ftj3nqW
November 16, 2024 at 2:07 AM
If you're looking for ppl doing interesting work w pol.is & #PolisLike #democracy tools (aka #wikisurvey #consensus), please do skim this starter park! #bridgingsystems #civictech (Slowly curating from the Twitter list I've been maintaining for a few years)
Suggestions welcome!🙏🏻
go.bsky.app/Ftj3nqW
Suggestions welcome!🙏🏻
go.bsky.app/Ftj3nqW
Maybe it's finally time to scram from the bird site
November 30, 2023 at 3:55 PM
Maybe it's finally time to scram from the bird site
LLMs are great: "I changed 'Giannis' to 'Giorgos' which is more in line with Greek naming conventions" 😂
August 11, 2023 at 9:35 AM
LLMs are great: "I changed 'Giannis' to 'Giorgos' which is more in line with Greek naming conventions" 😂
Thread of excellence. Thank you for making me feel welcome Blue Sky ❤️
Seriously considering putting this on my car. But for now it’ll live on my fridge.
July 4, 2023 at 5:31 AM
Thread of excellence. Thank you for making me feel welcome Blue Sky ❤️