Software Engineering
user avatar
user avatar
user avatar
Greg Nisbet
  • Member for 6 years, 2 months
  • Last seen more than a week ago
  • Menlo Park, CA, United States
Profile Activity
Stats
278
reputation
3k
reached
6
answers
3
questions
Communities
View all
About

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

  • Model Theory: An Introduction by David Marker
  • A Shorter Model Theory by Wilfrid Hodges
Badges
This user doesn’t have any gold badges yet.
1
silver badge
8
bronze badges
Top tags
View all tags
4
Score
2
Posts
22
Posts %
4
Score
1
Posts
11
Posts %
4
Score
1
Posts
11
Posts %
3
Score
2
Posts
22
Posts %
2
Score
1
Posts
11
Posts %
2
Score
1
Posts
11
Posts %
Top posts
All Questions Answers
Score Newest
question
4
Why doesn't C have first class arrays? [duplicate]
Mar 16, 2016
answer
4
What's the best way to handle refactoring a big file?
Mar 28, 2019
answer
2
What does the colon before the name mean in this JSON like string?
Apr 9, 2019
answer
1
Why don't programming languages automatically manage the synchronous/asynchronous problem?
Mar 29, 2019
question
1
Mechanically measuring/enforcing diminishing use of a deprecated API over time?
Apr 5, 2017
question
1
Using a permissions object pervasively inside a project to mimic an effect system
May 23, 2018
answer
0
null pointers vs. Null Object Pattern
Mar 27, 2019
answer
0
Unexpected Code Coverage Reduction
Nov 10, 2019
answer
0
Alternative to nested-if on single return functions
Nov 15, 2019
Top network posts
View all network posts
37
How to install Python 3.6?
37
How is the argument "I love all logic, but I don’t love deductive reasoning. Therefore, the moon is made of green cheese." valid?
32
What is predicativity?
19
What is the difference between judgmental equality, definitional equality, and equality types?
17
What are some interesting features that are common cross-linguistically but don't exist in English?

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.