Orestis Melkonian

2023-2026: Formal Methods @ Input Output (IOHK)
2019-2023: PhD @ University of Edinburgh

Seizing the means of production (code) with dependent type theory.

[Input Output Group @IOGroup]

🎉Congratulations to @omelkoni who presented Learning Structure-Aware Representations of Dependent Types at the Thirty-Eighth Annual Conference on Neural Information Processing Systems (NeurIPS 2024) last week in Vancouver, Canada.

📃This is Input | Output’s first paper on AI and machine learning. It’s an exciting example of how an innovation company can drive change across multiple sectors, and bring a multidimensional approach to improving systems of the world.
A big shout out to @omelkoni and his co-authors Konstantinos Kogkalidis and Jean-Philippe Bernardy.

Read the paper now in the IO library at https://t.co/9bPhPiAdhw

[Orestis Melkonian @omelkoni]

@_julesh_ shameless plug:
https://t.co/EBZTRsELFB

[Orestis Melkonian @omelkoni]

@EscardoMartin @codydroux This is a new development that you might find interesting:
https://t.co/ziwdFla4Mg

[Orestis Melkonian @omelkoni]

The 31st Agda Implementors' Meeting (AIM XXXI) just finished and it was a blast!! Here are the recordings of the talks: https://t.co/oHH40ClrHl

[Orestis Melkonian @omelkoni]

Want to slowly seize the means of production (code)?

Then check out our new translation tool `agda2hs` that lets you write Agda in your daily Haskell job without the boss ever knowing!

Presented at Haskell Symposium by yours truly:
https://t.co/fR6gzJGpzb

[Orestis Melkonian @omelkoni]

@rybl4 @agdakx Brilliant idea! Join us in Edinburgh this November to hack this together! https://t.co/VxiqQdQ7cr

[Henry Blanchette @rybl4]

@agdakx inspired by agda2hs: https://t.co/JleMRE4irR

[Gergő Érdi @gergo_erdi]

Awwww @icfp_conference

[doyougnu @do_you_gnu]

Agda2hs at Haskell symposium!! **chefs kiss**

[Orestis Melkonian @omelkoni]

@trupill @ZuriHac Pity I didn't make it to Zurihac this year, but we are connected in spirit at least :) https://t.co/SzfDUzU9Af

[Dad×3_jack @Iceland_jack]

https://t.co/t171lTgbDF

[Orestis Melkonian @omelkoni]

@HerrDreyer @danghica @johnregehr Another related book I highly recommend is Feyerabend's 'Against Method', although I shouldn't say that out loud as a formal 'methods' researcher :p

[Orestis Melkonian @omelkoni]

@ionathanch Anton Setzer's inductive-recursive definition of a UTxO-based blockchain ledger springs to mind: https://t.co/ALGRe1ie3t

[Orestis Melkonian @omelkoni]

@DTAI_KULeuven Congratzz Klara!! Awesome slides btw!

[Orestis Melkonian @omelkoni]

@chrislpenner You might want to take a look at this: https://t.co/vyFf81UfdN

[FARM Workshop @WorkshopFARM]

One month to go on the submission deadline for #WorkshopFARM2021 - send us fun stuff on the intersection of art and functional programming - be it a paper, a demo, or a performance! https://t.co/AgUfu6RNUO

[Michael Peyton-Lebed 🔸 @mpeytonjones]

Come and work with me on cutting-edge functional programming and compilers R&D! I'm looking for a team lead to lead the Plutus team at IOHK - we do a lot of fun stuff, do message me if you are interested or have any questions!

https://t.co/SNgePN5QJI

[Orestis Melkonian @omelkoni]

@satnam6502 it don't mean a thing, if it ain't got that swing

[Orestis Melkonian @omelkoni]

@_julesh_ +1 from me, c. f. https://t.co/FZljLHouxl

[Nika Dubrovsky @nikadubrovsky]

Yesterday the best person in a world, my husband and my friend .@davidgraeber died in a hospital in Venice.