Semantics Chat Rooms

##computerscience freenode

34 users – 153 minutes ago – Welcome to ##ComputerScience, the channel where you can discuss semantics, type systems, parallelism, complexity theory, quantum computing, cryptography, data structures, algorithmics, logic, AI, machine learning, operations research, data compression and even hardware design. | Ask your questions clearly, please. | Math questions? Try #math | Linux question? Try ##linux
chat category: Computer Science – network: freenode  –  irc2go: ##computerscience

#programmingcirclejerk Snoonet

3 users – 135 minutes ago – In addition to that, it also has zero-cost abstractions, move semantics, guaranteed memory safety, threads without data races, trait-based generics, pattern matching, type inference, minimal runtime and efficient C bindings.
chat category: Programming – network: Snoonet  –  irc2go: #programmingcirclejerk

#prl freenode

6 users – 153 minutes ago – '"One example is not a semantics. It's not even a semantic." -- blerner' -- jrslepak
network: freenode  –  irc2go: #prl