I gave a research lecture to students today at #TypeSig #Triple. #UoE The topic was that of my #TYPES2025 talk: Being Positively Negative About Dependent Types.

Great range of speakers from organisers, even though it was @mspstrath heavy! One student came at the end to say they enjoyed the talk as it was accessible to them. I like that.

Also nice to see the other talks in the tracks I attended. Especially those that are related! (Two sided type systems)

The journey home even gave me space to think about research…

👀 UPCOMING 👀
De "Triple Red" keert terug op de AF1.

👟 Nike Air Force 1 Low - Triple Red

#red #triple #fashion #kotd #nike
https://www.sneakeragenda.com/agenda/nike-air-force-1-low-triple-red-cw6999-600/?_unique_id=69c8fd173e455

👀 UPCOMING 👀
Deze 'Triple Pink' cw dropt binnenkort.

👟 Nike Air Force 1 Low - Triple Pink

#triple #pink #kotd #nike #fashion
https://www.sneakeragenda.com/agenda/nike-air-force-1-low-triple-pink-ir1974-663/?_unique_id=69c8f83c42cc6

Good things come in 3's!

#snowbunny #young #pussy #petite #bigass #slut #cumslut #submissive #pawg #squirting #whitegirl #phatass #blonde #BWC #raw #amateur #foursome #triple #blowjob #deepthroat #sloppy #nsfw

#triple : consisting of three united

- French: triple

- German: dreifach

- Portuguese: triplicar

- Spanish: triple

------------

Thank you so much for being a member of our community!

How investigators tracked down Utah triple murder suspect

https://misryoum.com/us/us24/how-investigators-tracked-down-utah-triple-murder-suspect/

A manhunt for a triple murder suspect in Utah ended Thursday when Ivan Miller, 22, was arrested in Colorado. Here's what to know about the investigation.

#How #investigators #tracked #down #Utah #triple #murder #suspect #US_News_Hub #misryoum_com