- RadioSide Internet Radio Receiver (radioside.com)
As a shortwave listener and designer, I decided to designmy own radio, combining the way of a physical radio with the vast amount of internet radio stations for use on my spare devices. While using it I realized other people will likely enjoy it as well.
- Universal quantification (Wikipedia)
In mathematical logic, a universal quantification is a type of quantifier, a logical constant which is interpreted as “given any”, “for all”, or “for any”. It expresses that a predicate can be satisfied by every member of a domain of discourse. In other words, it is the predication of a property or relation to every member of the domain. It asserts that a predicate within the scope of a universal quantifier is true of every value of a predicate variable.