Area 51 » Gregory Nisbet
|
Registered User
|
Here are some logical symbols for copying and pasting. I am a software engineer. I study math as a hobby. Here are a few random things that I like: Right now (2022), I am studying model theory on my own. I am reading the books
|
network profile
Mathematics Stack Exchange
Q&A for people studying math at any level and professionals in related fields
Stack Overflow
Q&A for professional and enthusiast programmers
Proof Assistants Stack Exchange
Q&A for mathematicians and computer scientists who develop and use proof assistants
Unix & Linux Stack Exchange
Q&A for users of Linux, FreeBSD and other Un*x-like operating systems
Vi and Vim Stack Exchange
Q&A for people using the vi and Vim families of text editors
Constructed Languages Stack Exchange
Q&A for designers and users of artificial or invented languages, consciously developed instead of having developed naturally
Linguistics Stack Exchange
Q&A for professional linguists and others with an interest in linguistic research and theory
Philosophy Stack Exchange
Q&A for those interested in the study of the fundamental nature of knowledge, reality, and existence
Emacs Stack Exchange
Q&A for those using, extending or developing Emacs
Programming Language Design and Implementation Stack Exchange
Q&A for designers and implementers of computer programming languages
Code Review Stack Exchange
Q&A for peer programmer code reviews
History of Science and Mathematics Stack Exchange
Q&A for people interested in the history and origins of science and mathematics
Chinese Language Stack Exchange
Q&A for students, teachers, and linguists wanting to discuss the finer points of the Chinese language
Software Engineering Stack Exchange
Q&A for professionals, academics, and students working within the systems development life cycle
Mathematics Educators Stack Exchange
Q&A for those involved in the field of teaching mathematics
Retrocomputing Stack Exchange
Q&A for vintage-computer hobbyists interested in restoring, preserving, and using the classic computer and gaming systems of yesteryear
Politics Stack Exchange
Q&A for people interested in governments, policies, and political processes
French Language Stack Exchange
Q&A for students, teachers, and linguists wanting to discuss the finer points of the French language
Area 51
Stack Exchange Network staging zone, where users come together to build new Q&A sites
Computer Science Stack Exchange
Q&A for students, researchers and practitioners of computer science
Cross Validated
Q&A for people interested in statistics, machine learning, data analysis, data mining, and data visualization
TeX - LaTeX Stack Exchange
Q&A for users of TeX, LaTeX, ConTeXt, and related typesetting systems
English Language & Usage Stack Exchange
Q&A for linguists, etymologists, and serious English language enthusiasts
Ask Different
Q&A for power users of Apple hardware and software
Board & Card Games Stack Exchange
Q&A for people who like playing board games, designing board games or modifying the rules of existing board games
Code Golf Stack Exchange
Q&A for programming puzzle enthusiasts and code golfers
Quantum Computing Stack Exchange
Q&A for engineers, scientists, programmers, and computing professionals interested in quantum computing
Server Fault
Q&A for system and network administrators
Meta Stack Exchange
Q&A for meta-discussion of the Stack Exchange family of Q&A websites
Stack Apps
Q&A for apps, scripts, and development with the Stack Exchange API
User Experience Stack Exchange
Q&A for user experience researchers and experts
Theoretical Computer Science Stack Exchange
Q&A for theoretical computer scientists and researchers in related fields
Physics Stack Exchange
Q&A for active researchers, academics and students of physics
Information Security Stack Exchange
Q&A for information security professionals
Science Fiction & Fantasy Stack Exchange
Q&A for science fiction and fantasy enthusiasts
Cryptography Stack Exchange
Q&A for software developers, mathematicians and others interested in cryptography
History Stack Exchange
Q&A for historians and history buffs
Computational Science Stack Exchange
Q&A for scientists using computers to solve scientific problems
Movies & TV Stack Exchange
Q&A for movie and TV enthusiasts
The Workplace Stack Exchange
Q&A for members of the workforce navigating the professional setting
English Language Learners Stack Exchange
Q&A for speakers of other languages learning English
Reverse Engineering Stack Exchange
Q&A for researchers and developers who explore the principles of a system through analysis of its structure, function, and operation
Amateur Radio Stack Exchange
Q&A for amateur radio enthusiasts
Software Recommendations Stack Exchange
Q&A for people seeking specific software recommendations
Puzzling Stack Exchange
Q&A for those who create, solve, and study puzzles
Worldbuilding Stack Exchange
Q&A for writers/artists using science, geography and culture to construct imaginary worlds and settings
Lifehacks Stack Exchange
Q&A for people looking to bypass life's everyday problems with simple tricks
Esperanto Language Stack Exchange
Q&A for teachers and students of the Esperanto language
DevOps Stack Exchange
Q&A for software engineers working on automated testing, continuous delivery, service integration and monitoring, and building SDLC infrastructure
