favonia

👤 any pronoun 💖 emoji lover ⚡ algebraic effects
🐘

[favonia @favonia]

🐘 I am on Mathstodon, a patched Mastodon instance that supports LaTeX. https://t.co/71M19hwRu9

[Jeremy Gibbons @jer_gib]

@favonia and I are delighted to be able to announce that there is free best-effort online participation in MSFP 2024 at ICALP etc, next Monday (8th). Register your email to receive Zoom login info; for details see the website. https://t.co/X5NoGDc2F2

[Carlo Angiuli @carloangiuli]

Good luck to all of you working on final edits (I hope) to your POPL 2024 submissions! I look forward to reading some of them shortly. :)

[favonia @favonia]

@boarders__ @alpha_convert Our logarithm paper can handle cases where the input type is not (obviously) a container type, but otherwise, yes, the logarithm will mostly agree with the position type. PS: Here's how we discussed Abbott's work:

[favonia @favonia]

@adamnemecek1 It's more like an interval from 0 to 1 https://t.co/Q3chbKkrce, but stated abstractly. That is, we can only name the points 0 and 1, we know these two points are different, but we can't pin down any other concrete points (such as 0.314).

[Max ⊶ New @[email protected] @maxstewartnew]

Damn what a turn for Jon

[College of Sci & Eng @UMNCSE]

Don’t mean to brag, but…

The University of Minnesota was ranked 18th in the world for patents awarded. That includes numerous science and technology advancements from CSE researchers! #UMNProud https://t.co/vsH9XbQv3f

[favonia @favonia]

@banacorn @_cybai 哈哈 PDF 的排版比較漂亮（附圖）。可以看一下論文附錄 C. 不過為什麼台灣群的截圖會無法顯示 🇹🇼 ？

[favonia @favonia]

@jonmsterling @samth @krismicinski Any language except the ones using ✨yuujinchou✨ https://t.co/ncF5pvtfh1, a library to handle namespaces for half of ‘import’. The other half is to locate files from another library, and we have ✨bantorra✨ https://t.co/IuPWAWg14W (still under development).

[favonia @favonia]

@ShriramKMurthi You can also use services like https://t.co/JffrX79gPM to find out who's already on Mastodon. (I prefer Debirdify over Twitodon for privacy.)

[favonia @favonia]

This is why we can't have fast Agda---@plt_amy's computer is TOO FAST. 😅 https://t.co/y03vEORyUa

Follow my 🐘 Mastodon handle @[email protected] #Mastodon

[favonia @favonia]

I finally found out what was missing on my website—𝗲𝗺𝗼𝗷𝗶𝘀! So I ✨𝗳𝗶𝘅𝗲𝗱✨ it. Seriously, how did it work without emojis? https://t.co/nyr8E6b7ds

[Carlo Angiuli @carloangiuli]

I'm making category theory videos on YouTube! The first two are up: they're on presheaves and products (from the Yoneda perspective).

https://t.co/artI3lMXu5
https://t.co/7RWsy8IeJV

Who are these for? (1/3)

[Graham Hutton @haskellhutt]

FP friends -- please encourage recently completed PhD students to submit their dissertation abstracts for publication in JFP: simple process, no refereeing, open access, 200+ published to date, deadline 30th November 2022. Please share! https://t.co/EdpoahnZmW

[favonia @favonia]

@jonmsterling exa --git-ignore

[favonia @favonia]

Our paper “𝐀𝐧 𝐎𝐫𝐝𝐞𝐫-𝐓𝐡𝐞𝐨𝐫𝐞𝐭𝐢𝐜 𝐀𝐧𝐚𝐥𝐲𝐬𝐢𝐬 𝐨𝐟 𝐔𝐧𝐢𝐯𝐞𝐫𝐬𝐞 𝐏𝐨𝐥𝐲𝐦𝐨𝐫𝐩𝐡𝐢𝐬𝐦” was cond. accepted by POPL!

♾️Paper https://t.co/Fk16wlOZui
♾️Agda https://t.co/RsAqc7ef0z
♾️OCaml https://t.co/Etr5s6irHz

@carloangiuli @totbwf @UMNComputerSci

[favonia @favonia]

@andrejbauer @poplconf Please go ahead! I am only worried about someone not knowing the scholarship. That said, in this case, I should mention that priority is given to people who have not attended PLMW yet.

[favonia @favonia]

@poplconf PLMW scholarship application is now open until 10/14. Apply at https://t.co/kvSAIiRjlH. Please retweet! The deadline is in 3 weeks, and we want to reach people who otherwise would not know this quickly. Learn more about PLMW at https://t.co/Aw5M29xPr1

[favonia @favonia]

@koronkebitch @shwestrick The advice on projects and research notes is GOLD. Having three projects can also nice!

[favonia @favonia]

Achievement Unlocked! 🤣