miniblog.

← Back to all posts
Apr 9, 2016 at 09:33
Different emoji fonts can radically affect interpretation: https://grouplens.org/blog/investigating-the-potential-for-miscommunication-using-emoji/ (similar problems exist for ASCII smileys)
Investigating the Potential for Miscommunication Using Emoji
Investigating the Potential for Miscommunication Using Emoji
Hey emoji users: Did you know that when you send your friend  on your Nexus, they might see  on their iPhone? And it’s not just ; this type of thing can happen for all emoji (yes, even ). In …

Related Posts

Jul 7, 2020 at 07:45
I keep thinking about the parallels between type checkers and abstract interpretation. E.g. abstract interpretation saying "this is one of two values, but I don't know which" feels very much like type checking a boolean. Have any tools taken advantage of this?
Jan 20, 2020 at 14:19
Day 1 at @poplconf had a bunch of interesting talks at VMCAI (Verification, Model Checking, and Abstract Interpretation). https://popl20.sigplan.org/home/VMCAI-2020 Thread.
VMCAI 2020 - - 21st International Conference on Verification, Model Checking, and Abstract Interpretation - POPL 2020
Welcome to the website of the 21st International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2020). VMCAI provides a forum for researchers from the communities of Verification, Model Checking, and Abstract Interpretation, facilitating interaction, cross-fertilization, and advancement of hybrid methods that combine these and related areas. VMCAI 2020 will be the 21st edition in the series. Proceedings https://link.springer.com/book/10.1007/978-3-030-39322-9 Invited Speakers We are pleased to announce the the invited speakers for VMCAI 2020 are: Rajeev ...
Nov 30, 2018 at 23:43
1
Idle thought: you can view a type system as just an abstract interpretation of code. `x = 1` can be abstracted as assuming that x is a number, then checking that numbers are appropriate wherever x is used.